黑箱条件下的软件测试充分性与揭错能力分析

在白箱条件下，软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量。但在黑箱情况下，这些基于程序的覆盖度量方法不再实用，为此提出了基于程序外部特性的测试充分性，即基于功能覆盖的软件测试充分性概念。然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的，应增加安全性扩充测试。经过对黑箱条件下的软件测试技术揭错能力的分析，得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论。

基于模糊逻辑的测试用例揭错能力分析

利用模糊逻辑,分析了各测试用例中交元的测试特性,得到如下结果:交元在不同测试用例中所发挥的测试作用是相同的。据此给出了生成充分考虑参数取值组合作用、且个数少的测试用例(测试用例基)的一种方法,建立了以测试用例基表示所有测试用例的表达式。利用模糊逻辑证明了用测试用例基执行测试,不仅能确保软件质量满足用户需求,且提高了测试用例的揭错能力。由于测试用例基具有数量少、测试效率高的特点,该文的研究有利于改善测试工作,降低测试成本。

测试方法的揭错能力及其对软件可靠性的影响

测试方法的划分角度不同 ,评价其优劣的准则也就不同。本文比较了在不同揭错能力标准下 ,不同测试方法发现错误的能力 ,以及特定情况下软件可靠性的评估。

几种范畴划分测试充分性准则的比较

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。

Randoop和Evosuite生成的测试用例的质量分析

为了度量自动生成的单元测试用例的质量,可以从测试用例的揭错能力、执行时间、覆盖情况进行综合评估。被测项目集是Java实现的基本数据结构算法,使用Randoop和Evosuite这两个工具对被测项目生成测试套件,然后执行测试和分析结果。研究发现Evosuite生成的测试套件的揭错率比Randoop高20%左右,且平均行覆盖、分支覆盖、方法覆盖也更高,但测试用例的执行时间比Randoop偏长。建议开发人员在开发小型应用程序时可以选择Evosuite工具进行测试,以达到更高的覆盖率并发现更多的潜在缺陷。