C. 无法检验软件的外部特性 D. 无法测试未实现功能需求的软件的内部缺陷
四、问答计算题
1、从下列关于软件测试的叙述中，选出5条正确的叙述。
(1) 用黑盒法测试时，测试用例是根据程序内部逻辑设计的。 (2) 尽量用公共过程或子程序去代替重复的代码段。
(3) 测试是为了验证该软件已正确地实现了用户的要求。
(4) 对于连锁型分支结构，若有n个判定语句，则有2n条路径。
(5) 尽量采用复合的条件测试，以避免嵌套的分支结构?BR> (6) GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。 (7) 发现错误多的程序模块，残留在模块中的错误也多。 (8) 黑盒测试方法中最有效的是因果图法。
(9) 在做程序的单元测试时，桩（存根）模块比驱动模块容易编写。 (10) 程序效率的提高主要应通过选择高效的算法来实现。 答：正确的叙述有(4)、(5)、(6)、(7)、（10）。
黑盒测试主要是根据程序的有关功能规格说明和覆盖准则来设计测试用例，进行测试的，不是根据程序的内部逻辑来设计测试用例，这是白盒测试做的事情。在所有黑盒测试方法中，最有效的不是因果图法，而是边界值分析方法。测试的目的是尽可能多地发现软件中的错误，其附带的收获才是验证该软件已正确地实现了用户的要求。测试的一条重要原则是：发现错误多的程序模块，残留在模块中的错误也多。软件可靠性模型（Shooman）就是依据这个原则建立它的公式的。对于连锁型分支结构，若有n个判定语句，则有2n条路径。因此，随着n的增大，路径数增长非常快。单元测试时，因为桩模块要模拟子模块的功能，这不是一件容易的事情，而驱动模块只是控制被测模块的执行，所以桩模块的编写比驱动模块的编写要难得多。
在程序设计风格方面，如果重复的代码段没有明显的功能，不可以抽取出来形成独立的公共过程或子程序，只有在这些代码段表现出独立的功能时，才可把它们抽取出来形成独立的公共过程或子程序。另外，程序效率的提高主要应通过选择高效的算法或使用高效的语言编译器来实现。GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁，这句话是正确的。
2、对小的程序进行穷举测试是可能的，用穷举测试能否保证程序是百分之百正确呢？ 答：对小程序进行穷举测试，不见得能保证程序百分之百正确。所谓穷举测试是拿所有可能的输入数据来作为测试用例（黑盒测试），或覆盖程序中所有可能的路径（白盒测试）。对于小程序来说，实际上并不能真正作到穷举测试。例如前面讲过，一个小程序P只有两个输入X和Y及输出Z，在字长为32位的计算机上运行。如果X、Y只取整数，考虑把所有的X、Y值都做为测试数据，按黑盒方法进行穷举测试，这样做可能采用的测试数据组（Xi，Yi），基数（radix）i的最大可能数目为：232×232＝264。如果程序P测试一组X、Y数据需要1毫秒，而且假定一天工作24小时，一年工作365天，要完成264组测试，需要5亿年。
3、在任何情况下单元测试都是可能的吗？都是需要的吗？
答：单元测试又称模块测试，是针对软件设计的最小单位─程序模块，进行正确性检验的测试工作。其目的在于发现各模块内部可能存在的各种差错。单元测试需要从程序的内部结构出发设计测试用例。多个模块可以平行地独立进行单元测试。单元测试是在编码阶段完成的，每编写出一个程序模块，就开始做这个模块的单元测试，所以只要采用模块化方法开发软件，单元测试都是必需的。它可由编写程序的人来完成。因为它需要根据程序的内部结构设计测试用例，对于那些不了解程序内部细节的人，这种测试无法进行。
4、如图所示的程序有三条不同的路径。分别表示为L1(a→b)、L2(a→c→d)、L3(a→c→e)，或简写为ace、abd、abe及acd。根据判定覆盖、条件覆盖、判定–条件覆盖、条件组合覆盖和路径覆盖等五种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小测试
用例组。(用~ ①⑩回答)
供选择的答案：
①x = 90, y = 90 ②x = 50, y = 50 ③x = 90, y = 90 ④x = 90, y = 70 x = 50, y = 50 x = 40, x = 90 ⑤x = 90, y = 90 ⑥x = 90, y = 90 x = 50, y = 50 x = 70, y = 90 x = 90, y = 70 x = 50, y = 50 ⑦x = 90, y = 90 ⑧x = 90, y = 90 x = 50, y = 50 x = 50, y = 50 x = 80, y = 70 x = 90, y = 50 x = 70, y = 90 x = 80, y = 80 ⑨x = 90, y = 90 ⑩x = 90, y = 90 x = 90, y = 70 x = 80, y = 80 x = 90, y = 30 x = 90, y = 70 x = 70, y = 90 x = 90, y = 30 x = 30, y = 90 x = 70, y = 90 x = 70, y = 70 x = 30, y = 90 x = 50, y = 50 x = 70, y = 70 x = 50, y = 50
答：针对覆盖标准，相应的测试用例组如下
注意：测试是一个程序的执行过程。对于逻辑表达式 A or B，当A为真时不再对B做判断，对于逻辑表达式 A and B，当A为假时不再对B做判断。未能做判断的条件，在解答中用“□”表示。
此测试用例组在满足条件覆盖的情况下又满足了判定覆盖的要求。
在条件组合覆盖情形，(x?90)or(y?90)的组合有4种，与条件(x+y?140)的组合应有8种，但(x+y?140=F)and((x?90=T)or(y?90=T))不可能出现，因此，7个测试用例就够了。
因为流程图有3条路径，只需3个测试用例就够了。如果将判定中的复合条件表达式改为单个条件的嵌套选择结构，第一个判定有3条路径，其中两条路径通向第二个判定。第二个判定有4条路径，组合起来总共应有9条路径。但是，其中受测试条件的限制，有3条路径不可达，因此，程序中应有6条路径，需要6个测试用例来覆盖它们。
百度搜索“70edu”或“70教育网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，70教育网，提供经典综合文库软件工程概论的练习题及答案(2)在线全文阅读。
相关推荐：
