论文部分内容阅读
在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。
基于Petri网的测试用例生成研究进展
【摘 要】
：
在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成
【机 构】
：
西南大学计算机与信息科学学院,重庆市智能软件与软件工程重点实验室,重庆城市管理职业学院
【出 处】
：
重庆交通大学学报(自然科学版)
【发表日期】
：
2012年01期
其他文献
文章选取了境外20所高水平大学英文网站进行研究,同时选择了中国内地10所QS排名前20的综合性大学为对比对象。通过对英文网站配色、字体、主画面设置、一级栏目设置、人群入
这个军队之所以有力量,是因为所有参加这个军队的人,都具有自觉的纪律;他们不是为着少数人的或狭隘集团的私利,而是为着广大人民群众的利益,为着全民族的利益,而结合,而战斗
华应龙老师基于长期的小学数学教学实践提出化错教育思想。化错教育因为在课堂教学中的有效性和实用性而拥有众多的追随者。化错教育理念下的小学数学课堂教学势必带来一系列
<正> 急性危重病人伴发碱中毒(呼吸性碱中毒,代谢性碱中毒及混合性碱中毒)时,对其预后的影响国内外近年来已开始重视。临床实践表明,当危重病人伴发严重碱中毒时,其病死率远
一般地说,一切有相当研究能力的共产党员,都要研究马克思、恩格斯、列宁、斯大林的理论,都要研究我们民族的历史,都要研究当前运动的情况和趋势;并经过他们去教育那些文化水
法典编纂的过程,同时是法律理性化、系统化、现代化和效力提升的过程。在金融法领域,中国应制定一部法典化的《金融服务法》。这既有国外相关先例可以借鉴,又具有一定的立法
为了开发能直接应用于海洋环境的自润滑材料,在不锈钢表面制备无氢四面体非晶碳(ta-DLC)膜,分别测试和比较ta-DLC膜在海水、水和油中的摩擦学性能。结果表明:ta-DLC膜在海水
男孩五龙住在一座小山村里，那里已经有六十八天没下雨了。家乡的“母亲河”——天水河快干涸了，田里的庄稼也都渴得要命，五龙和弟弟提水提得手都快断了。 有几次，大伙儿都以为要下雨了。 睡到半夜，突然被一个响雷惊醒，五龙一跃而起，扑到窗边，看见天空乌云翻滚，那些云就像一群黑色的绵羊遇到了狼一般，吓得没头没脑地奔涌着。天公扬起金色的长鞭，一抽，一声炸响，“绵羊”们更加惊慌，四下乱窜。 全家人都醒了，跑
目的探讨性传播途径在广州地区无偿献血人群中HCV感染和传播中的风险。方法联系2009年10月—2013年7月在广州血液中心献血后HCV RNA检测为阳性,且已经完成基因分型的献血者15
随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、