蜕变关系形式化描述与分解技术  

Formal description and decomposition of metamorphic relation

作　　者：惠战伟[1] 黄松[1,2] 李辉[1] 刘剑豪[3] 

机构地区：[1]解放军理工大学指挥信息系统学院软件测评中心,江苏南京210007 [2]全军军事训练软件测评中心,江苏南京210007 [3]空军预警学院信息对抗系,湖北武汉430019

出　　处：《计算机工程与设计》2016年第2期405-412,共8页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060);解放军理工大学预研基金项目(20110202;20110210)

摘　　要：蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。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.

关 键 词：蜕变关系 蜕变测试 测试判定 形式化描述模型 分解模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]