5.软件测试及其相关(聂长海)解说.pptVIP

软件测试及其相关研究 聂长海 东南大学计算机科学与工程系 什么是软件测试 测试无处不在 每个人都是测试员,进行着各种各样的测试;同时每个人又都是被测试的产品,被进行着各种测试 软件测试应充分吸收生活中的各种测试及其他行业中各种产品测试积累的宝贵财富.同时也可为这些领域的测试提供创新活力. 软件测试知识体 软件测试重要性和概念 软件测试的目的和原则 软件测试用例设计 软件测试策略 软件测试种类 软件测试标准 软件测试的工具 Software Testing Roadmap 软件测试的研究 组合测试 测试用例集约简 WEB测试 回归测试 演化测试 模型检查 面向对象测试 组合测试 组合测试 对于系统SUT而言，导致系统运行时出现故障的因素可能是某一个参数或者是某些参数的相互作用 如果对这n个参数的各种组合进行完全测试，需要 a1×a2× … ×an 个测试用例，这在一般情况下，因测试用例数量太大而不可行，也没有必要 人们研究发现: 有20％～40％的软件故障是由某个系统参数引发 20％～40％的故障由某两个参数的相互作用引发 因此，大约70％的软件故障是由一个或两个参数的作用引起的 大约20％的故障由某三个参数的相互作用而引发 因此，得到组合测试方法，特别是两两组合覆盖测试方法，具有很重要的应用价值 基于组合覆盖的软件测试技术研究如何选择最少的测试用例，最大限度地实现对各种组合进行覆盖，以检测出所有的由系统各个因素或其相互作用而可能引发的系统故障 基于组合覆盖软件测试技术研究 组合覆盖测试数据生成算法研究 组合测试用例集约简 基于组合测试的软件故障诊断方法 基于组合覆盖的软件测试策略 组合测试的应用 研究成果 组合覆盖测试数据生成算法研究 1：新的单因素覆盖方法 2：分别给出了基于网络图模型和基于解空间树模型的两种两两组合覆盖测试数据启发式生成算法 3：给出一种两两组合覆盖测试数据改进的代数方法 4：给出两种多因素组合覆盖测试数据生成算法 5：给出了一种检测相邻因素间相互作用的测试数据生成算法 6：二水平多因素系统两两组合覆盖测试数据生成算法 1 单因素覆盖方法 在系统研究多次单因素试验方法、均匀设计方法、正交试验设计方法等试验设计方法的理论和应用的基础上 针对有些软件系统涉及的因素多，以及每个因素取值也很多的情况，提出一种适合软件测试的单因素覆盖方法的概念和相应测试用例生成方法 该方法生成的测试用例集具有数量最少、覆盖所有因素以及最大限度地覆盖因素间各种组合的特点，是已有试验设计方法的有效补充和发展。 2 启发式生成算法 我们从2001年初开始研究“两两组合覆盖测试数据生成”，提出了基于网路图模型 的两两组合覆盖测试数据生成方法。 2 启发式生成算法 算法分三步： 利用网络图生成一组测试用例。 检测这一组测试用例是否符合两两组合覆盖的要求。如果符合要求，那么输出结果，否则执行第三步。 补充一些测试用例，使补充后的测试用例集符合两两组合覆盖的要求。 2 启发式生成算法 2002年，我们在解空间树模型的基础上，给出了用回溯法来生成两两组合覆盖测试数据的方法，同样取得了较好的效果，可以作为已有方法的很好补充? 下图: n=3，a1=a2=a3= 3的解空间树 效果比较 与AETG和PAIRTEST两个两两组合测试工具的比较： 3: 改进的代数方法 改进的代数方法（2003年初） 4：多因素覆盖方法 针对在一些重要的软件测试中，为了减少不完全测试带来的风险，需要对系统参数进行髙维覆盖的需求，给出了两种多因素组合覆盖测试用例生成方法，可以根据具体要求生成高维组合覆盖的测试数据集 5 相邻因素间相互作用 提出了用于检测相邻因素间相互作用的测试数据生成算法。证明了该方法可以有效地生成最小测试用例集，满足测试要求 6 二水平多因素系统 针对二水平多因素系统这一类特殊的系统，给出了一种效果明显的两两组合覆盖测试用例生成算法 组合测试用例集的约简 2001年，P. J. Schroeder在其博士论文“Black-box test reduction using input-output analysis ” 中，在深入研究组合测试方法的基础上，提出了利用软件附加信息对组合测试方法进行约简和优化的方法 组合测试用例集的约简 我们提出了一种简单有效方法 1 充分考虑了输入输出变量之间的关系，可以在约简测试数据集同时，不降低对于软件故障的检测能力 2 充分利用了我们对于组合测试用例生成方法的研究成果，因而简单可行。该方法可以作为已有方法的一个重要补充和发展，可以有效地提高测试效率、降低成本 组合测试用例集的约简 方法分3步： 1 根据集合x(y1)，x(y2)，…，x(ym)之间的关联性，将他们分成几组，各组之间没有共同的元素 2 针对