简答题

下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey（），一是交换两数组元素内容的操作Swap（）：

（1）试计算此程序段的McCabe复杂性；
（2）用基本路径覆盖法给出测试路径；
（3）为各测试路径设计测试用例。

问答题如图所示的程序有三条不同的路径。分别表示为L1（a→b）、L2（a→c→d）、L3（a→c→e），或简写为ace、abd、abe及acd。根据判定覆盖、条件覆盖、判定–条件覆盖、条件组合覆盖和路径覆盖等五种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小测试用例组。（用~①⑩回答） 供选择的答案：

问答题对小的程序进行穷举测试是可能的，用穷举测试能否保证程序是百分之百正确呢？

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

单项选择题由因果图转换出来的（）是确定测试用例的基础。

A.判定表
B.约束条件表
C.输入状态表
D.输出状态表

单项选择题等价类划分完成后，就可得出（），它是确定测试用例的基础。

A.有效等价类
B.无效等价
C.等价类表
D.测试用例集