第7章 软件实现

第7章实现实现：编码和测试。编码：把软件设计结果翻译成程序。测试：检测程序并改正错误的过程。

计算机程序设计语言基本上可以分为两大类：

1.汇编语言;2.高级语言。

7.1编码7.1.1选择程序设计语言从应用特点看，高级语言可分为：1）基础语言如BASIC、FORTRAN、COBOL等2）结构化语言如ALGOL、PL/1、PASCAL、C、ADA等3）专用语言如APL、BLISS、FORTH、LISP、PROLOG等4）面向对象

如JAVA、C++等选择一种编程语言的理论标准：1）有理想的模块化机制；2）可读性好的控制结构和数据结构；3）便于调试和提高软件可靠性；4）编译程序发现程序错误的能力强；5）有良好的独立编译机制。选择语言时除了考虑理论上的标准，还必须同时考虑主要的实用标准：

（1）系统用户要求（2）可以使用的编译程序（3）可以得到的软件工具（4）工程规模（5）程序员知识（6）软件可移植性要求（7）软件的应用领域1.程序内部的文档选取含义鲜明的名字，如果使用缩写，缩写规则要一致，并给每个名字加注释；通常在每个模块开始处要有一段注释，描述模块功能、算法、接口特点等；程序清单布局应利用适当的阶梯形式，使程序的层次结构清晰明显。7.1.2写程序的风格2.数据说明数据说明的次序应该标准化，如按数据类型确定说明的次序；多个变量名在一个语句中说明时，应该按字母顺序排列这些变量；如果设计时使用了复杂的数据结构，应该用注释说明实现该数据结构的方法和特点。

3.语句构造4.输入/输出5.效率

A．程序运行时间

B．存储器效率C．输入/输出效率

有关测试的一些规则：（1）测试是为了发现程序中的错误而执行程序的过程；（2）好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案；（3）成功的测试是发现了至今为止尚未发现的错误的测试。

7.2.1软件测试的目标7.2软件测试基础7.2.2软件测试准则1）所有测试都应该能追溯到用户需求；2）应该远在测试前就制定出测试计划；3）把Pareto原理（20/80）应用到软件测试中；4）应该从“小规模”测试开始，并逐步进行“大规模”测试；5）穷举测试是不可能的；穷尽测试：包含所有可能情况的测试称为穷尽测试。程序main（）a2a1a3b输入输出a1、a2、a3：Integer16bits输入数据的穷尽测试组合：216×216×216＝248≈3×10146）为了达到最佳测试效果，应该由独立的第三方从事测试工作。黑盒测试：如果已经知道软件应该具有的功能，可以通过测试来检验是否每个功能都能正常使用，这种测试称黑盒测试。也称功能测试。7.2.3测试方法白盒测试：也称结构测试。如果知道软件内部工作过程，可以通过测试来检验软件内部动作是否按照规格说明书的规定正常进行，这种测试称为白盒测试。1.模块测试模块测试又称单元测试，它把每个模块作为单独的实体来测试。2.子系统测试子系统测试是把经过单元测试的模块放在一起形成一个子系统来测试。7.2.4软件测试的步骤3.系统测试系统测试是把经过测试的子系统装配成一个完整的系统来测试。4.验收测试验收测试把软件系统作为单一的实体进行测试（利用用户的实际数据测试）。5.平行运行平行运行是同时运行新开发出来的系统和将被它取代的旧系统，以便比较新旧两个系统的处理结果。

软件测试的V模型7.2.5测试阶段的信息流测试评价调试可靠性模型软件配置测试配置测试结果预期结果错误错误率数据正确可靠性预测图7.1测试阶段的信息流7.3单元测试单元测试的一般方法是：首先通过编译系统检查并改正程序中所有的语法错误；然后用详细设计模块说明为指南，对重要的控制路径进行测试，以便发现模块内部的错误。通常，单元测试使用白盒测试方法。

1）模块接口应该对穿过模块接口的数据流进行检测，以保证正确的输入和输出。2）局部数据结构这是错误的主要来源，应该设计相应的测试用例，以便发现数据结构方面的错误。7.3.1测试重点3）重要的执行路径由于不可能进行穷尽测试，因此选择测试路径是非常关键的。4）出错处理通路5）边界条件审查小组：

