软件系统中的安全测试旨在优化软件系统的设计,开发,使用和维护中的系统安全性,以及它们与生产环境中的安全关键硬件系统的集成。
功能性软件不应产生危险 - 例如:指导最先进的飞机不应引入海洋
监控系统必须完美运行 - 例如:备用计算机应在主要故障时自动启动
在涉及许多交互的复杂系统中,应识别并彻底分析安全关键功能。
确定并消除与系统相关的贡献因素和由此产生的危害。
安全关键接口的数量保持较低,以避免伤害或死亡。
安全属性将作为所有软件测试级别的一部分来解决。