项目管理师知识点（测试相关内容）

　　(5)功能图。它用功能图FD(Functional Diagram)形式化地表示程序的功能说明，并机械地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构成，状态迁移图用于表示输入数据序列以及相应的输出数据，在状态迁移图中，由输入数据和当前状态决定输出数据和后续状态。逻辑功能模型用于表示在状态中输入条件与输出条件之间的对应关系。测试用例则是由测试中经过的一系列状态和在每个状态中必须输入/输出数据满足的一对条件组成。

　　2.白盒测试 白盒测试把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构和有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序的状态，确定实 40 际的状态是否与预期的状态一致，又称为结构测试或逻辑驱动测试。 白盒测试主要对程序模块进行如下检查：  ·对程序模块的所有独立的执行路径至少测试一次; .对所有的逻辑判定，取"真"与取"假"的两种情况都至少测试一次; .在循环的边界和运行界限内执行循环体; .测试内部数据结构的有效性等。
　　逻辑覆盖 逻辑覆盖是以程序内部的逻辑结构为基础的设计用例的技术。它属白盒测试，包括语句覆盖、判定覆盖、条件覆盖、判定一条件覆盖、条件组合覆盖、路径覆盖等。  　　·语句覆盖：就是设计若干个测试用例，运行被测程序，使每一可执行语句至少执行一次。 　　·判定覆盖：设计若干个测试用例，运行被测程序，使程序中每个判断的取真分支和取假分支至少经历一次，又称为分支覆盖。  　　·条件覆盖：设计若干个测试用例，运行被测程序，使程序中每个判断的每个条件的可能取值至少执行一次。  　　·判定一条件覆盖：设计足够的测试用例，使判断中每个条件的所有可能取值至少执行一次，每个判断中的每个条件的可能取值至少执行一次。  　　·条件组合覆盖：设计足够的测试用例，运行被测程序，使每个判断的所有可能的条件取值组合至少执行一次。  　　·路径覆盖：设计足够的测试用例，覆盖程序中所有可能的路径。