问答题 下面是选择排序的程序，其中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。根据判定覆盖、条件覆盖、判定–条件覆盖、条件组合覆盖和路径覆盖等五种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小测试用例组。（用~①⑩回答） 供选择的答案：

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