语句覆盖：至少执行程序中所有语句一次。
判定覆盖：使被测程序中的每一个分支至少执行一次。故也称为分支覆盖。
条件覆盖：执行所有可能的穿过程序的控制路流程。
条件组合测试：设计足够的测试用例，使每个判定中的所有可能条件取值组合至少执行一次。

使用选定的程序设计语言，把模块的过程性描述翻译为用语言书写的源程序（源代码）。

为软件结构图（SC图或HC图）中的每一个模块确定采用的算法和块内数据结构，用某种选定的表达工具给出清晰的描述。

事务型结构由至少一条接受路径、一个事务中心与若干条动作路径组成。