技术标签： 软件质量保证与测试 实验一:白盒测试用例设计 实验报告
《软件质量保证与测试》实验报告
实验一 白盒测试技术
(实验日期：12(2)11(3)班9月22日-9月29日)
(实验日期：12(1)班9月23日-9月30日)
一、实验目的
1. 熟练掌握白盒法测试的逻辑覆盖法，并能进行实际程序测试；
2. 掌握分支覆盖和测试流的测试方法，并能进行实际程序测试；
3. 对测试用例进行优化。
二、实验内容
一)使用逻辑覆盖测试方法测试以下程序段
void DoWork(int x,int y,int z) {
1int k=0,j=0;
2if ((x>1 ) && (y==0)){
3 k=x*y-1;
4j=sqrt(k);
5}
6if ((x==2)||(z>1)){
7j=x*y+10;
8j=j%3;
9}
10}
说明：程序段每行开头的数字(1~10)是对每条语句的编号。
(1)画出程序的控制流程图(图自己完成，下图仅供参考)。
(2)分别以语句覆盖、判定覆盖、条件覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径(用题中给出的语句编号表示)。
语句覆盖：选用的测试用例是：case1 x=2y=0z=3
执行路径是：ace
判定覆盖：选用的测试用例是：case1 x=2y=0z=3
case2x=1y=0z=1
可分别执行路径ace和abd
条件覆盖：选用的测试用例是：case1 x=2y=0z=3
case2x=1y=0z=1
case3x=2y=1z=1
可分别执行路径ace、abd和abe
路径覆盖：选用的测试用例是：case1 x=2y=0z=3
case2x=1y=0z=1
case3x=2y=1z=1
case4x=3y=0z=1
可分别执行路径ace、abd、acd和abe
二)三角形问题
在三角形计算中，要求输入三角型的三个边长：A、B 和C。当三边不可能构成三角形时提示错误，可构成三角形时计算三角形周长。若是等腰三角形打印“等腰三角形”，若是等边三角形，则提示“等边三角形”。画出程序流程图、控制流程图，找出基本测试路径，编写测试用例。
程序代码及画图自己完成。
测试用例
a
b
c
测试路径
预期输出
Test1
10
10
10
根据图写出路径
等边三角形
Test2
10
10
5
根据图写出路径
等腰三角形
Test3
3
4
5
根据图写出路径
一般三角形
Test4
4
<文章浏览阅读1.2w次，点赞12次，收藏27次。4.1卷积神经网络1.4Padding 一张6∗6大小的图片，使用3∗3的卷积核设定步长为1，经过卷积操作后得到一个4∗4的图像。 特征图大小公式 设定原始图像大小为n∗n,卷积核大小为f∗f，则经过卷积操作后特征图大小为(n−f+1)∗(n−f+1) 不使用Padding的缺点 经过卷积操作后图像会缩小. 如果你注意角落边的像素，则此像素点只会被卷积核触..._人工智能卷积神经网络卷积扫描填充公式
文章浏览阅读2.8w次，点赞5次，收藏33次。String字符串分割的3种方法 Java_string切割字符串
文章浏览阅读1.3k次。针对倾斜摄影模型“一张皮”，无法对目标进行单独操作和管理的问题，归纳总结了3种倾斜摄影单体化方法，并将分析结果进行对比，运用于实际生产中。_倾斜摄影上叠加单体化数据
文章浏览阅读78次。原创作品，允许转载，转载时请务必以超链接形式标明文章 原始出处 、作者信息和本声明。否则将追究法律责任。http://gzsamlee.blog.51cto.com/9976612/1865381 Zabbix基本概述：Zabbix是一个基于WEB界面的提供分布式系统监视以及网络监视功能的企业级的开源解决方..._zabbix 各个服务的具体作用,数据怎么接收发送
文章浏览阅读214次。Docker入门与进阶实战(基于Java,通俗易懂,附源码) 拥有8年JAV..._java基础进阶 docker入门 实战
文章浏览阅读7.2k次，点赞7次，收藏9次。构思一个主题讨论数据仓库的构建方法论，包括数据仓库的价值、选型、构建思路，随着数据规模膨胀和业务复杂度的提升，大型企业需要构建企业级的数据仓库（数据湖）来快速支撑业务的数据化需求，与传统的数据库构建不通，数据仓库即是OLAP场景，偏于历史数据的存储/分析，用冗余存储换取数据价值；一、数据仓库和数据库的区别所有的应用系统都会涉及到数据库，针对数据库归纳和存放，也就是数据库的常见操作：增、删、改、查，那么为什么想要对企业数据进行分析，不能直接查询数据库，非要大费力气的去创建所谓的数据仓库和数据湖呢？._基础数据仓库的 价值
文章浏览阅读1k次。选择开发操作系统的编程工具编程语言编程平台16位编程工具16位C语言编译器 - Borland C/C++ 3.116位汇编语言编译器 - MASM32 v1132位编程工具代码编辑器 - Visual Studio Community 201932位C语言编译器 - Visual Studio Community 201932位汇编语言编译器 - Visual Studio Community ..._选择开发系统的工具
文章浏览阅读2.5k次。http://zh.wikipedia.org/wiki/%E5%AE%89%E5%85%A8%E5%A5%97%E6%8E%A5%E5%B1%82安全套接层（Secure SocketsLayer，SSL）是一种安全协议，在網景公司（Netscape）推出首版Web浏览器的同时提出，目的是为网络通信提供安全及数据完整性保障，SSL在传输层中对网络通信进行加密。SSL采用公开密钥技术，_netscape’ s secure sockets layers
文章浏览阅读356次。在Oracle 10g中，Oracle还提供了一种称为“Oracle Easy Connect Naming method"的连接方式。这种方法是对hostnaming method的一种改进，因为hostnaming meth..._oracle naming methods
文章浏览阅读208次。IT时报见习记者 陶泳“来来，机器往下一点，再加入一个编程命令就可以完成整套设计了。”6月4日下午，优傲机器人位于上海南京西路的办公室里，一群毫无AI基础的记者们在短短一个小时的培训后都“变身”编程高手，在一个类似平板电脑的操作台上进行简单操作之后，一个个像人类手臂一样的协作机器人便可以根据指令完成类似搬运物品等各种操作。如此简单的操作，正是北汽李尔选择优傲机器人(Universal Robots..._协作机器人编程方法
文章浏览阅读1.6k次，点赞2次，收藏9次。欢迎来到glibc教程！本教程将介绍glibc (GNU C Library) 的基础知识和使用方法。glibc是一个标准的C语言库，用于GNU操作系统和其他类Unix系统，它提供了大量的基础函数和例程，对于大多数C程序的正确运行是必不可少的。让我们开始吧！_pkuseg glibc
文章浏览阅读5.2k次。1.谷歌浏览器步骤： f12(或者右击检查) --> 点击Network --> 选中Fetch/XHR(就可以看发往后端的请求了。)2.Microsoft Edge步骤： f12(或者右击检查) --> 点击（网络）Network --> 选中Fetch/XHR(就可以看发往后端的请求了。)..._edge查看网站请求