白盒测试实验报告-范例(3)

x=12,y=-1

本例覆盖路径abdf不存在

五 实验分析

对于白盒测试，在设计测试用例时首先对程序进行分析，从程序的内部结构出发设计测试用例，涉及到程序的控制方法、源语句、编码细节、数据库设计等。设计测试用例时应用了白盒测试中的多种测试方法，其中包括：测试覆盖（语句覆盖、分支覆盖、分支条件覆盖等）、基路径测试等方法。白盒测试中，对代码的测试比较透彻，但不容易生成测试用例，而且测试工作量很大。因为白盒测试是基于代码的基础上，所以对变量的定义、数据的分析、精度的度量都有严格的要求。

同时，对于白盒测试的案例设计，要注意以下几点（1）保证每个模块中的所有独立路径至少被执行一次；（2）对所有的逻辑值均需要测试真、假两个分支；（3）在上下边界及可操作范围内运行所有循环；（4）检查内部数据结构以确保其有效性。

附件：（测试实现源程序）

#include /*static */int sign=0; static char m='T',n='T'; //int logicExample(int,int); int logicExample(int x,int y) {

int magic=0; if(x>0&&y>0) {

magic=x+y+10;sign++; } else {

magic=x+y-10;m='F'; }

if(magic<0) {

magic=0;sign+=2; }

else n='F'; return magic; } main(){ int x,y;

//static int sign=0; //static char m='T',n='T',

char p[4][5]={\cout<<\cout<<\请输入 x：\cin>>x;

cout<<\请输入 y：\cin>>y;

cout<<\已知：0\cout<<\cout<<\测试结果分别是：\cout<<\

cout<<\的值 y的值 logic的值 判定M 判定N 覆盖路径\

cout<<\

cout<

cout<<\ }

\ \