软件测试自动化方法与工具_第6讲(测试文档-不变量-蜕变)概览.pptx

第6讲软件测试文档、不变量测试与蜕变测试;6.1软件测试文档写作模板要素P228;软件测试技术研究组· 中国信息大学;;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;软件测试技术研究组· 中国信息大学;6.2基于不变量的测试技术研究;6.2.1验证测试中的问题;6.2.1验证测试中的问题;;6.2.2基于不变量的测试技术;6.2.2基于不变量的测试技术;6.2.3应用基于不变量的测试解决前述问题的思路;6.3蜕变测试技术研究;（1）核电设计与分析软件测试---需求 软件的正确性----验证计算的结果是不是正确？ “test oracle ” 问题 ：即没有预期值来验证计算结果是不是正确。 比如算一个积分 ，要得到其预期值很困难， 对于被积分函数是一个复杂的函数，就更加困难。 ;（2）“test oracle ” 问题解决方法 ?直接方法 a、形式化验证（formal verification） b、程序证明（program proving） 这两类方法基于数学形式化描述和推理的方法，但是在实际的复杂的软件程序中很难证明和实现自动化[1]。 [1]. Hailpern, B., Santhanam, P.: Software debugging, testing, and verification. IBM Systems Journal 41 (2002) 4–12;（2）“test oracle ” 问题解决方法 ?间接方法 蜕变测试 1998年澳大利亚墨尔本大学的Tsong Yueh Chen在文献[2]提出了蜕变测试方法（Metamorphic Testing），此后，Chen很快地可以注意到，蜕变测试能够应用在无预期值的情形，也就是解决Oracle问题方面发挥其作用 [2]T.Y. Chen, S.C. Cheung, and S.M. Yiu. Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01, University of Science and Technology, Hong Kong.1998.;（3）蜕变测试的定义 ?蜕变关系的定义[3] [3]董国伟, 徐宝文, 陈林, 等. 蜕变测试技术综述[J]. 计算机科学与探索, 2009, 3(2): l.;（4）蜕变测试的过程 一般而言，蜕变测试过程可以划分为以下几个阶段： （1）使用其他测试用例生成策略为待测程序生成原始测试用例； （2）若这些原始用例均通过测试，则为待测程序构造一组蜕变关系； （3）基于上述关系计算衍生测试用例； （4）检查原始和衍生用??的输出是否满足相应的蜕变关系，得出测试结果。 ;（1）蜕变测试的例子1 ;（2）蜕变测试的例子2