摘要
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。
Metamorphic testing(MT)has been greatly applicable in many different domains.However,researchers pay much more attention to the application of MT and overlook the theory foundation of MT,such as the normative description of MRs,the restriction of MT and the correctness of MT and MRs.Among them,normative description of MRs is one of the key problems.The correctness theory foundation of MT was analyzed,and a formal description method for MR description was proposed.The value of the formula and the relation between MRs and software failures were analyzed.A decomposing method based on formal description of MRs was proposed.The proposed methods were evaluated through several metamorphic testing applications.The results indicate that the proposed formal description method is easy to apply and it is useful for MR metric.
出处
《计算机工程与设计》
北大核心
2016年第2期405-412,共8页
Computer Engineering and Design
基金
国家863高技术研究发展计划基金项目(2009AA01Z402)
江苏省自然科学基金项目(BK20141072
BK2012059
BK2012060)
解放军理工大学预研基金项目(20110202
20110210)
关键词
蜕变关系
蜕变测试
测试判定
形式化描述模型
分解模型
metamorphic relation
metamorphic testing
test oracle
formal description model
decomposition model