软件工程导论_之第7章_实现(第五版)(张海潘编著)资料.ppt

2. 基本假定 在类似的程序中，单位长度里的错误数ET/IT近似为常数。通常 0.5×10-2≤ ET/IT ≤2×10-2 失效率正比于软件中剩余的错误数，而平均无故障时间MTTF与剩余的错误数成反比。 假设发现的每一个错误都立即正确地改正了。因此 Ec(τ)＝Ed(τ) 剩余的错误数为 Er(τ)＝ET－Ec(τ) 单位长度程序中剩余的错误数为 εr(τ)＝ET/IT－Ec(τ)/IT 3. 估算平均无故障时间 经验表明，平均无故障时间与单位长度程序中剩余的错误数成反比，即 MTTF＝1/K(ET/IT－Ec(τ)/IT) 　 其中K为常数，典型值是200。 估算平均无故障时间的公式，可以评价软件测试的进展情况。 由(7.5)式可得 Ec＝ET－IT/(K×MTTF) 　因此，也可以根据对软件平均无故障时间的要求，估计需要改正多少个错误之后，测试工作才能结束。 4. 估计错误总数的方法 程序中的错误总数ET与程序规模、类型、开发环境、开发方法论、开发人员的技术水平和管理水平等都有密切关系。 估计ET的两个方法： 植入错误法 分别测试法 植入错误法： 在测试之前由专人在程序中随机地植入一些错误。 测试之后，根据测试小组发现的错误中原有的和植入的两种错误的比例，来估计程序中原有错误的总数ET 。 假设人为地植入的错误数为Ns，经过一段时间的测试之后发现ns个植入的错误，此外还发现了n个原有的错误。 如果可以认为测试方案发现植入错误和发现原有错误的能力相同，则能够估计出程序中原有错误的总数为　 N=n/ns×Ns N Ｎs n ns 分别测试法： 植入错误法的基本假定是所用的测试方案发现植入错误和发现原有错误的概率相同。 上述基本假定可能有时和事实不完全一致。 如果有办法随机地把程序中一部分原有的错误加上标记，然后根据测试过程中发现的有标记错误和无标记错误的比例，估计程序中的错误总数。 分别测试法使用两个测试员(小组)，彼此独立地测试同一个程序的两个副本，把其中一个测试员发现的错误作为有标记的错误。 τ表示测试时间，设： 　τ= 0 时错误总数为B0； τ=τ1时测试员甲发现的错误数为B1； τ=τ1时测试员乙发现的错误数为B2； 　τ=τ1时两个测试员发现的相同错误数为bc。 如果认为测试员甲发现的错误是有标记的，即程序中有标记的错误总数为B1，则测试员乙发现的B2个错误中有bc个是有标记的。 假定测试员乙发现有标记错误和发现无标记错误的概率相同，则错误总数为　　 B0 =B2/bc×B1 B0 B1 bc 甲 乙 B0 B2 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * 路径1：1－2－10－11－13 路径2：1－2－10－12－13 路径3：1－2－3－10－11(12)－13 路径4：1－2－3－4－5－8－9－2－ 10－11(12)－13 路径5：1－2－3－4－5－6－8－9－ 2－10－11(12)－13 路径6：1－2－3－4－5－6－7－8－ 9－2－10－11(12)－13 (4) 设计可强制执行每条独立路径的测试用例。 应该选取测试数据使得在测试每条路径时都适当地设置好了各个判定结点的条件。 在测试过程中，执行每个测试用例并把实际输出结果与预期结果相比较。 一旦执行完所有测试用例，就可以确保程序中所有语句都至少被执行了一次，而且每个条件都分别取过true值和false值。 某些独立路径不能以独立的方式测试，这些路径必须作为另一个路径的一部分来测试。 3. 循环测试 循环测试是一种白盒测试技术，它专注于测试循环结构的有效性。 在结构化的程序中通常只有3种循环，即简单循环、串接循环和嵌套循环。 (1) 简单循环 应该使用下列测试集来测试简单循环，其中n是允许通过循环的最大次数。 跳过循环。 只通过循环一次。 通过循环两次。 通过循环m次，其中mn-1。 通过循环n-1，n，n+1次。 (2) 嵌套循环 从最内层循环开始测试，其他循环都设置为最小值。 对最内层循环使用简单循环测试方法，而使外层