(软件测试)项目五DoWork()函数的测试.ppt

　　　　　　请设计一组测试用例，测试以下函数。　　void DoWork (int a，int b，int x)　　{　　 int k=0，j=0；　　 if ( (a1)(b= =0) )　　 { 　　 k=a*x-1； 　　 j=sqrt(k)； 　　 } //语句块1 　　 if ( (a= =2)||(x1) )　　 { 　　j=x*a+10； 　　} //语句块2 　　 j=j%3； //语句块3　　} 　　　　在这个程序中有三个输入参数a、b和x，有两个判定，每个判定有两个条件。 　　5.3.1 用语句覆盖测试方法对DoWork()函数完成测试　　1．分析程序结构　　在这个程序中有三个输入参数a、b和x，在程序中有两个判定，每个判定有两个条件。 　　2．设计测试用例　　(1) 根据语句覆盖测试法的思想，设计如下测试用例：　　a?=?1，b?=?0，x?=?3　　(2) 预期结果：程序每一行都被执行，即可完成对程序的语句覆盖测试。 　　3．实施测试并书写测试报告　　(1) 输入所设计的测试用例。　　(2) 运行并观察程序，看是否能达到语句的全部覆盖。 5.3.2 用条件覆盖测试方法对DoWork()函数完成测试　　1．分析程序结构　　在这个程序中有三个输入参数a、b和x，有两个判定，每个判定有两个条件。　　2．设计测试用例　　设计的测试用例如下：　　a?=?1，b?=?0，x?=?3　　a?=?1，b?=?1，c?=?1 　　3．实施测试并书写测试报告　　(1) 输入所设计的测试用例。　　(2) 运行并观察程序，看能否达到条件的全部覆盖。 5.3.3 用判定覆盖测试方法对DoWork()函数完成测试　　1．分析程序结构　　在这个程序中有三个输入参数a、b和x，有两个判定，每个判定有两个条件。　　2．设计测试用例　　设计的测试用例如下：　　a?=?3，b?=?0，x?=?3　　a?=?2，b?=?1，c?=?1 　　3．实施测试并书写测试报告　　(1) 输入所设计的测试用例。　　(2) 运行并观察程序，看能否达到判定的全部覆盖。 5.3.4 用判定/条件覆盖测试方法对DoWork()函数完成测试　　1．分析程序结构　　在这个程序中有三个输入参数a、b和x，有两个判定，每个判定有两个条件。　　2．设计测试用例　　设计的测试用例如下：　　a?=?2，b?=?0，x?=?3　　a?=?1，b?=?1，c?=?1 　　3．实施测试并书写测试报告　　(1) 输入所设计的测试用例。　　(2) 运行并观察程序，看能否达到判定/条件的全部覆盖。 5.3.5 用组合覆盖测试方法对DoWork()函数完成测试　　1．分析程序结构　　在这个程序中有三个输入参数a、b和x，有两个判定，每个判定有两个条件。　　2．设计测试用例　　设计的测试用例如下：　　a?=?2，b?=?0，x?=?3　　a?=?2，b?=?1，c?=?1　　a?=?1，b?=?1，x?=?1　　a?=?1，b?=?0，c?=?3 　　3．实施测试，并书写测试报告　　(1) 输入所设计的测试用例。　　(2) 运行并观察程序，看能否达到组合的全部覆盖。 　　　　白盒测试法(White Box Testing)按照程序内部的结构和逻辑驱动测试程序，通过测试来检测产品内部动作是否按照设计说明书的规定正常进行，检验程序中的每条路径是否都能按预定要求正确工作。此方法是将白盒测试的对象看做内部逻辑结构完全可见的盒子，测试人员依据程序内部逻辑结构的相关信息来设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点、不同分支检查程序的状态，来确定实际的状态是否与预期的状态一致。 5.4.1 白盒测试方法的概念　　白盒测试方法的对象主要是源程序，是利用程序设计的控制结构导出测试用例来进行测试的，是软件测试的主要方法之一。　　1．白盒测试方法的基本知识　　1) 白盒测试方法的分类　　白盒测试方法分为如下两类：　　(1) 静态测试。静态测试是测试中很重要的方法之一，它不要求在计算机上实际执行所测程序，而主要以一些人工的模拟技术对软件进行分析和测试。静态测试大约可以找出25%～60%?的逻辑错误。 　　(2) 动态测试。输入一组预先按照一定的测试准则设计的实例数据驱动运行程序，检查程序功能是否符