分支覆盖相关论文
在提高软件质量方面,软件测试扮演着重要角色,设计合适的测试用例是软件测试的关键。通常,设计合适的测试用例不仅需要花费测试人......
测试用例排序技术通过在测试过程中确定用例执行的先后次序来增加早期揭示缺陷的可能性.本文在用例排序过程中动态提取关键用例,在......
在软件动态测试过程中,通过执行测试用例并分析其返回信息,可以找到更多的错误和缺陷。不仅如此,通过存储这些执行覆盖信息,特别是......
随着集成电路复杂性的增加,传输行为级上的芯片测试越来越得到人们的关注.借助于软件测试技术,本文给出了一种求测试用例(即一组含......
本文分两部分.第一部分研究纽结补空间之间的度为1的映射.我们得到S3中的两个非椭圆的Montesinos纽结的补空间之间存在恰当的度为1......
代码覆盖率是衡量软件测试效果完整性的重要指标.本文讨论了一种代码覆盖工具的实现方案,该方案可以自动地统计代码覆盖率并具有较......
软件结构测试最棘手的就是测试用例的自动生成。本文将遗传算法引入分支覆盖测试用例的自动生成中,利用遗传算法的全局寻优优势,生......
主要阐述了随机测试和搜索测试的两种单元测试用例生成技术的研究现状,通过经典测试程序,对JET、Randoop、Evosuite工具分别在分支......
通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的......
2018年8月3~5日,由大连理工大学发起并主办的等几何分析与网格生成国际会议在海创大连科技交流中心举办。等几何分析的主要思想是......
随着软件业的飞速发展，人们对软件质量的要求也越来越高．整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一......
提出一种上下文无关文法的句子生成算法.对于给定文法,算法生成一个满足该文法分支覆盖准则的句子集.结合长度控制、冗余消除和句......
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经......
随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂......
给出一种生成分支覆盖测试路径集的改进算法,降低了不可行路径出现的概率,并在此基础上设计实现了一个面向分支覆盖的测试路径自动......
为解决基于集合进化算法(SEA)的弱变异测试用例集生成过程中个体规模固定和执行开销大的问题,提出一种基于动态集合进化算法(DSEA)......
BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分......
在对汇编语言源程序的测试工作中，山于其非结构化的设计思想以及众多的跳转指令，使得插桩非常困难。该文在汇编嵌入式软件程序流程图......
传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一......
这篇博士论文主要包含两方面：·McMullen映射动力系统.在这一部分,我们研究有理映射Julia集的局部连通性.我们利用Yoccoz拼图技术研......
城市轨道交通在城市公共交通中所起的作用越来越重要,CBTC(Communication Based Train Control,基于通信的列车控制)以其高运行效......
为了研究智能算法在测试用例集约简中的应用,本文提出一种基于萤火虫算法的测试用例集约简算法。将测试用例集约减问题转化为二元......
为确保分支覆盖更加简约高效,提出一种基于遗传算法和分支覆盖的测试数据生成方法。使用控制依赖分析对需覆盖的分支集进行约简,使......
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖......
随着现代信息化社会的推进，软件系统成为人们日常生活的重要组成部分。软件错误可能关系到人身财产安全问题，甚至于造成巨大的经济损......
嵌入式软件在航电系统中的地位日益提高,代码规模也逐渐扩大。完善的软件测试已成为确保航电软件质量的重要手段,而自动化技术的引......