1）组长；2）程序的设计者；3）程序的编写者；4）程序的测试者。

7.3.2代码审查单元测试：人工测试和机器测试7.3.3计算机测试

由于软件模块不是一个独立的系统，不能独立运行，要依靠其他模块调用，或需要调用其他模块。因此，必须要为测试的单元开发驱动程序或存根程序。1）驱动程序相当于一个“主程序”，用来把测试数据传送给被测试的模块，并打印有关结果。2）存根程序用来代替被测试模块所调用的模块，相当于“虚拟子程序”。

如，测试B模块，设计了A模块和C模块。由A负责传送测试数据，由C负责模拟被B调用的模块。C模块可能没有，这取决于B有没有调用其他程序。A、C都是一次性程序，只在测试时临时使用，应尽量设计得简单一些，以节省费用和时间。BAC被测试模块驱动模块存根模块例：正文加工系统输入1.0输出2.0编辑3.0加标题4.0存储5.0检索6.0编目录7.0格式化8.0添加3.1删除3.2插入3.3修改3.4合并3.5列表3.6图7.2正文加工系统（H图）TESTDRIVER编辑3.0TESTSTUB对“编辑”功能的测试：7.4集成测试集成测试是组装软件的系统化技术，它将经过单元测试的模块联系在一起进行测试。由模块组装成程序时有两种方法：1）非渐增式测试方法先分别测试每个模块，再把所有模块按设计要求放在一起结合成所要的程序。2）渐增式测试方法每次增加一个待测试模块，把它同已经测试好的那些模块结合起来进行测试，反复进行直到完成所有模块测试的方法。使用渐增式测试方法把模块结合到软件系统中去时，有自顶向下和自底向上两种集成方法。

自顶向下集成是一种递增的装配软件结构的方法，这种方法应用非常广泛。它需要存根程序，但是不需要驱动程序。7.4.1自顶向下集成这种方法的思想是：从主控模块（主程序）开始，沿软件的控制层次向下移动，逐渐把各个模块结合起来。

在自顶向下结合方法中，如何将所有模块组装到软件结构中，又有两种方法：1）深度优先策略先组装软件结构的一条主控制通路上的所有模块，选择哪条主控制通路，具有较大的任意性。如图，如果选取左通路，就先把模块M1、M2、M5结合起来测试，然后结合模块M8、M6，再构造中央和右侧的控制通路。M1M2M3M4M6M5M7M8图7.3自顶向下结合实例2）宽度优先策略沿着软件结构水平地移动，把处于同一个层次的所有模块组装起来。如图，首先结合M2、M3、M4和主控模块M1，然后结合下一个控制层次中的模块M5、M6和M7，最后结合模块M8。M1M2M3M4M6M5M7M8图7.3自顶向下结合实例自顶向下集成方法的基本过程如下：1）对主控模块进行测试，测试时用存根程序代替所有直接被主控模块调用的模块；M1M2M3M4M6M5M7M8图7.3自顶向下结合实例M1M2M3M4M6M5M7M8图7.3自顶向下结合实例2）根据选定的结合策略（深度优先或宽度优先），每次用一个实际模块代替一个存根程序（新结合的模块往往又需要新的存根程序）；3）每结合一个模块，就测试一个；4）为保证不引入新的错误，需要进行回归测试，即重复以前进行过的部分或全部测试；5）重复回到第二步，直到构成整个软件结构。M1M2M3M4M6M5M7M8图7.3自顶向下结合实例自底向上集成方法是从软件结构最底层模块开始进行组装和测试，它与自顶向下结合方法相反，需要驱动程序，不需要存根程序。

7.4.2自底向上集成自底向上集成方法的基本过程如下：1）把底层模块组合成实现一个特定软件子功能的族，如图族1、2、3。McMaMbD2D1D3族1族2族3图7.4自底向上实例2）为每个模块设计一个驱动程序，作为测试的控制程序，以协调测试用例的输入和输出。图中D1、D2、D3分别是族1、2、3的驱动程序；McMaMbD2D1D3族1族2族3图7.4自底向上实例3）对模块进行测试；4）用实际模块代替驱动程序组装成新的模块族，在新加入的实际模块上面加上新的驱动程序进行测试；McMaMbD2D1D3族1族2族3图7.4自底向上实例5）重复第二到第四步，逐渐向上加入实际模块，直至构造出整个软件结构。McMaMbD2D1D3族1族2族3图7.4自底向上实例7.4.3不同集成测试策略的比较1.改进的自顶向下测试方法；2.混合法。M1M2M3M4M5M67.4.4回归测试

