不可行路径相关论文
测试数据的自动生成是为了解决人工测试容易出错、耗时且费力的问题。现在常见的测试方法是选取有代表性的测试数据进行测试,这种......
随着软件技术的发展,程序的规模逐渐增大,复杂度也逐渐增加。在软 件的开发过程中,完全依靠人力进行分析测试效率太低,而且不能保证软......
随着世界越来越信息化的发展,软件产品越来越多,遍布各行各业,软件质量的重要性也逐渐为人们所察觉,软件测试步入人们的视线。回归......
自动化测试的应用越来越广泛,其中基于启发式搜索算法的测试数据自动生成方法由于其覆盖能力强、生成速度快,而广受关注。路径覆盖......
误报率较高是现有的漏洞静态检测方法中存在的主要问题之一,其严重影响了方法的实用性。本文通过对实际研究实验中误报产生的原因......
针对原油蒸馏塔的特点 ,将蒸馏塔模拟的内外法与优化的不可行路径法结合 ,提出原油蒸馏塔的内外不可行路径法 .对某原油蒸馏塔的优......
给出一种生成分支覆盖测试路径集的改进算法,降低了不可行路径出现的概率,并在此基础上设计实现了一个面向分支覆盖的测试路径自动......
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据......
针对原油蒸馏塔的特点 ,将蒸馏塔模拟的内外法与优化的不可行路径法结合 ,提出原油蒸馏塔的内外不可行路径法 .对某原油蒸馏塔的优......
针对车辆回收路径问题的研究较少考虑部分节点可被多次访问的情况,以及现实生活中无法保证可行的直线路径均存在的问题,建立了以逆向......
软件测试是软件生命周期的一个必要环节,其目的是尽早的发现软件中的错误,以确保软件质量。测试用例是进行软件测试的基础,一个覆......
逆向物流作为一个既强调经济效益又强调环境保护效益的新型物流范畴,受到了各界学者越来越多的重视。逆向物流不仅可以使得废弃物......