基于CPN状态空间的软件场景测试

• 作者: 蔡立志
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 仿真 覆盖 状态空间 CPN
• 年，卷（期）: 2010,（9）
• 页码范围: 37-40,65
• 分类号: TP3
• 字数: 4088字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2010.09.013

摘要

CPN作为一种重要的建模工具, 组合了高级编程语言和常规Petri 网的优点,具有状态空间仿真和分析能力.提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN 状态空间的覆盖准则来阐述该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡立志		26	210	8.0	13.0