指重新执行已经做过的部分测试。

回归测试用于保证由于调试或其他原因引起的程序变化，不会导致额外错误的测试活动。7.5确认测试（验收测试）

也称为验收测试，目标是验证软件的有效性。如果软件的功能和性能符合用户的期待，软件就是有效的。软件规格说明书是进行确认测试的基础。

7.5.1确认测试的范围确认测试的主要特点及内容有：1）某些已经测试过的纯粹技术性的测试项可能不需要再次测试，而对用户特别感兴趣的功能或性能，可能需要增加一些测试；2）通常确认测试主要使用实际生产中的数据来进行测试；3）确认测试必须有用户的积极参与，甚至以用户为主，可能需要进行一些与用户使用步骤有关的测试。

确认测试一般使用黑盒测试法。7.5.2软件配置复查目的：保证软件配置的所有成分都齐全，质量符合要求，文档与程序完全一致，而且已经编好目录。7.5.3Alpha和Beta测试Alpha测试：用户在开发者的场所进行测试，并且在开发者的指导下进行，测试在受控环境中进行，开发者记录发现的错误和问题；Beta测试：用户在一个或多个客户场所进行测试，不受开发者控制，测试者记录发现的问题和错误，定期将问题报告发送给开发者。7.6白盒测试技术1.语句覆盖语句覆盖是指：设计的测试用例能使程序中每条语句至少执行一次。

7.6.1逻辑覆盖例：一个被测试模块的源程序为（PASCAL语言）：PROCEDUREEXAMPLE(A,B:REAL;VARX:REAL);BEGINIF(A>1)AND(B=0)THENX:=X/A;IF(A=2)OR(X>1)THENX:=X+1END入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图选取测试用例：A=2,B=0,X=4

，程序执行路径为：sacbed。2.判定覆盖判定覆盖是指：选取足够的测试用例，使得程序中每个判断的可能结果都至少执行一次，也就是说使程序的每个判断分支至少通过一次。入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图对于上例，选取如下测试用例：I.A=3，B=0，X=3（覆盖sacbd）II.A=2，B=1，X=1（覆盖sabed）3.条件覆盖

条件覆盖是指：选择足够的测试用例，使得程序中每个判定表达式的每个条件都取到各种可能的结果。入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图上例中，有两个判定表达式，每个表达式有两个条件，为了做到条件覆盖，应该选取测试数据使得a点出现如下结果：

A>1，A≤1，B=0，B≠0在b点出现如下结果：

A=2，A≠2，X>1，X≤1

选取如下测试用例：I.A=2，B=0，X=4（满足A>1，B=0，A=2和X>1，执行路径为sacbed）II.A=1，B=1，X=1（满足A≤1，B≠0，A≠2和X≤1，执行路径为sabd）入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图条件覆盖通常比判定覆盖强，但是条件覆盖不一定包含判定覆盖。入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图如：I．A=2，B=0，X=1（满足A>1，B=0，A=2和X≤1，执行路径为sacbed）II．A=1，B=1，X=2（满足A≤1，B≠0，A≠2和X>1，执行路径为sabed）只满足条件覆盖，并不满足判定覆盖。入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图4.判定/条件覆盖判定/条件覆盖是指：选取足够的测试用例使得同时满足判定覆盖和条件覆盖的要求。对于上例，选取如下测试用例：I．A=2，B=0，X=4（满足A>1，B=0，A=2和X>1，执行路径为sacbed）II．A=1，B=1，X=1（满足A≤1，B≠0，A≠2和X≤1，执行路径为sabd）入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图5.条件组合覆盖

条件组合覆盖指：选取足够的测试用例，使得每个判定表达式中条件的各种可能的组合都至少出现一次。对于上例，共有8种可能的条件组合：1）A>1，B=02）A>1，B≠03）A≤1，B=04）A≤1，B≠0

