不可达路径相关论文
路径覆盖测试是一种重要的软件测试方法,通过分析程序获得待覆盖的目标路径,并生成覆盖路径的测试用例,实现软件内部逻辑检查。然......
软件测试中的路径覆盖法生成测试用例问题，可看作寻找最优路径问题。针对手工设计或随机算法生成测试用例效率不高及覆盖率难以保证......
基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果.本文在简单了解了基于控制流的最少......
随着信息时代的到来,软件技术突飞猛进,软件产品在社会各个应用扮演着越来越重要的角色。如何保证软件质量一直是计算机技术的热门......
随着科技的发展,社会的进步,软件已经被广泛应用到各个领域。在很多领域的应用场景中,软件的质量与可靠性至关重要。软件测试是保......
单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素，并针对目标覆盖元素选择路径，是单元覆盖测试中的一......
摘要：对于复杂的大型软件，程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在......
对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有......
通过静态分析复杂程序可获取系统的函数调用路径，便于系统框架的理解、分析及后期测试，但提高其分析效率和提取准确度的关键在于不可......
精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出......
EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存......
本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;......
路径覆盖是软件测试领域重要的测试方法之一.为了提高路径覆盖测试效率,在采用遗传算法进化生成路径覆盖的测试数据过程中,利用被......
对于复杂的大型软件,程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在的......
软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的......
扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于......
能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法，该方法分析......
静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果......
对于大型软件来说，程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达......
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是......
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程......
软件测试是软件开发的重要的环节,如何实现路径覆盖、提高测试效率是测试研究的关键问题.从测试需求着手,通过路径分析进行测试需......
不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达......
结构测试有利于评价软件测试的充分性。然而,测试的不充分是很常见的,必须选择更多的测试用例去改善测试。每个新选择的测试用例需......
随着社会的发展，软件已应用到社会的各个领域，软件测试是提高软件可靠性的重要手段。许多软件测试问题都可以归结为面向路径测试数据......
