基于路径的测试用例自动生成技术

来源 :第十届全国容错计算机学术会议 | 被引量 : 0次 | 上传用户:chenglin229
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
结构测试用例的生成是结构测试中一项非常重要的工作.在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术一直是人们研究的一个热门方向.本文主要针对结构测试中面向路径的测试用例,讨论其自动生成方法,其中重点介绍了一种基于程序直接运行的测试用例生成方法及过程,并就其若干相关技术的处理展开讨论.
其他文献
新课程背景下,老师的角色变了,教与学的方式变了,我们对高效课堂关注的重点也要改变。新课程要求学生全员、全程和全身心地参与教与学活动,学生的情绪状态要关注,老师要激发学生的学习动机和兴趣,学生要以饱满的精神状态投入学习之中,并能自我调节和控制学习情绪,对学习能保持较长的注意,要具有好奇心和强烈的求知欲。教师要激发学生的深层思考和情感投入,鼓励学生大胆质疑、独立思考,引导学生用自己的语言阐明表达自己的
随着新课程改革的不断深入以及新课标的逐步实施,要想激活思想品德课的课堂气氛,提高课堂学习效率,就要求教学应围绕学生的需要展开。本文基于一些教学实践,对新课改下的课堂教学方法进行了一些有益的尝试和探讨。新课程改革势不可挡,课改前的中学思想品德课的主要弊端在于传统的教学方法基本属于填鸭式的“满堂灌”。教师滔滔不绝地讲四十五分钟,不留给学生充分的主动学习时间。实质上具有重教师主导作用、轻学生主体作用;重
本文通过对一些林业观光园的调查和对浏阳市森林生态观光园的参与规划和建设,总结一些发展林业观光园的想法.
本文从硬件描述语言(Hardware Description Language,HDL)和软件程序语言的相似性出发,给出一个寄存器传输级测试生成方法.首先为Verilog描述的电路建立对应的内部层次模型;
会议
故障注入作为一种加速容错计算机系统失效的手段,能够测试和评估容错系统的容错性能.容错服务器具有处理性能高的特点,可以采用软件故障注入方式.本文介绍了两种软件故障注入
会议
插件(Plug-in,又称Addin、Add-in、Addon或Add-on,又译外挂)是一种遵循一定规范的应用程序接口编写出来的程序,分层(Tiered)就是将数据存储在不同层级的介质中,并在不同的介
软件内建自测试是一种新型的软件测试方法,它包括模板和测试数据生成两部分.本文研究了其中的测试数据生成方法,首先在系统的模板中得到需要测试的程序块信息,然后通过一系列
目前市面上802.11ac规格的无线局域网设备并不多见,华硕RT-AC66U以及EA-N66网卡是较早形成配套销售的产品。产品信息价格RT-AC66U+EA-N662550元厂商华硕电话4006006655网址ww
软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先
会议
Case Report An female infant patient, aged 8 months old, suffered from irregular colporrhagia for a period of 1 month after which she was taken to our hospital