软件评测师练习题目

【5-1】从供选择的答案中选出应填入下列( )中的字句。
软件测试的目的是（ A ）。为了提高测试的效率，应该（ B ）。使用白盒测试方法时，确定测试数据应根据（ C ）和指定的覆盖标准。与设计测试数据无关的文档是（ D ）。
软件的集成测试工作最好由（ E ）承担，以提高集成测试的效果。
供选择的答案：
A. ① 评价软件的质量 ② 发现软件的错误
③ 找出软件中的所有错误 ④ 证明软件是正确的
B. ① 随机地选取测试数据
② 取一切可能的输入数据作为测试数据
③ 在完成编码以后制定软件的测试计划
④ 选择发现错误的可能性大的数据作为测试数据
C. ① 程序的内部逻辑 ② 程序的复杂程度
③ 使用说明书 ④ 程序的功能
D. ① 该软件的设计人员 ② 程序的复杂程度
③ 源程序 ④ 项目开发计划
E. ① 该软件的设计人员 ② 该软件开发组的负责人
③ 该软件的编程人员 ④ 不属于该软件开发组的软件设计人员

【5-2】请从供选择的答案中选出应填入下列（ ）中的字句。
程序的三种基本控制结构是（ A ）。它们的共同点是（ B ）。结构化程序设计的一种基本方法是（ C ）。软件测试的目的是（ D ）。软件调试的目的是（ E ）。
供选择的答案：
A. ① 过程，子程序，分程序 ② 顺序，条件，循环
③ 递归，堆栈，队列 ④ 调用，返回，转移
B. ① 不能嵌套使用 ② 只能用来写简单的程序
③ 已经用硬件实现 ④ 只有一个入口和一个出口
C. ① 筛选法 ② 递归法 ③ 归纳法 ④ 逐步求精法
D. ① 证明程序中没有错误 ② 发现程序中的错误
③ 测量程序的动态特性 ④ 检查程序中的语法错误
E. ① 找出错误所在并改正之 ② 排除存在错误的可能性
③ 对错误性质进行分类 ④ 统计出错的次数

【5-3】从下列关于软件测试的叙述中，选出5条正确的叙述。
(1) 用黑盒法测试时，测试用例是根据程序内部逻辑设计的。
(2) 尽量用公共过程或子程序去代替重复的代码段。
(3) 测试是为了验证该软件已正确地实现了用户的要求。
(4) 对于连锁型分支结构，若有n个判定语句，则有2n条路径。
(5) 尽量采用复合的条件测试，以避免嵌套的分支结构。
(6) GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。
(7) 发现错误多的程序模块，残留在模块中的错误也多。
(8) 黑盒测试方法中最有效的是因果图法。
(9) 在做程序的单元测试时，桩（存根）模块比驱动模块容易编写。
(10) 程序效率的提高主要应通过选择高效的算法来实现。

【5-4】从供选择的答案中选出同下列关于软件测试的各条叙述关系最密切的字句。
(1) 对可靠性要求很高的软件，例如操作系统，由第三者对源代码进行逐行检查。
(2) 已有的软件被改版时，由于受到变更的影响，改版前正常的功能可能发生异常，性能也可能下降。因此，对变更的软件进行测试是必要的。
(3) 在意识到被测试模块的内部结构或算法的情况下进行测试。
(4) 为了确认用户的需求，先做出系统的主要部分，提交给用户试用。
(5) 在测试具有层次结构的大型软件时，有一种方法是从上层模块开始，由上到下进行测试。此时，有必要用一些模块替代尚未测试过的下层模块。
供选择的答案：
A ~ E： ① 仿真器 ② 代码审查 ③ 模拟器 ④ 桩 ⑤ 驱动器
⑥ 域测试 ⑦ 黑盒测试 ⑧ 原型 ⑨ 白盒测试 ⑩ 退化测试

【5-5】对小的程序进行穷举测试是可能的，用穷举测试能否保证程序是百分之百正确呢p>

【5-6】在任何情况下单元测试都是可能的吗需要的吗p>

