软件工程：软件测试.pptVIP

测试 假设有一个把数字串转变成整数的函数。运行程序的计算机字长16位，用二进制补码表示整数。这个函数是用Pascal语言编写的，它的说明如下： function strtoint (dstr:shortstr):integer; 函数的参数类型是shortstr,它的说明是: type shortstr=array［1..6］ of char; 被处理的数字串是右对齐的，也就是说，如果数字串比6个字符短，则在它的左边补空格。如果数字串是负的，则负号和最高位数字紧相邻(负号在最高位数字左边一位)。 考虑到Pascal编译程序固有的检错功能，测试时不需要使用长度不等于6的数组做实在参数，更不需要使用任何非字符数组类型的实在参数。 分析这个程序的规格说明，可以划分出如下等价类： 有效输入的等价类有 (1) 1～6个数字字符组成的数字串(最高位数字不是零)； (2) 最高位数字是零的数字串； (3) 最高位数字左邻是负号的数字串； 无效输入的等价类有 (4) 空字符串(全是空格)； (5) 左部填充的字符既不是零也不是空格； (6) 最高位数字右面由数字和空格混合组成； (7) 最高位数字右面由数字和其他字符混合组成； (8) 负号与最高位数字之间有空格； 合法输出的等价类有 (9) 在计算机能表示的最小负整数和零之间的负整数； (10) 零； (11) 在零和计算机能表示的最大正整数之间的正整数； 非法输出的等价类有 (12) 比计算机能表示的最小负整数还小的负整数； (13) 比计算机能表示的最大正整数还大的正整数。 因为所用的计算机字长16位，用二进制补码表示整数，所以能表示的最小负整数是-32 768，能表示的最大正整数是32 767。 7.9 软件可靠性 7.9.1 基本概念 1. 软件可靠性的定义 对于软件可靠性有许多不同的定义，其中多数人承认的一个定义是：软件可靠性是程序在给定的时间间隔内，按照规格说明书的规定成功地运行的概率。 在上述定义中包含的随机变量是时间间隔。显然，随着运行时间的增加，运行时出现程序故障的概率也将增加，即可靠性随着给定的时间间隔的加大而减少。 按照IEEE的规定，术语“错误”的含义是由开发人员造成的软件差错（bug），而术语“故障”的含义是由错误引起的软件的不正确行为。在下面的论述中，将按照IEEE规定的含义使用这两个术语。 2. 软件的可用性 通常用户也很关注软件系统可以使用的程度。一般说来，对于任何其故障是可以修复的系统，都应该同时使用可靠性和可用性衡量它的优劣程度。 软件可用性的一个定义是： 软件可用性是程序在给定的时间点，按照规格说明书的规定，成功地运行的概率。 可靠性和可用性之间的主要差别是，可靠性意味着在0到t这段时间间隔内系统没有失效，而可用性只意味着在时刻t，系统是正常运行的。因此，如果在时刻t系统是可用的，则有下述种种可能：在0到t这段时间内，系统一直没失效(可靠)；在这段时间内失效了一次，但是又修复了；在这段时间内失效了两次修复了两次；…… 如果在一段时间内，软件系统故障停机时间分别为td1，td2，…，正常运行时间分别为tu1，tu2，…，则系统的稳态可用性为： Ass=Tup/(Tup+Tdown) (7.1) 其中Tup=∑tui，Tdown=∑tdi 如果引入系统平均无故障时间MTTF和平均维修时间MTTR的概念，则(7.1)式可以变成Ass=MTTF/(MTTF+MTTR) (7.2) 平均维修时间MTTR是修复一个故障平均需要用的时间，它取决于维护人员的技术水平和对系统的熟悉程度，也和系统的可维护性有重要关系。平均无故障时间MTTF是系统按规格说明书规定成功地运行的平均时间，它主要取决于系统中潜伏的错误的数目，因此和测试的关系十分密切。 估算平均无故障时间的方法 软件的平均无故障时间MTTF是一个重要的质量指标，往往作为对软件的一项要求，由用户提出来。为了估算MTTF，首先引入一些有关的量。(mean time to failure，平均失效前时间) 1. 符号 在估算MTTF的过程中使用下述符号表示有关的数量： 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） 此外，