第3章 白盒测试黑盒测试课件.ppt

第三章 软件测试的基本方法 1.1 测试用例的定义和特征 测试用例的定义： （1）测试用例是为特定的目的而设计的一组测试输入、 执行条件和预期的结果。 （2）测试用例是执行的最小实体。 测试用例的特征： （1）最有可能抓住错误的； （2）不是重复的、多余的； （3）一组相似测试用例中最有效的； （4）既不是太简单，也不是太复杂。 1.2 设计测试用例的基本准则 测试用例的代表性 能够代表并覆盖各种合理的和不合理的、合法的和非法的、边界的和越界的以及极限的输入数据、操作和环境设置等。 测试结果的可判定性 即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果。 测试结果的可再现性 即对同样的测试用例，系统的执行结果应当是相同的。 1.3 设计测试用例的着眼点 根据产品规格，测试基本功能； 考虑设计一般用户（非专业人员）的使用方案； 考虑设计稀有或特殊的使用方案； 与系统其他组成部分的配合（如FAX和上网可能要用到MODEM，测试中考虑对设备的共享）； 考虑特殊情况（如内存和硬件的冲突等）； 设计极端情况（如内存泄漏、破坏性测试等）； 好的测试用例集能花费最小的代价（人力、物力、财力、时间）做最好的测试。 1.4 测试用例设计书写标准 在ANSI/IEEE829-1983标准中列出了和测试设计相关的测试用例编写规范和模板。标准模板中主要元素如下： 标识符——惟一标识每一个测试用例 测试项——准确的描述所需要测试的项及其特征 测试环境要求——表征执行该测试用例需要的测试环境 输入标准——执行测试用例的输入需求（这些输入可能包括数据、文件或者操作） 输出标准——按照指定的环境和输入标准得到的期望输出结果 测试用例之间的关联——标识该测试用例与其它的测试（或其它测试用例）之间的依赖关系 软件测试方法 软件测试方法分为两类：静态分析、动态测试 静态测试方法 静态测试方法的基本特征是在对软件进行分析、检查和审阅，但并不实际运行被测试的软件。 如： 对需求规格说明书、软件设计说明书、源程序做检查和审阅，包括： 是否符合标准和规范； 通过结构分析、流图分析、符号执行指出软件缺陷。 静态测试方法 人工测试：通过人工阅读分析以及评审软件的文档、程序资料等。一些设计上的逻辑错误在机器上不易发现，需要人工复查。好的人工复查，可找出30～70%的编码和逻辑设计错误。 计算机辅佐分析：设计一些分析工具对被测程序进行静态分析，从中提取信息。如检查局部变量和全局变量、参数匹配、判断与循环的嵌套匹配、潜在的死循环、不执行的代码、过程调用层次等。 动态测试方法 动态测试：通过运行软件来检验软件的动态行为和运行结果的正确性。 动态测试的两个基本要素： 被测试程序 测试数据（测试用例） 软件动态测试方法 黑盒测试 不考虑程序的内部结构与特性，只根据程序功能或程序 的外部特性设计测试用例。 白盒测试 分析程序的内部逻辑结构，注意选择适当的覆盖标准，设计测试用例，对主要路径进行尽可能多的测试。 白盒法 白盒测试测试用例一般采用逻辑覆盖法进行设计。  白盒法步骤： 白盒法举例 Procedure （VAR A,B,X:REAL）； BEGIN IF（A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 1、语句覆盖 使得程序中每个语句至少都能被执行一次。 2、判定覆盖 使得程序中每个判定至少为TRUE和FALSE各一次。 3、条件覆盖 4、判定/条件覆盖 同时满足判定覆盖和 条件覆盖。 5、条件组合覆盖 使得每个判定中条件的各种“真”“假”可能组合都至少出现一次 6、路径覆盖法 例题：三角形问题 输入三整数，判断是否构成三角形，如构成三角形，则输出三条边的值，否则输出“不能构成三角形”。 要求：1、用程序流程图表示该问题的算法； 2、设计路径覆盖的测试用例。 解法1： 覆盖路径： 1．①—②—④ 2．①—③—④ 解法2： 覆盖路径： 测试用例 1．①—②—③—④—⑥ （3，4，5） 2．①—⑤—⑥ （2，2，5） 3．①—②—⑤—⑥ （2，5，2） 4．①—②—③—⑤—⑥ （5，2，2） 解法2：路径覆盖法测试用例设计 思考 解法1与解法2有何不同？哪一种设计得更合理？ 基本路径测试：练习 黑盒法 1、等价分类法 基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 —“等价类”，从等价类中选择出的用例，具有“代表