- 1、本文档共55页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第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
文档评论(0)