第三讲-软件测试的方法[精选].pptVIP

2. Determine the cyclomatic complexity of the resultant flow graph Note: can be determined without developing a flow graph count all conditional statements in a component ? compound conditions count as 2 (number of Boolean operators + 2) 3. Determine a basis set of linearly independent paths equal to cyclomatic complexity number identify predicate nodes as an aid in derivation of test cases 4. Prepare test cases that will force execution of each path in the basis set each test case is executed and compared to the expected result this process can be mechanized 状态迁移图 状态迁移图，描述系统状态变化的动态信息——动态说明，由状态和迁移来描述，状态指出数据输入的位置（或时间），而迁移则指明状态的改变 如何设计测试用例？ 从功能逻辑模型（决策表或因果图）导出局部测试用例，覆盖各个状态的各种输入数据的组合 从状态迁移图导出整体的测试用例，以覆盖系统（程序）控制的逻辑路径 功能图法设计测试用例，就是如何覆盖软件所表现出来的所有状态，可以转化为两个层次的测试用例 功能图法是综合运用黑盒方法和白盒方法来设计测试用例，即整体上选用白盒方法——路径覆盖、分支和条件覆盖等，而局部上选用的是黑盒方法——决策表或因果图方法 3.2.7 错误推测法 基于经验和直觉推测程序中所有可能存在的各种错误，从而有针对性地设计测试用例。 发现程序经常出现的错误的方法： 单元测试中发现的模块错误； 产品的以前版本曾经发现的错误； 输入数据为0或字符为空； 当软件要求输入时(比如在文本框中),不是没有输入正确的信息，而是根本没有输入任何内容，单单按了Enter键； 这种情况在产品说明书中常常忽视，程序员也可能经常遗忘，但是在实际使用中却时有发生。程序员总会习惯性的认为用户要么输入信息，不管是看起来合法的或非法的信息，要不就会选择Cancel键放弃输入， 3.3 静态测试和动态测试 将需求和设计的评审也纳入测试的范畴，可以看作是广义测试 静态测试包括对软件产品的需求和设计规格说明书的评审、对程序代码的复审等 静态分析的查错和分析功能是其他方法所不能替代的，可以采用人工检测和计算机辅助静态分析手段进行检测，但越来越多地采用工具进行自动化分析 动态测试是通过真正运行程序发现错误，通过观察代码运行过程，来获取系统信息，对系统行为进行验证。 3.4 主动测试和被动测试 主动测试方法：测试人员主动向被测试对象发送请求、或借助数据、事件驱动被测试对象的行为，从而验证被测试对象的反应或输出结果 被动测试方法：测试人员不干预产品的运行，而是被动地监控产品在实际环境中运行，通过一定的被动机制来获得系统运行的数据，包括输入、输出数据. 3.5 形式化测试方法 3.5.1 形式化方法 3.5.2 形式化验证 3.5.3 基于模型的软件测试 3.5.4 扩展有限状态机方法 3.5.1 形式化方法 形式化方法实际上就是基于数学的方法来描述目标软件系统属性的一种技术 凡是采用严格的数学语言、具有精确的数学语义的方法，都称为形式化方法。形式化规范说明语言，一般由3个主要的成分构成：语法、语义和一组关系 形式化方法更大作用是体现在软件规格和验证之上，这包括软件系统的精确建模和软件规格特性的具体描述，即可以看作是面向模型的形式化方法和面向属性的形式化方法 形式化的具体方法 基于模型的方法，如Z语言、B语言等 代数方法，如OBJ、CLEAR、ASL、ACT等 过程代数方法，如CSP、CCS、ACP、LOTOS、TPCCS等 基于逻辑的方法，如区间时序逻）、Hoare 逻辑、模态逻辑、时序逻辑、时序代理模型等。 基于网络的方法 3.5.2 形式化验证 形式化验证，就是根据某些形式规范或属性，使用形式逻辑方法证明其正确性或非正确性。 一般通过形式化规范进行分析和推理，研究它的各种静态和动态性质，验证是否一致、完整，从而找出所存在的错误和缺陷。 无法证明某个系统没有缺陷，因为不能定义 “没有缺陷”。只能证明一个系统不存在