学习目标

（K2）通过例子解释测试综合系统的特殊之处。

（K2）解释为什么测试安全关键系统的三个主要输出在证明法规符合性方面是必需的。