单选题 对于安全关键系统，需要额外的安全保证、软件验证以及系统分析过程。（  ）是检查系统是否安全运行的一组活动，包含在软件开发过程的所有阶段中，记录了所进行的分析以及负责分析的相关人员。