填空题一个状态机引入了另一个状态机，那么被引入的那个状态机称为______。
问答题简述构建系统功能模型的步骤。
填空题有效性测试的目标是发现软件实现的功能与______不一致的错误。
填空题常用的黑盒测试方法有______、边界值分析、错误推测、因果图。
填空题______指设计足够的测试用例，使得判定中所有可能的条件取值组合至少执行一次。
