軟件工程概论实验报告.docVIP

南昌大学实验报告 学生姓名： 任 学 号： 011910300056 专业班级： 软件工程 实验类型：□ 验证 □ 综合 □ 设计 □ 创新 实验日期： 2011-4-20 实验成绩： 一、实验项目名称 软件工程白盒测试 二、实验目的 1、掌握白盒测试策略的选择方法 2、白盒测试用例的设计方法 3、自动白盒测试的方法及实施步骤 三、实验基本原理 白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 MatchPattern； 2.自动化测试脚本 2.1测试驱动程序和用例的设计和实现 根据已有的函数编写测试程序，从而驱动被测试的函数。再通过画出程序的流程图设计插桩函数，分析路径覆盖情况，从而设计用例，尽量覆盖所有路径。 2.1.1测试用例谓词表 C1 (File==Null)||(pattern==Null) C2 pattern[i] != \0 C3 l_Pat[i][0] != \0 C4 l_Pat[j][0] != \0 C5 pattern[strlen(pattern) - 1] != * C6 strlen(l_Ptr) != 0 C7 j == -1 2.1.2测试用例路径覆盖表 编号 File Pattern C1 C2 C3 C4 C5 C6 C7 预期 结果 实际 结果 分支 No.1 null null 1 1 x x x x x 0 0 S1E No.2 a.a a.a 0 1 1 0 1 0 0 1 1 No.3 abc.txt *.* 0 1 1 0 0 0 0 1 1 S2345610E No.4 a.b c.d 0 1 1 1 x x x 0 0 S234567E No.5 abc.abc abc.?? 0 1 1 0 1 1 1 0 0 S234568912E No.6 S23456891110E 2.2全部测试脚本 *源代码如下： #include cstdlib #include iostream using namespace std; #define MAXPATTERN 20 #define MAXFILELEN 128 //定义最长文件名 #define FALSE 0 #define TRUE 1 void printpre(char file[MAXFILELEN+1],char pattern[MAXPATTERN+1]); void printaft(int a); int FindSubString ( const char* source, const char* dest ); bool MatchPattern(char* file, char* pattern); int main() { char file[MAXFILELEN+1]= {0}; char pattern[MAXPATTERN+1]= {0}; char* pfile; char* ppattern; int result = 0; printpre(file,pattern); pfile = file[0]; ppattern = pattern[0]; result = MatchPattern(pfile,ppattern); printaft(result); system(PAUSE); return 0; } void printpre(char file[MAXFILELEN+1],char pattern[MAXPATTERN+1]){ coutPlease type in the file name :; cinfile; //coutendl; coutPlease type in the pattern :; cinpattern; cout。。。测试进行中。。。endl; coutendl; cout----------------------自动测试分析如下---------------------- endl; ///