软件测试技术

《软件测试技术》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、软件测试技术Softwaretestingtechnology总工办-邓玮示例1需求：编写一段程序，输入两个整数，计算它们的和，打印输出。程序：（用C语言编写）main（）｛inta，b，c；scanf（“%d，%d”，&a，&b）；c=a＋b；printf（“%d”，c）；｝示例2#include"stdio.h"#definemul(x,y)x*yintmain(){intn;n=mul(6,7);printf("n=%d",n);}软件测试技术静态测试静态分析动态测试白盒测试黑盒测试静态测试－特征静态测试是不动态执行程序代码而寻

2、找程序代码中可能存在的缺陷或评估程序代码的过程。可以由人工进行，充分发挥人的逻辑思维优势。可以借助软件工具自动进行。静态分析内容控制流分析数据流分析接口分析表达式分析控制流图一个段是一个或多个无条件连续执行的语句。一个段在控制流图中用一个结点表示，结点可以用任何方便的形式命名。一个控制条件转移是一个分支，一个分支段在控制流图中用一个输出边表示。一个程序的入口点用入口结点表示，它是一个没有输入边的结点，一个程序的出口点用出口结点表示，它是一个没有输出边的结点。控制流分析控制流分析-矩阵图12345671a2bc3d4e5f6hg7数据流

3、分析数据流分析是用控制流程图来分析数据发生的异常现象被初始化、被赋值或被引用过程中行为序列的异常数据流模型d（define）——定义、建立、设立、赋值等k（kill）——消除、释放、无定义等u（use）——使用数据流分析数据流分析-数据组合序列dd：可能无害，但可疑。为什么两次定义中间没使用过。dk：可能是一个错误。为什么定义一个对象而不使用它。du：正常情况，对象被定义，然后使用它。kd：正常情况，对象被消除，然后重新定义它。kk：无害但也可能是一个错误，如重复释放一块内存。ku：错误，当对象无定义时，逻辑上的意义不存在。ud：正常

4、情况，对象使用后，再定义它。uk：正常情况，对象使用后，消除它。uu：正常情况，连续使用对象。数据流分析-控制流入口-k：可能是一个错误，因为从进口到这一点，对象未定义过，消除无意义。-d：可行，自入口的第一个定义。-u：可能异常，使用之前没有定义过。数据流分析-控制流出口k：可行，对象在出口路径上被消除。d：可能异常，定义之后即到达出口而没有使用。u：值得怀疑，通常不是异常，使用后并未消除，但如果是内存，在控制流出口前最好消除（释放）。接口分析形参与实参的一致性（类型、数量、维数、使用）公共数据（变量、常量、结构体、共用体）表达式分

5、析括号使用不当数组下标除式分母开方条件等式的优先级……动态测试－黑盒与白盒测试方法策略白盒方法黑盒方法动态测试实际运行被测试程序，取得程序运行的真实情况和动态情况，进行分析；测试用例（testcase）:输入、执行条件以及为一个特殊目标所开发的预期结果的集合。黑盒测试VS白盒测试黑盒测试白盒测试不涉及程序结构考虑程序逻辑结构用软件规格说明生成测试用例用程序结构信息生成测试用例可适用于从单元测试到系统联试单元和集成测试必用，确认和系统测试选用某些代码段得不到测试对所有逻辑路径进行测试动态测试－利用统计规律软件缺陷具有类聚性缺陷隐藏在角落

6、里，聚集在边界上程序中隐藏缺陷的概率与其已发现的缺陷数成比例Pareto法则(8:2法则)20%的模块产生80%的缺陷20%的缺陷消耗80%的维护费用20%的原因导致了80%的缺陷白盒测试－特征已知产品内部工作流程，通过测试来检测产品的内部动作是否按照详细设计规格说明的规定正常进行，而不管它的功能；目标是对所有逻辑路径进行测试，穷举路径；依据详细设计规范；一种验证技术；白盒测试(White-BoxTesting)也称为结构测试或逻辑驱动测试。白盒测试－图示结果输出内部行为预期输出软件设计选择输入白盒测试－逻辑路径的数量程序的执行序列(

7、逻辑路径)的数目是庞大的，简单的重复就有可能使执行序列的数目增大到天文数字。例子：For(inti=0;i

8、>3)&&(z<10)){k=x*y-1;j=sqrt(k);}if((x==4)

9、

10、(y>5)){j=x*y+10;}j=j%3;}白盒测试－控制流图例AA:1,2,3B:4C:5,6,7,8D:9E:10,11,12