软件测试方法.ppt

软件测试方法和技术 - Ch.3软件测试方法 主讲教师：郭晓燕 第三章 软件测试方法 白盒测试方法 定义：（结构化测试） 利用查看代码功能（做什么）和实现方式（怎么做）得到的信息来确定哪些要测试，哪些不要测试，如何开展测试。 白盒测试针对的是程序内部逻辑和数据流程的测试 动态白盒测试不仅是查看代码，还包括直接测试和控制软件。 白盒测试方法 白盒测试用例设计方法 白盒测试用例的设计方法 逻辑覆盖：以程序的内部逻辑结构为基础，分为语句覆盖、判定覆盖、判定-条件覆盖、条件组合覆盖等 基本路径测试：在程序控制流程的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。 语句段：if (A (B||C)) x=l；else x=O；用例表： 　见右图 A．①TRUE ②FALSE ③TRUE B．①TRUE ②FALSE ③FALSE C．①FALSE ②FALSE ③TRUE D．①TRUE ②TRUE ③FALSE 基本路径测试 Example Example (continued) 基本路径测试:流程图 流程图复杂度确定 流程图复杂度－例子 确定线性独立的路径集合 Basis path test example 基本路径法设计出的测试用例能够保证在测试中程序的每一条可执行语句至少执行一次。以下代码由C什语言书写，请按要求回答问题。　void Re