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

摘要：

蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现.文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景.

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

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家科技重大专项子课题;湖南省自然科学基金项目

在线出版日期：2020-12-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：557-561