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