基于DSPN的航天器系统级可测试性指标确定方法

• 作者: 王华茂 白力舸 闫金栋
• 来源期刊: 航天器工程
• 关键词: 航天器 确定与随机Petri网 可测试性设计 系统级可测试性指标
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 测试与试验
• 页码范围: 127-133
• 页数: 7页
• 分类号: TP23|TP206
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8748.2013.06.022

摘要

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究.通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证.