5）A=2，X>16）A=2，X≤17）A≠2，X>18）A≠2，X≤1入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图选取如下测试用例：I．A=2，B=0，X=4（满足1、5组合：A>1，B=0，A=2，X>1，执行路径sacbed）II．A=2，B=1，X=1（满足2、6组合：A>1，B≠0，A=2，X≤1，执行路径sabed）入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图III．A=1，B=0，X=2（满足3、7组合：A≤1，B=0，A≠2，X>1，执行路径sabed）IV．A=1，B=1，X=1（满足4、8组合：A≤1，B≠0，A≠2，X≤1，执行路径sabd）入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图如果从对程序路径的覆盖程度分析，可以提出下面一些逻辑覆盖标准：6.点覆盖点覆盖是指：选取足够多的测试用例，使得程序执行路径至少经过程序图中每个节点一次。sabdce1234567图7.5对应的程序图7.边覆盖边覆盖是指：选取足够多的测试用例，使得程序执行路径至少经过程序图中每条边一次。sabdce1234567图7.5对应的程序图选取如下测试用例：I．A=3，B=0，X=3（执行路径1—4—5—3）II．A=2，B=1，X=1（执行路径1—2—6—7）8.路径覆盖路径覆盖是指：选取足够多的测试用例，使得程序的每条可能路径都至少执行一次。sabdce1234567图7.5对应的程序图选取如下测试用例：I．A=1，B=1，X=1（执行路径1—2—3）II．A=1，B=1，X=2（执行路径1—2—6—7）III．A=3，B=0，X=1（执行路径1—4—5—3）IV．A=2，B=0，X=4（执行路径1—4—5—6—7）1）A=3，B=0，X=12）A=2，B=0，X=43）A=2，B=1，X=14）A=1，B=0，X=25）A=1，B=1，X=1更强的测试数据：满足路径覆盖和条件组合覆盖

2）－5）满足条件组合覆盖，执行路径分别是：sacbed、sabed、sabed、sabd入口返回A>1andB=0A=2orX>1X=X/AX=X+1sabdceTTFF1234567图7.5被测试模块的流程图路径：sacbd7.6.2控制结构测试(自学)黑盒测试与白盒测试比较黑盒测试能发现的问题？如何设计黑盒测试？如何设计标准的黑盒测试用列？

7.7黑盒测试技术等价类划分是一种黑盒测试技术。穷尽的黑盒测试需要使用所有可能的输入数据（有效的和无效的）进行测试，通常是不现实的。因此产生了等价类划分。

7.7.1等价划分（等价类划分）等价类划分的思想：如果将所有可能的输入数据（有效的和无效的）划分为若干个等价类，就可以假定用每一个等价类中的代表值作为测试用例来进行测试时，等价于用该类中所有值进行了测试。用等价类划分设计测试用例时，主要分两步：划分等价类、确定测试用例。1）等价类划分划分等价类需要经验，以下给出一些规则：

A．如果某输入条件规定了输入的范围，那么可以划分为一个有效的等价类和两个无效的等价类。如X的值的输入范围是[1，99]，那么测试X时，可以这样划分：有效等价类为[1，99]，无效等价类为（-∞，1）和（99，+∞）。

B．如果某个输入条件规定了一组可能的值，且程序可以对不同的值作出不同的处理，那么可以为每种值确定一个有效的等价类，同时还有一个无效等价类。如，“职称”这个量可能的值是：教授、副教授、讲师、助教。那么可以这样划分：四类有效等价类分别为教授、副教授、讲师、助教，无效等价类为四种职称以外的所有值。2）确定测试用例A．给每个等价类规定一个唯一的编号；

B．设计一个新的测试用例，使其尽可能多地覆盖未被覆盖过的有效等价类。重复此步，直至所有有效等价类被覆盖；C．设计一个新的测试用例，使其覆盖而且只覆盖一个尚未被覆盖的无效等价类。重复此步，直到所有无效等价类被覆盖。

通常程序发现一类错误后，就报出错信息，不再检查其它类错误，所以设计测试用例时，一次只覆盖一个无效等价类。实例：一个把数字串变成整数的函数。计算机字长：16bits，函数由PASCAL语言编写。

