问答题简述构建系统功能模型的步骤。
填空题有效性测试的目标是发现软件实现的功能与______不一致的错误。
填空题常用的黑盒测试方法有______、边界值分析、错误推测、因果图。
填空题______指设计足够的测试用例，使得判定中所有可能的条件取值组合至少执行一次。
填空题用况是对系统功能的描述，是系统开发的______，是类、对象、操作的源，是系统分析和设计阶段的输入之一。
