10.3969/j.issn.1000-386x.2015.03.003
基于 SCPN 的软件可靠性建模与分析
针对软件动态行为复杂难以建模，且可靠性难以评估的问题，提出一种基于随机有色 Petri 网 SCPN（Stochastic Colored Petri Net）的软件可靠性建模与分析方法。在建立软件可靠性分析的元结构模型的基础上，分别建立软件可靠性分析的串联结构模型和并联结构模型，有效地描述了软件的静态结构和动态行为。以某工厂采购系统为目标系统，以 TimeNET4．0为平台，建立其基于 SCPN 的软件可靠性分析模型，仿真验证了所提方法的正确性和有效性。该方法可以为软件可靠性的早期评估提供理论指导。
随机有色 Petri网、软件、可靠性、建模
TP391(计算技术、计算机技术)
贵州省科学技术基金项目黔科合J字LKM[2011]18号，黔科合计Z 字[2009]4002
2015-04-03（万方平台首次上网日期，不代表论文的发表时间）
共5页
7-10,30