functionstrtoint(dstr:shortstr):integertypeshortstr=array[1..6]ofchar;/字符串6位/

（16位字长能表示的整型数范围是[-215,215-1]，即[-32768,32767

]

）有效输入的等价类有：（1）1－6个数字字符组成的数字串（最高位数字不为零）；如：[0,999999]（2）最高位数字是零的数字串；如：“012345”（3）最高位数字左邻是负号的数字串；如：“－12345”无效输入的等价类有：（4）空字符串（全是空格）；如“”；（5）左部填充的字符既不是零，又不是空格；如：“A12345”（6）最高位数字右面由数字和空格混合而成；如：“12345”（7）最高位数字右面由数字和其他字符混合而成；如：“12A345”（8）负号与最高位数字之间有空格；如：“-1234”合法输出的等价类有：（9）在计算机能表示的最小负整数和零之间的负整数；如：[-32768,0）（10）零；（11）在零和计算机能表示的最大正整数之间的正整数；如：（0，32767]非法输出的等价类有：（12）比计算机能表示的最小负整数还小的负整数；如：“－32769”（13）比计算机能表示的最大正整数还大的正整数；如：“123456”根据划分的等价类，设计出测试方案11个：（1）1－6个数字组成的字符串；输入：‘1’预期的输出：1（2）最高位数字是零的数字串；输入：‘000001’预期的输出：1（3）负号与最高位数字相邻；输入：‘－00001’预期的输出：－1（4）最高位数字是零的特例；输入：‘000000’预期的输出：0（5）太小的负整数；输入：‘－47561’预期的输出：错误－无效输入（6）太大的正整数；输入：‘132767’预期的输出：错误－无效输入（7）空字符串；输入：‘’预期的输出：错误－没有数字（8）字符串左部字符既不是零又不是空格；输入：‘AAAAA1’预期的输出：错误－非数字（9）最高位数字后面有空格；输入：‘12’预期的输出：错误－无效输入（10）最高位数字后面有其他字符；输入：‘1AAA23’预期的输出：错误－无效输入（11）负号和最高位数字之间有空格；输入：‘－12’预期的输出：错误－负号位置错。程序通常在处理边缘情况时容易出现错误，如等价类与等价类之间的边界值。所以在设计测试用例时，使用正好等于、正好大于、正好小于边界值的数据进行测试，发现程序错误的概率较大。7.7.2边界值分析边界值分析测试法属黑盒测试。

在实际设计测试方案时，常常结合使用等价划分和边界值分析两种技术，把一些等价类的边界值作为测试用例进行测试。

