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

摘要

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