基于形式化方法的航天器软件系统测试技术

随着航天技术的飞速发展，航天器软件系统复杂度正在逐渐上升，导致航天器系统面临的软件系统安全性、可靠性问题越来越突出，将直接影响到航天器软件系统安全性能。如何有效验证测试航天器软件系统的安全性、可靠性已经成为航天器测试技术领域中需要深入研究的重点问题。本文针对航天器软件系统安全需求，归纳列举各类基于严格数学思想的形式化测试验证技术和相关模型，此类技术能够用于复杂软件系统的测试验证工作，有效发现系统中存在各类安全问题和系统缺陷，提升软件系统产品的安全性和可靠性。