科学计算程序蜕变关系层次分类模型  

Hierarchical Classification Model for Metamorphic Relations of Scientific Computing Programs

作　　者：阳小华[1,2,3] 闫仕宇 刘杰[1,2,3] 李萌 YANG Xiao-hua;YAN Shi-yu;LIU Jie;LI Meng(Computer School,University of South China,Hengyang,Hunan 421001,China;Intelligent Equipment Software Evaluation Engineering Technology Research Center of Hunan,Hengyang,Hunan 421001,China;CNNC Key Laboratory on High Trusted Computing,Hengyang,Hunan 421001,China)

机构地区：[1]南华大学计算机学院,湖南衡阳421001 [2]湖南省智能装备软件评测工程技术研究中心,湖南衡阳421001 [3]中核集团高可信计算重点学科实验室,湖南衡阳421001

出　　处：《计算机科学》2020年第S02期557-561,共5页Computer Science

基　　金：国家科技重大专项子课题(2019ZX06005001);湖南省自然科学基金项目(2020JJ4519)。

摘　　要：蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。Metamorphic testing is an effective way to solve the Oracle test problem,the key of which is the discovery of metamorphic relations.By analyzing the research and development process of scientific computing programs,this paper puts forward the concepts of physical model metamorphic relations,computing model metamorphic relations and code model metamorphic relations,defines the hierarchical structure of three kinds of metamorphic relations,establishes the hierarchical classification model of metamorphic relations,and discusses its application prospect in the research of discovery method on metamorphic relations.

关 键 词：科学计算程序 蜕变测试 蜕变关系 分类模型 

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