基于事件图的并发软件测试
【摘要】：通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
|
|
|
|
| 1 |
张润敏，杜英俊，郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期 |
| 2 |
亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期 |
| 3 |
周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期 |
| 4 |
刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期 |
| 5 |
车清太;软件测试方法和策略[J];山西电子技术;2003年06期 |
| 6 |
罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期 |
| 7 |
崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期 |
| 8 |
王炳晨;软件测试走向规范[J];微电脑世界;2005年07期 |
| 9 |
杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期 |
| 10 |
陈刚;;如何建设高效软件测试团队[J];中国金融电脑;2007年08期 |
| 11 |
刘春裕;;如何快速掌握软件需求并开展测试[J];电脑知识与技术;2010年34期 |
| 12 |
李少白;;实时软件测试方法探讨[J];工业控制计算机;1988年01期 |
| 13 |
姚郑;;软件测试与质量保证:IT组织如何应对[J];程序员;2001年04期 |
| 14 |
;其它软件技术[J];电子科技文摘;2001年04期 |
| 15 |
;其它软件技术[J];电子科技文摘;2001年10期 |
| 16 |
张雪萍,张猛,庄雷;面向对象软件测试探讨[J];信息工程大学学报;2002年03期 |
| 17 |
王咏刚;;软件开发过程[J];程序员;2003年02期 |
| 18 |
路小娟,张桂琴,顾桂梅;软件测试在面向对象技术开发中的应用设计[J];甘肃科技;2004年08期 |
| 19 |
陈宗岳;郭斐菁;孙昌爱;;失效区域紧致性对适应性随机测试的性能影响(英文)[J];软件学报;2006年12期 |
| 20 |
朱海燕;;软件测试用例集缩减的一个算法[J];微电子学与计算机;2007年01期 |
|
手机打开
快捷付款方式
订购知网充值卡
订购热线
帮助中心