在测试术语中，“验证”指保证软件正确的实现了某一特定功能的一系列活动。

因果图法产生的输出结果就是判定表。

判断题因果图法产生的输出结果就是判定表。

静态检查工具不仅可以对源代码进行检查，也可以对编译后的目标代码进行检查。

判断题静态检查工具不仅可以对源代码进行检查，也可以对编译后的目标代码进行检查。

用户界面的美观与否是一种主观感受，应避免以个人喜好来判断。

判断题用户界面的美观与否是一种主观感受，应避免以个人喜好来判断。