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

摘要：

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

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

所属期刊栏目：37

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

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

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

页数：共8页

页码：405-412