基于UML状态图和基本Petri网生成测试用例

• 作者: 孙琳 崔尚森
• 来源期刊: 交通与计算机
• 学科: 工学
• 关键词: UML状态图 基本Petri网 测试用例 测试覆盖标准 可达状态图
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 计算机技术与应用
• 页码范围: 116-119
• 页数: 4页
• 分类号: TP311
• 字数: 3293字
• 语种: 中文
• DOI: 10.3963/j.issn.1674-4861.2006.04.032

摘要

结合UML状态图和Petri网提出了一种生成测试用例的方法.将UML状态图转换成对应的EN_系统模型,利用EN_系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UML状态图对应的EN_系统生成可达状态图,利用可达状态图生成测试用例.该方法一方面可以很好地实现并行子状态的嵌套问题,避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题;另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔尚森		16	171	8.0	13.0
5	孙琳		2	21	2.0	2.0