【5-7】从供选择的答案中选出应填入下面有关软件测试的叙述的（ ）内的正确答案。
软件测试方法可分为黑盒测试法和白盒测试法两种。
黑盒测试法是通过分析程序的（ A ）来设计测试用例的方法。除了测试程序外，它还适用于对（ B ）阶段的软件文档进行测试。
白盒测试法是根据程序的（ C ）来设计测试用例的方法。除了测试程序外，它也适用于对（ D ）阶段的软件文档进行测试。
白盒法测试程序时常按照给定的覆盖条件选取测试用例。（ E ）覆盖比（ F ）覆盖严格，它使得每一个判定的每一条分支至少经历一次。（ G ）覆盖既是判定覆盖，又是条件覆盖，但它并不保证使各种条件都能取到所有可能的值。（ H ）覆盖比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。
单元测试一般以（ I ）为主，测试的依据是（ J ）。
供选择的答案：
A, C：① 应用范围 ② 内部逻辑 ③ 功能 ④ 输入数据
B, D：① 编码 ② 软件详细设计 ③ 软件总体设计 ④ 需求分析
E, F, G, H：① 语句 ② 判定 ③ 条件 ④ 判定/条件
⑤ 多重条件 ⑥ 路径
I：① 白盒法 ② 黑盒法
J：① 模块功能规格说明 ② 系统模块结构图 ③ 系统需求规格说明

【5-8】从供选择的答案中选出应该填入下列关于软件测试的叙述的( )内的正确答案。
软件测试中常用的静态分析方法是（ A ）和（ B ）。（ B ）用于检查模块或子程序间的调用是否正确。分析方法（白盒方法）中常用的方法是（ C ）方法。非分析方法（黑盒方法）中常用的方法是（ D ）方法和（ E ）方法。（ E ）方法根据输出对输入的依赖关系设计测试用例。
供选择的答案：
A ~ B： ① 引用分析 ② 算法分析 ③ 可靠性分析 ④ 效率分析
⑤ 接口分析 ⑥ 操作分析
C ~ E： ① 路径测试 ② 等价类 ③ 因果图 ④ 归纳测试
⑤ 综合测试 ⑥ 追踪 ⑦ 深度优先 ⑧ 调试
⑨ 相对图

