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