測試用例.ppt

* 白盒法和黑盒法优缺点比较： * §8 调试 调试和测试的区别： 测试：尽可能多的暴露错误 调试：进一步诊断和改正错误 * 几种主要的调试方法 调试的关键在于推断程序的错误位置及原因。 1。强行排错 （蛮干法） 例如： 通过内存全部打印来调试。将计算机存储器和寄存器的全部内容打印出来。 在程序特定部位设置打印语句。把打印语句插在出错的源程序的各个关键变量改变部位、重要分支部位、子程序调用部位。 自动调试工具。利用某些程序语言的调试功能或专门的交互式调试工具，分析程序的动态过程。 * 2、回溯法调试确定最先发生“症状”的地方，沿程序的控制流往回追踪源程序代码。是对小型程序寻找错误位置的有效方法。 例如，程序中发现错误处是某个打印语句。通过输出值可推断程序在这一点上变量的值。再从这一点出发，回溯程序的执行过程，反复考虑：“如果程序在这一点上的状态（变量的值）是这样，那么程序在上一点的状态一定是这样...”， 直到找到错误的位置。 * 归纳法调试 从个别判断一般。具体步骤如下： 收集有关的数据 组织数据 提出假设 证明假设 3、原因排除法 对分查找法 已知：变量的若干关键点的正确值 赋值/输入→结果正确：前半部分；结果错误：后半部分 * * 演绎法调试 从一般原理出发，推导出结论。具体步骤如下： 列举所有可能出错原因的假设 利用已有的测试数据，排除不正确的假设 改进余下的假设 证明余下的假设 * 软件可靠性的定义 程序在给定的时间间隔内，按照规格说明书的规定成功地运行的概率。可靠性意味着在0到t这段时间间隔内系统没有失效 软件的可用性 程序在给定的时间点，按照规格说明书的规定，成功地运行的概率。可用性意味着在时刻t，系统是正常运行的。 * 如果在一段时间内，软件系统故障停机时间分别为td1，td2，…，正常运行时间分别为tu1，tu2，…，则系统的稳态可用性为： Ass=Tup/(Tup+Tdown) 其中 Tup=∑tui，Tdown=∑tdi Ass=MTTF/(MTTF+MTTR) MTTF（Mean Time To Failure ）：系统平均无故障时间 MTTR（Mean Time To Repair ）：平均维修时间 * 1）符号 ET——测试之前程序中错误总数； IT——程序长度(机器指令总数)； τ——测试(包括调试)时间； Ed(τ)——在0至τ期间发现的错误数； Ec(τ)——在0至τ期间改正的错误数。 * 2）基本假定 (1) 在类似的程序中，单位长度里的错误数ET/IT近似为常数。美国的一些统计数字表明，通常0.5×10-2≤ET/IT≤2×10-2 也就是说，在测试之前每1000条指令中大约有5～20个错误。 (2) 失效率正比于软件中剩余的(潜藏的)错误数，而平均无故障时间MTTF与剩余的错误数成反比。 (3) 为了简化讨论，假设发现的每一个错误都立即正确地改正了。因此 Ec(τ)=Ed(τ) 剩余的错误数为 Er(τ)=ET-Ec(τ) 单位长度程序中剩余的错误数为： εr(τ)=ET/Ir-Ec(τ)/IT * 3）估算平均无故障时间 经验表明，平均无故障时间与单位长度程序中剩余的错误数成反比，即 MTTF=1/[K(ET/IT-Ec(τ)/IT)] 其中K为常数，典型值是200。 Ec=ET-IT/(K×MTTF) 因此，也可以根据对软件平均无故障时间的要求，估计需要改正多少个错误之后，测试工作才能结束。 * 4） 估计错误总数的方法 估计ET的两个方法： (1) 植入错误法 假设人为地植入的错误数为Ns，经过一段时间的测试之后发现ns个植入的错误，此外还发现了n个原有的错误。如果可以认为测试方案发现植入错误和发现原有错误的能力相同，则能够估计出程序中原有错误的总数为 N=n/ns×Ns 其中N即是错误总数ET的估计值。 ^ ^ * (2) 分别测试法 在测试过程的早期阶段，由测试员甲和测试员乙分别测试同一个程序的两个副本，由另一名分析员分析他们的测试结果。用τ表示测试时间，假设 τ=0时错误总数为B0； τ=τ1时测试员甲发现的错误数为B1； τ=τ1时测试员乙发现的错误数为B2； τ=τ1时两个测试员发现的相同错误数为bc。 如果认为测试员甲发现的错误是有标记的，即程序中有标记的错误总数为B1,则测试员乙发现的B2个错误中有bc个是有标记的。假定测试员乙发现有标记错误和发现无标记错误的概率相同，则可以估计出测试前