基于DSPN 的多阶段任务系统测试性需求建模与分析

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机Petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法. PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分, 每个SN对应于各个子阶段任务的GSPN 测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS 任务成功率计算方法, 并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS 系统级测试性指标.最后通过实例验证该方法的有效性.