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

作者:惠战伟; 黄松; 李辉; 刘剑豪
来源:计算机工程与设计, 2016, 37(02): 405-412.
DOI:10.16208/j.issn1000-7024.2016.02.024

摘要

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

  • 单位
    中国人民解放军空军预警学院; 解放军理工大学

全文