基本路径测试用例设计算法

McCabe提出的基本路径测试法(McCABE T J.A complexity measure.IEEE Transactions on Software Engineering,1976,SE-2(4):308-320)是动态白盒测试技术中严谨而有效的方法,但存在测试用例设计效率较低的问题,影响了该方法在工程项目中的广泛应用。为了解决这一问题,从被测程序的基本结构出发,提出一种基于组合的基本路径测试用例设计方法。创建一种基于Z路径覆盖的基本单元图,构建由基本单元图组合形成控制流图的组合规则,以此为基础提出了基本路径组合算法,该算法只需一次扫描程序得到程序基本结构的路径集,将这些路径进行组合即可生成被测程序的基本路径集。该方法比McCabe所提出的方法构造过程简洁,能有效提高基本路径测试用例设计的效率。

一种基本路径集求解算法

McCabe提出的基本路径测试法被认为是动态白盒测试方法中严谨而有效的测试方法。如何提高基本路径测试的效率是人们一直在探索的问题。为此,从被测程序的基本结构出发,提出一种基于组合的基本路径求解算法。该算法首先创建一种基于Z路径覆盖的基本单元图;然后建立由基本单元图组合形成控制流图的组合规则;以此为基础,提出基本路径组合算法。该算法只需一次扫描程序得到程序基本结构的路径集,然后将这些路径进行组合生成被测程序的基本路径集。

用于基本路径测试的路径字符串组合算法

自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构成方式和组合方式,制定了路径字符串的组合规则。依据这些方式及规则导出了基本路径集的求解算法。实验表明,在满足相同覆盖准则的情况下,该算法比McCabe所提出的方法求解过程更简洁,并且输出的中间结果易于理解,便于测试用例集的优化。

基于一种遗传算法的最小测试用例集自动生成

测试数据的生成是一个复杂的问题,且其技术和方法还不成熟。在生成最小测试用例集过程中,为了避免基本遗传算法对已经满足测试需求的测试用例重复进行遗传操作,文中在基本遗传算法的基础上,最大提高遗传算法的稳定性,提出最大稳定遗传算法(LSGA)。该算法能很好地保证种群的最大稳定性,提高搜索性能,最后对该算法从概率角度理论证明其优越性。实例分析表明,利用该算法能较快生成最小测试用例集,从而实现对测试目标的充分测试,提高测试效率,降低测试成本。

基本路径测试方法在仿真训练软件测试中的应用

覆盖率测试是仿真训练软件白盒测试的重点。研究了仿真训练软件测试的特点,分析了仿真训练软件测试的关键点,应用基本路径测试方法间接的实现了仿真训练软件全路径覆盖问题。通过实例验证,该方法可以较好的提高仿真训练测试效率、降低测试成本。

多粒度数据变更影响域分析方法

完整准确提取程序变更影响范围是分析由数据变化引发程序错误的关键,能够有效缩短回归测试的周期。为此,提出一种基于多粒度的数据变更影响域分析方法。通过静态分析,结合程序局部控制信息和数据信息流规则,提取关键函数,得到影响函数调用路径,以程序影响函数调用路径为分析集,提取受变更影响的基本路径集,即从函数粒度和语句粒度对数据变更影响域进行分析,分别得到影响函数调用路径和影响基本路径集。大量实验结果表明,该方法能够完整准确提取程序影响函数调用路径和影响基本路径集,定位数据变更影响域,提高回归测试的效率。

面向路径和变量的插装器研究

插装既是一些测试的前期工作又是关键工作,插装的正确与否直接影响测试结果的准确性。通过路径插装能够知道测试的路径覆盖率提高测试的效率。通过变量的插装,能够在代码版本变更之后数据发生异常时检测到异常点位置。上述插装器主要是面向基本路径和函数调用路径以及变量的数据变化域两个功能进行插装,首先面向不同的功能使用不同的方法对代码进行预处理及分析,得到存有相关信息的中间文件,然后利用中间文件确定探针位置,在确定的位置上插入装点函数,最后导出存有插装代码的文本文件。实验结果表明该多功能插装器能够按照不同的功能准确的进行插装,并在降低代码膨胀率的基础上提高插装的效率。

2010-2019年化工及危化品企业重特大事故树分析与控制措施

当前针对一段时期内重特大爆炸事故事故树分析较为匮乏,本文通过对2010年至2019年以来国内发生的化工及危化品企业重特大爆炸事故进行分析,总结并提炼事故发生最重要的基本事件,最大可能减少了以往事故树分析时重理论轻实际的缺陷,起到提高预防爆炸事故发生措施的针对性、有效性的作用;通过对爆炸事故树的最小割集、最小径集进行计算,并根据最小径集提出相应的控制措施。