bobljm的专栏

任何程序都可以看做是一个函数，程序的输入构成函数的定义域，程序的输出构成函数的值域。输入定义域测试是最著名的功能性测试手段。本章和后面两章将讨论如何运用程序的函数特性，为程序标识测试用例。在历史上，这种形式测试的重点是在输入定义域，但是将很多这类手段应用于开发基于值域的测试用例，常常是很好的补充。什么是功能性测试：不知道程序的结构，通过规格说明或可执行程序以及一些知识了解到的输入输出之间的关系

6.2 三角形问题的等价类测试用例等价类：四种可能出现的输出：非三角形、不等边三角形、等腰三角形和等边三角形R1={:有三条边a、b、c的等边三角形}R2={:有三条边a、b、c的等腰三角形}R3={:有三条边a、b、c的不等边三角形}R4={:三条边a、b、c不构成三角形} （1）弱一般等价类测试用例测试用例数量：4个用例标识abc预期输出WN1555等边三角

等价类测试是功能性测试最基本、也是最重要的方法。使用等价类作为功能测试的基础有两个动机：（1）完备测试；（2）避免冗余。边界值测试不能解决这两个问题中的任何一个。 等价类测试属于基于规格说明的测试方法，同时在考虑等价类测试时，在可能的情况下，尽可能的（1）贴近软件实现，或者结合软件实现，因为不同的实现方法关系到等价类是否划分的合理；（2）贴近用户使用，多站在用户的角度考虑问题，考虑等

在所有的功能性测试方法中，基于决策表的测试方法最严格，因为决策表具有逻辑严格性。7.1 决策表法决策表如下表所示：桩规则1规则2规则3、4规则5规则6规则7、8C1TTTFFFC2TTFTTFC3TF-TF-A1×× ×  A2×   × A3 × ×  A4  ×  × 有4个部分：左侧是桩部分，右侧是条目部分，上面是条件部分，下面是行动部分。分别是：（1）条件桩：C1、C2

5.5 举例分析5.5.2 NextDate 函数的测试用例回顾以下第2章中关于NextDate的问题描述：NextDate是一个有三个变量（月份、日期和年）的函数。函数返回输入日期后面的那个日期。变量月份、日期和年都是整数，且满足以下条件：C1：1≤月份≤12C2：1≤日期≤31C3：1812≤年≤2012对无效的输入日期，比如6月31日，或c1、c2、c3中的任意一个条

7.2三角形问题的测试用例三角形问题的决策表：6个条件、5个行动，11条规则桩1234567891011C1：aFTTTTTTTTTTC2：b-FTTTTTTTTTC3：c--FTTTTTTTTC4：a=b?---TTFTFFFFC5：a=c?---TFTFTTFFC6：b=c?---TTTFTFTFA1：非三角形×××        A2：不等边三角形          ×A3：等腰三角

本章对后续讨论使用的例子进行说明，包括三角形问题（测试界的一个古老例子）、计算下一天日期问题NextDate函数、计算销售商佣金问题、简单的ATM系统（SATM）、货币转换器和土星汽车的挡风玻璃雨刷。按照问题的基本规格描述和部分的实现代码进行介绍。2.2 三角形问题问题描述：简单版本：三角形问题接受三个整数a、b、c作为输入，用做三角形的边。程序的输出是由这三条边确定的三角形类型：等边

2.3 NextDate函数2.3.1 问题陈述NextDate是一个有三个变量（月份、日期和年）的函数。函数返回输入日期后面的那个日期。变量月份、日期和年都是整数，且满足以下条件：C1：1≤月份≤12C2：1≤日期≤31C3：1812≤年≤2012对无效的输入日期，比如6月31日，或c1、c2、c3中的任意一个条件失败，则NextDate，都会产生一个输出，指示其为无效日

除了其他生命周期活动外，测试本身还要进行数学描述和分析。这里给出的数学方法就是工具，测试工程师应该清楚地了解如何使用这些工具。通过这些工具，测试人员会变得严格、精确和高效，所有这些都会改进测试。一般来说，离散数学更适用于功能性测试，而图论更适合结构性测试。本章只讨论离散数学，主要包括集合论、函数、关系、命题逻辑和概论的一些基本内容，如需深入研究和学习还需参考专门的资料。3.1 集合论关于集

2.4 佣金问题第三个例子是个典型的商务计算例子，包含了计算和决策。2.4.1 问题陈述步枪销售商销售制造商制造的步枪机（lock）、枪托（stock）和枪管（barrel）。枪机卖45美元，枪托卖30美元，枪管卖25美元。销售商每月至少要售出一只完整的步枪，且生产限额是大多数销售商在一个月内科销售70个枪机、80个枪托和90个枪管。每访问一个镇子之后，销售商都给制造商发出电报，说明在

5.5 举例分析5.5.1 三角形问题的测试用例回顾以下第2章中关于三角形的问题描述：三角形问题接受三个整数a、b、c作为输入，用做三角形的三条边。整数a、b、c必须满足以下条件：C1:1≤a≤200C2: 1≤b≤200C3: 1≤c≤200C4:a﹤b+cC5:b﹤a+cC6:c﹤a+b程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三

《软件测试（原书第2版）Software Testing A Craftsman’s Approach（Second Edition）》学习介绍

软件测试的目的和原因       软件测试的两个主要原因：（1）对质量或可接受性做出判断，也就是通过测试来验证软件是否符合软件需求规格说明、用户需求等要求，判断评价软件质量；（2）发现问题，也就是寻找缺陷，发现错误。       这两个原因并不是互斥的，而是相辅相成的，理解不可偏颇，最早的软件测试目的是为了证明软件不存在错误，之后发展到软件测试是为证明软件存在错误。软件满足用户需求的能力和

1.3 通过维恩图理解测试       测试基本上关心的是行为，而行为与软件开发人员常用的结构视图无关。       结构视图关注的是它是什么，而行为视图关注的是它做什么。基本文档大多都是开发人员编写的，强调的是结构信息，而不是行为信息。       如上图所示：S:需求规格说明所描述的行为，P：程序实现的行为，U：全集，所有的程序行为。所描述的行为没有实现，也就是S-

6.4 佣金问题的等价类测试用例6.4.1输入等价类有效等价类：L1={枪机数量：1≤lock≤70}L2={枪机数量：-1}S1={枪托数量：1≤stock≤80} B1={枪管数量：1≤barrel≤90}无效等价类：L3={枪机数量：=0，或＜-1}L4={枪机数量：＞70}S2={枪托数量：＜1}S3={枪托数量：＞80}B2