2016年下半年 软件评测师 下午试卷

### 知识点一：软件测试中的判定覆盖（Decision Coverage） 判定覆盖也称为分支覆盖，是一种测试覆盖标准，用于确保测试用例能够执行程序中的每个判定语句的逻辑条件的真假路径至少一次。在本题中，判定覆盖被用来确保C程序中的每个分支都被执行到。具体而言，题目要求针对给定的C程序代码，列举出满足100%判定覆盖所需的逻辑条件。解题时，需要考虑程序中每一个if-else结构的逻辑条件，并确保这些条件的真值和假值都至少被测试到一次。例如，对于if(x==1)这一判定，需要分别测试x等于1和不等于1的情况。 ### 知识点二：控制流图（Control Flow Graph） 控制流图是软件测试中用以表示程序执行流程的图形化工具。它包含了程序中的各种执行路径，包括循环、分支和顺序执行的路径。在控制流图中，用圆圈（节点）表示程序中的语句，而箭头（边）则表示控制流的方向。控制流图的环路复杂度（V(G)）是用来衡量程序复杂度的一个指标，它可以用来评估程序中独立路径的数量，从而帮助设计测试用例。本题中要求画出程序的控制流图，并计算其环路复杂度。根据控制流图的基本结构，V(G)可以通过以下三种方式计算： 1. 区域个数法：V(G)等于控制流图中的区域总数。 2. 边数-结点数+2法：V(G)=E-N+2，其中E是边的数量，N是结点的数量。 3. 判定数+1法：V(G)=P+1，其中P是程序中的判定点数。 ### 知识点三：线性无关路径（Linearly Independent Path） 在线性代数中，线性无关是指一组向量中的任何一个向量都不能表示为其他向量的线性组合。在软件测试中，线性无关路径是指一组测试用例，其中每个测试用例的执行路径至少包含一组以前没有处理过的语句或条件。在本题中，要求给出问题2中控制流图的线性无关路径，即从控制流图中选出一组路径，这组路径中的每条路径都包含至少一条其他路径没有包含过的边。 ### 知识点四：等价类划分法（Equivalence Partitioning） 等价类划分是一种软件测试设计技术，其基本思想是将输入数据的集合划分为若干个等价类，每个等价类中的数据从程序的角度来看是等效的。等价类划分法的目的是简化测试用例的选取过程，通过选取每个等价类中的一个代表值作为测试用例的输入数据。本题中，要求对会员积分计算程序进行等价类划分，以设计有效的测试用例。有效等价类是指符合输入条件的数据集合，而无效等价类则是指不符合输入条件的数据集合。等价类可以进一步细化为子等价类，以确保测试用例能够充分覆盖程序可能的处理方式。 ### 知识点五：需求管理（Requirement Management） 在软件开发项目中，需求管理是指对项目需求进行收集、分析、记录、跟踪和维护的一系列活动。需求管理是软件工程中的一个关键环节，它确保项目团队对客户的需求有明确、准确的理解，同时也确保这些需求能够在项目实施过程中得到正确的执行。在本题中，虽然没有直接涉及需求管理的内容，但通过理解题目中的业务场景，可以体会到需求管理在软件开发过程中的重要性，如正确识别会员级别、舱位代码和飞行公里数等输入数据的有效和无效等价类，是实现需求管理的基础。 以上五个知识点分别涵盖了软件测试中的判定覆盖、控制流图、线性无关路径、等价类划分法和需求管理，它们都是软件评测师必备的专业知识。通过本案例的学习，可以加深对这些概念的理解，并在实际工作中更好地应用这些测试技术。