上例中设计了11个测试用例，还应该用边界值分析补充测试用例：（12）使输出刚好等于最小负整数；输入：‘－32768’预期的输出：－32768（13）使输出刚好等于最大的正整数；输入：‘32767’预期的输出：32767（14）使输出刚刚小于最小的负整数；输入：‘－32769’预期的输出：错误－无效输入（15）使输出刚刚大于最大正整数；输入：‘32768’预期的输出：错误－无效输入错误推测法在很大程度上靠直觉和经验进行。基本思想：列举出程序中可能的错误和容易发生错误的特殊情况，且根据它们选择测试方案。如：输入、输出为0时容易出错；输出记录为0条时容易出错；等等。7.7.3错误推测对软件系统进行实际测试时，应该联合使用各种设计测试方案的方法，形成一种综合策略。具体可以使用如下策略：1）在任何情况下都应该进行边界值分析；2）必要时用等价划分法补充测试方案；7.7.4实用测试策略3）必要时再用错误推测法补充测试方案；4）对照程序逻辑，检查已经设计出的测试方案。可以根据对程序可靠性的要求采用不同的逻辑覆盖标准。实例：程序TRIANGLE读入三个整数值，这三个整数代表同一个三角形三条边的长度，程序根据这三个值判断三角形属于不等边、等腰或是等边三角形。开始停止A<B+CB<A+CC<A+BA=BA=CB=CB=C输出：等边三角形输出：不等边三角形输出：等腰三角形输出：不是三角形abcdefghijklmnop12345678910111213141516171819202122TFTFTFTTFFFTTF图7.8程序TRIANGLE的流程图综合使用边界值分析、等价值划分和错误推测等技术，可以设计出11种应该测试的情况：（1）正常的不等边三角形;（2）正常的等边三角形;（3）正常的等腰三角形，包括两条相等边的三种不同排列方法;（4）退化的三角形（即两边的和等于第三边），包括三种不同排列方法；（5）三条边不能构成三角形（即两边之和小于第三边），包括三种不同排列方法；（6）一条边的长度为零，包括三种不同的排列方法；（7）两条边的长度为零，包括三种不同的排列方法；（8）三条边的长度全为零；（9）输入数据中包含负整数；（10）输入数据不全（不足三个正整数）；（11）输入数据中包含非整数型的数据。abcdefghklmnopij1234567891011121314151617181920212223图7.9对应的程序图程序TRIANGLE的测试数据测试功能测试数据abc1.等边2.等腰3.不等边4.非三角形5.退化情况6.零数据10，10，1010，10，178，10，1210，10，2110，5，50，0，00，0，70，10，12－，－，－10，17，108，12，1010，21，105，10，5－，－，－0，17，012，0，10－，－，－17，10，1010，12，821，10，105，5，10－，－，－17，0，012，10，0测试功能测试数据abc7.负数据8.遗留数据9.无效输入10.边界值-10,-10,-10-10,-10,17-8,10,17－,－,－10,－,－8，10，－A,B,C=,+,*8,10,A7E3,10.5,A32767,32766,8-32768,8,32766-32768,8,-32769－,－,－-10,17,-1017,-8,10－,－,－－,10,－8,－,10－,－,－－,－,－8,A,1010.5,7E3,A32766,8,3276732768,8,-327698,-32767,-32768－,－,－17,-10,-1010，12，8－,－,－－,－,10－,8,10－,－,－－,－,－A,10,8A,10.5,7E332768,8,32767-32769,8,32767-32767,8,-32769最后，检查测试数据的覆盖程度，通常应该做到边覆盖。测试数据覆盖程度检验表中列出的四种测试数据已经做到了边覆盖（覆盖所有的22条边）。测试数据覆盖程度检验表编号测试数据覆盖的边12a2b2c3a3b3c4a4b4c10,10,1010,10,1710,17,1017,10,108,10,128,12,1010,12,810,10,2110,21,1021,10,101,2,3,4,5,6,7,81,2,3,4,5,15,19,20,81,2,3,4,14,18,19,20,81,2,3,4,14,16,17,19,20,81,2,3,4,14,16,21,22,81,2,3,4,14,16,21,22,81,2,3,4,14,16,21,22,81,2,3,11,12,13,81,2,10,12,13,81,9,12,13,87.8调试7.8.1调试过程调试是在测试发现错误之后排除错误的过程。测试用例结果调试附加测试纠正且回归测试已识别原因被怀疑原因1.蛮干法：打印内存的内容，从中寻找错误的线索，是效率最低的程序调试方法。2.回溯法：从发现问题的程序段开始人工地往回追踪分析程序代码，直到找到错误。3.原因排除法包括：对分查找法、归纳法、演绎法7.8.2调试途径7.9软件可靠性1.软件可靠性定义

软件可靠性：是程序在给定的时间间隔内，按照规格说明书的规定成功地运行的概率。7.9.1基本概念2.软件的可用性对故障可修复系统，应同时使用可靠性和可用性来衡量。

软件可用性是：程序在给定的时间点，按照规格说明书的规定，成功地运行的概率。

可靠性和可用性的区别是：可靠性是在0到t时间间隔内，系统没有失效的概率。而可用性是在t时刻，系统是正常运行的概率。如果在t时刻，系统是可用的，则有两种可能：1）在0到t时刻这段时间内，系统一直没有失效（可靠）；2）在0到t时刻这段时间内失效过，但是系统修复后运行到t时刻时情况良好。系统稳态可用性计算（P180）

平均维修时间MTTR是修复一个故障平均需要用的时间，取决于维护人员的技术水平和对系统熟悉程度。

平均无故障时间MTTF是系统按照规格说明书规定成功地运行的平均时间，取决于系统中潜伏的错误数量。1.符号