完善资料让更多小伙伴认识你,还能领取20积分哦, 立即完善>
【作者】:陈志德;曾凡平;
【来源】:《小型微型计算机系统》2010年03期 【摘要】:分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的 【关键词】:UML状态图;;扩展状态机;;Petri网;;测试用例 【DOI】:CNKI:SUN:XXWX.0.2010-03-025 【正文快照】:1引言软件测试在软件开发中占有很重要的地位.在软件测试过程中,最重要的任务是按照一定的方法实现测试用例的生成.简单高效的测试用例生成方法一直是软件测试研究的重点.关于软件测试已经有不少的方法,比如文献[3]中提到了使用UML状态图和扩展状态机的测试用例生成方法,但是文 |
|
相关推荐 |
|
小黑屋| 手机版| Archiver| 电子发烧友 ( 湘ICP备2023018690号 )
GMT+8, 2024-12-28 09:59 , Processed in 0.624005 second(s), Total 39, Slave 29 queries .
Powered by 电子发烧友网
© 2015 bbs.elecfans.com
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 湖南华秋数字科技有限公司
电子发烧友 (电路图) 湘公网安备 43011202000918 号 电信与信息服务业务经营许可证:合字B2-20210191 工商网监 湘ICP备2023018690号