留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

崔尚森,  孙琳

downloadPDF
文章导航 > 交通信息与安全  > 2006 >  24(4): 116-119
崔尚森, 孙琳. 基于UML状态图和基本Petri网生成测试用例[J]. 交通信息与安全, 2006, 24(4): 116-119. doi: 10.3963/j.issn.1674-4861.2006.04.032
引用本文: 崔尚森, 孙琳. 基于UML状态图和基本Petri网生成测试用例[J]. 交通信息与安全, 2006, 24(4): 116-119. doi: 10.3963/j.issn.1674-4861.2006.04.032
shu
CUI Shangsen, SUN Lin. Test Cases Generation Based on UML State Diagrams and Elementary Net System[J]. Journal of Transport Information and Safety, 2006, 24(4): 116-119. doi: 10.3963/j.issn.1674-4861.2006.04.032
Citation: CUI Shangsen, SUN Lin. Test Cases Generation Based on UML State Diagrams and Elementary Net System[J]. Journal of Transport Information and Safety, 2006, 24(4): 116-119. doi: 10.3963/j.issn.1674-4861.2006.04.032
shu

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

doi: 10.3963/j.issn.1674-4861.2006.04.032

  • 长安大学,西安,710064;西安交通大学,西安,710049

  • 长安大学,西安,710064

详细信息

  • 中图分类号: TP311

Test Cases Generation Based on UML State Diagrams and Elementary Net System

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

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)
  • 加载中
WeChat 点击查看大图
计量
  • 文章访问数:  406
  • HTML全文浏览量:  99
  • PDF下载量:  3
  • 被引次数: 0
出版历程
  • 刊出日期:  2006-08-28

目录

    /

    返回文章
    返回

    版权所有《交通信息与安全》编辑部鄂ICP备05003336号-2

    通信地址：湖北省武汉市武昌区和平大道1178号，武汉理工大学余家头校区 (430063)

    联系电话：027-86580355电子邮箱：jtjsj@vip.163.com

    本系统由 北京仁和汇智信息技术有限公司 开发