【5-9】下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey ( )，一是交换两数组元素内容的操作Swap( )：：
void SelectSort ( datalist & list ) {
//对表list.V[0]到list.V[n-1]进行排序, n是表当前长度。
for ( int i = 0; i int k = i; //在list.V[i].key到list.V[n-1].key中找具有最小关键码的对象
for ( int j = i+1; j if ( list.V[j].getKey ( ) if ( k != i ) Swap ( list.V[i], list.V[k] ); //交换
}
}
(1) 试计算此程序段的McCabe复杂性；
(2) 用基本路径覆盖法给出测试路径；
(3) 为各测试路径设计测试用例。

【5-10】根据下面给出的规格说明，利用等价类划分的方法，给出足够的测试用例。
“一个程序读入三个整数。把此三个数值看成是一个三角形的三个边。这个程序要打印出信息，说明这个三角形是三边不等的、是等腰的、还是等边的。”

【5-10】设三角形的三条边分别为A, B, C。如果它们能够构成三角形的三条边，必需满足：
A > 0，B > 0，C > 0，且A + B > C，B + C > A，A + C > B。
如果是等腰的，还要判断是否A = B，或B = C，或A = C。
对于等边的，则需判断是否A = B，且B = C，且A = C。
列出等价类表：

是否三角形的三条边 (A > 0) (1), (B > 0) (2),(C > 0) (3), (A + B > C), (4)(B + C > A) (5), (A + C > B) (6) A ￡ 0 (7), B ￡ 0 (8), C ￡ 0 (9),A + B ￡ C (10), A + C ￡ B (11),B + C ￡ A (12)
是否等腰三角形 (A = B) (13), (B = C) (14),(A = C) (15) (A 1 B) and (B 1 C) and (A 1 C) (16)
是否等边三角形 (A = B) and (B = C) and (A = C) (17) (A 1 B) (18), (B 1 C) (19),(A 1 C) (20)

§〖3，4，5〗覆盖等价类 (1), (2), (3), (4), (5), (6)。满足即为一般三角形。
§〖0，1，2〗覆盖等价类 (7)。不能构成三角形。 若不考虑特定A, B, C，
§〖1，0，2〗覆盖等价类 (8)。同上。 三者取一即可
§〖1，2，0〗覆盖等价类 (9)。同上。
§〖1，2，3〗覆盖等价类 (10)。同上。 若不考虑特定A, B, C，
§〖1，3，2〗覆盖等价类 (11)。同上。 三者取一即可
§〖3，1，2〗覆盖等价类 (12)。同上。
§〖3，3，4〗覆盖等价类 (1), (2), (3), (4), (5), (6), (13)。 满足即为等腰三角形，
§〖3，4，4〗覆盖等价类 (1), (2), (3), (4), (5), (6), (14)。 若不考虑特定A, B, C，
§〖3，4，3〗覆盖等价类 (1), (2), (3), (4), (5), (6), (15)。 三者取一即可
§〖3，4，5〗覆盖等价类 (1), (2), (3), (4), (5), (6), (16)。不是等腰三角形。
§〖3，3，3〗覆盖等价类 (1), (2), (3), (4), (5), (6), (17)。是等边三角形
§〖3，4，4〗覆盖等价类 (1), (2), (3), (4), (5), (6), (14), (18)。 不是等边三角形，
§〖3，4，3〗覆盖等价类 (1), (2), (3), (4), (5), (6), (15), (19)。 若不考虑特定A, B, C，
§〖3，3，4〗覆盖等价类 (1), (2), (3), (4), (5), (6), (13), (20)。 三者取一即可

【5-11】设要对一个自动饮料售货机软件进行黑盒测试。该软件的规格说明如下：
“有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。”
(1) 试利用因果图法，建立该软件的因果图；
(2) 设计测试该软件的全部测试用例。

【5-11】(1) 因果图

(2) 测试用例设计
1 2 3 4 5 6 7 8 9 10 11
输 入 投入1元5角硬币 (1) 1 1 1 1 0 0 0 0 0 0 0
投入2元硬币 (2) 0 0 0 0 1 1 1 1 0 0 0
按“可乐”按钮 (3) 1 0 0 0 1 0 0 0 1 0 0
按“雪碧”按钮 (4) 0 1 0 0 0 1 0 0 0 1 0
按“红茶”按钮 (5) 0 0 1 0 0 0 1 0 0 0 1
中间结点 已投币 (11) 1 1 1 1 1 1 1 1 0 0 0
已按钮 (12) 1 1 1 0 1 1 1 0 1 1 1
输 出 退还5角硬币 (21) 0 0 0 0 1 1 1 0 0 0 0
送出“可乐”饮料 (22) 1 0 0 0 1 0 0 0 0 0 0
送出“雪碧”饮料 (23) 0 1 0 0 0 1 0 0 0 0 0
送出“红茶”饮料 (24) 0 0 1 0 0 0 1 0 0 0 0
测试用例 每一纵列为一个测试用例

【5-12】对一个长度为100,000条指令的程序进行测试，记录下来的数据如下：
ú 测试开始, 发现错误个数为0;
ú 经过160小时的测试, 累计改正100个错误, 此时, MTTF = 0.4小时；
ú 又经过160小时的测试, 累计改正300个错误, 此时, MTTF = 2小时；
(1) 估计程序中固有的错误总数;
(2) 为使MTTF达到10小时, 必须测试和调试这个程序多长时间r> (3) 给出MTTF与测试时间t之间的函数关系。

【5-12】由shooman公式：
其中，IT = 105，MTTF1 = 0.4，T1 = 160，n1 = 100，MTTF2 = 2，T2 = 320，n2 = 300。得：

(1) 解得程序中固有得错误总数ET = 350，此外K = 1000。
(2) 设MTTF = 10，有

(3) MTTF与测试时间t之间的函数关系：
因为EC (t) = ET (1-e-K1 t )，则ET – EC (t) = ET e-K1 t。代入shooman公式：

【5-13】应该由谁来进行确认测试件开发者还是软件用户么p>

【5-13】在对照需求做有效性测试和软件配置审查时，是由软件开发者在开发环境下进行的测试。而接下来做验收测试时则以用户为主。软件开发人员和QA（质量保证）人员也应参加。由用户参加设计测试用例，使用用户界面输入测试数据，并分析测试的输出结果。一般使用生产中的实际数据进行测试。
如果软件是为多个客户开发的，则需要进行α测试和β测试。α测试是由一个用户在开发环境下进行的测试，也可以是公司内部的用户在模拟实际操作环境下进行的测试。软件在一个自然设置状态下使用。开发者坐在用户旁边，随时记下错误情况和使用中的问题。这是在受控制的环境下进行的测试。
β测试是由软件的多个用户在一个或多个用户的实际使用环境下进行的测试。这些用户是与公司签定了支持产品预发行合同的外部客户，他们要求使用该产品，并愿意返回有关错位错误信息给开发者。与α测试不同的是，开发者通常不在测试现场。因而，β测试是在开发者无法控制的环境下进行的软件现场应用。

五、习题解答

【5-1】A. ② B. ④ C. ① D. ④ E. ④
软件测试的目的是软件中的错误。因为不可能把所有可能的输入数据都拿来测试（时间花费不起），为了提高测试的效率，应该选择发现错误的可能性大的数据作为测试数据。
使用白盒测试方法时，确定测试数据应根据程序的内部逻辑和指定的覆盖标准，可以不考虑程序的功能。与设计测试数据无关的文档是项目开发计划。
软件的集成测试工作最好由不属于该软件开发组的软件设计人员承担，以提高集成测试的效果。

【5-2】A. ② B. ④ C. ④ D. ② E. ①
1966年，Bohm与Jacopini提出任何单入口单出口的没有“死循环”的程序都能由三种最基本的控制结构构造出来。这三种基本控制结构就是“顺序结构”、“选择IF－THEN－ELSE结构”、“重复DO－WHILE或DO－UNTIL结构”。 它们的共同点是只有一个入口和一个出口。E.W.Dijkstra提出了程序要实现结构化的主张，并将这一类程序设计称为结构化程序设计。这种方法的一个重要原则就是采用自顶向下、逐步求精的方法编写程序。N.Wirth曾做过如下说明：“我们对付一个复杂问题的最重要的方法就是抽象。 因此，对于一个复杂的问题，不要急于马上用计算机指令、数字和逻辑符 来表示它，而应当先用较自然的抽象的语句来表示，从而得到抽象的程序。抽象程序对抽象的数据类型进行某些特定的运算，并用一些合适的记 （可以是自然语言）来表示。下一步对抽象程序再做分解，进入下一个抽象的层次。这样的细化过程一直进行下去，直到程序能被计算机接受为止。此时的程序已经是用某种高级语言或机器指令书写的了。”
软件调试则是在进行了成功的测试之后才开始的工作。它与软件测试不同，软件测试的目的是尽可能多地发现软件中的错误，但进一步诊断和改正程序中潜在的错误，则是调试的任务。调试活动由两部分组成：① 确定程序中可疑错误的确切性质和位置。② 对程序（设计，编码）进行修改，排除这个错误。

【5-3】正确的叙述有(4)、(5)、(6)、(7)、（10）。
黑盒测试主要是根据程序的有关功能规格说明和覆盖准则来设计测试用例，进行测试的，不是根据程序的内部逻辑来设计测试用例，这是白盒测试做的事情。在所有黑盒测试方法中，最有效的不是因果图法，而是边界值分析方法。测试的目的是尽可能多地发现软件中的错误，其附带的收获才是验证该软件已正确地实现了用户的要求。测试的一条重要原则是：发现错误多的程序模块，残留在模块中的错误也多。软件可靠性模型（Shooman）就是依据这个原则建立它的公式的。对于连锁型分支结构，若有n个判定语句，则有2n条路径。因此，随着n的增大，路径数增长非常快。单元测试时，因为桩模块要模拟子模块的功能，这不是一件容易的事情，而驱动模块只是控制被测模块的执行，所以桩模块的编写比驱动模块的编写要难得多。
在程序设计风格方面，如果重复的代码段没有明显的功能，不可以抽取出来形成独立的公共过程或子程序，只有在这些代码段表现出独立的功能时，才可把它们抽取出来形成独立的公共过程或子程序。另外，程序效率的提高主要应通过选择高效的算法或使用高效的语言编译器来实现。GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁，这句话是正确的。

【5-4】(1) ② (2) ⑩ (3) ⑨ (4) ⑧ (5) ④
(1) 对可靠性要求很高的软件，由第三者对源代码进行逐行检查，这是代码审查。
(2) 软件变更时可能发生退化现象：原来正常的功能可能发生异常，性能也可能下降。因此，对变更的软件要进行退化测试。
(3) 基于被测试模块的内部结构或算法设计测试用例进行测试，这是白盒测试。
(4) 为了确认用户的需求，先做出系统的原型，提交给用户试用。
(5) 自顶向下对具有层次结构的大型软件进行集成测试时，需要设计一些虚拟模块来替代尚未测试过的下层模块，这些模块叫做桩模块。

【5-5】对小程序进行穷举测试，不见得能保证程序百分之百正确。所谓穷举测试是拿所有可能的输入数据来作为测试用例（黑盒测试），或覆盖程序中所有可能的路径（白盒测试）。对于小程序来说，实际上并不能真正作到穷举测试。例如前面讲过，一个小程序P只有两个输入X和Y及输出Z，在字长为32位的计算机上运行。如果X、Y只取整数，考虑把所有的X、Y值都做为测试数据，按黑盒方法进行穷举测试，这样做可能采用的测试数据组（Xi，Yi），基数（radix）i的最大可能数目为：232×232＝264。如果程序P测试一组X、Y数据需要1毫秒，而且假定一天工作24小时，一年工作365天，要完成264组测试，需要5亿年。

【5-6】单元测试又称模块测试，是针对软件设计的最小单位─程序模块，进行正确性检验的测试工作。其目的在于发现各模块内部可能存在的各种差错。单元测试需要从程序的内部结构出发设计测试用例。多个模块可以平行地独立进行单元测试。
单元测试是在编码阶段完成的，每编写出一个程序模块，就开始做这个模块的单元测试，所以只要采用模块化方法开发软件，单元测试都是必需的。它可由编写程序的人来完成。因为它需要根据程序的内部结构设计测试用例，对于那些不了解程序内部细节的人，这种测试无法进行。

【5-7】A. ③ B. ④ C. ② D. ② E. ② F. ① G. ④ H. ⑤ I. ① J. ①
软件测试方法可分为黑盒测试法和白盒测试法两种。黑盒测试法是基于程序的功能来设计测试用例的方法。除了测试程序外，它还适用于对需求分析阶段的软件文档进行测试。白盒测试法是根据程序的内部逻辑来设计测试用例的方法。除了测试程序外，它也适用于对软件详细设计阶段的软件文档进行测试。
白盒法测试程序时常按照给定的覆盖条件选取测试用例。判定覆盖比语句覆盖严格，它使得每一个判定的每一条分支至少经历一次。判定/条件覆盖既是判定覆盖，又是条件覆盖，但它并不保证使各种条件都能取到所有可能的值。多重条件覆盖，也叫组合条件覆盖，比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。
单元测试一般以白盒法为主，测试的依据是系统的模块功能规格说明。

【5-8】A. ① B. ⑤ C. ① D. ② E. ③
软件测试中常用的静态分析方法是引用分析和接口分析。接口分析用于检查模块或子程序间的调用是否正确。分析方法（白盒方法）中常用的方法是路径测试方法。非分析方法（黑盒方法）中常用的方法是等价类（划分）方法和因果图方法。因果图方法根据输出对输入的依赖关系设计测试用例。

【5-9】(1) McCabe环路复杂性 = 5
(2) 独立路径有5条：
①③
①②⑤⑧……
①②⑤⑨……
①②④⑥……
①②④⑦……
(3) 为各测试路径设计测试用例:
路径①③：取n = 1
路径①②⑤⑧……：取n = 2,
预期结果：路径⑤⑧③不可达
路径①②⑤⑨……：取n = 2,
预期结果：路径⑤⑨③不可达
路径①②④⑥⑤⑧③：
取n = 2, V[0] = 2, V[1] = 1, 预期结果：k = 1, V[0] = 1, V[1] = 2
路径①②④⑥⑤⑨③：
取n = 2, V[0] = 2, V[1] = 1, 预期结果：k = 1, 路径⑨③不可达
路径①②④⑦⑤⑧③：
取n = 2, V[0] = 1, V[1] = 2, 预期结果：k = 0, 路径⑧③不可达
路径①②④⑦⑤⑨③：
取n = 2, V[0] = 1, V[1] = 2, 预期结果：k = 0, V[0] = 1, V[1] = 2