10.3969/j.issn.1000-386X.2010.09.013
基于CPN状态空间的软件场景测试
CPN作为一种重要的建模工具, 组合了高级编程语言和常规Petri 网的优点,具有状态空间仿真和分析能力.提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN 状态空间的覆盖准则来阐述该方法的有效性.
仿真、覆盖、状态空间、CPN
27
TP3;TM3
国家高技术研究发展计划项目子课题CFA2009RJZX01;国家火炬项目2009GH520068;上海市科委创新行动项目10DZ229 1800
2010-11-03（万方平台首次上网日期，不代表论文的发表时间）
共5页
37-40,65
