ISSN 1009-5624 CN 10-2021/TQ 主管:中国乐凯集团有限公司 主办:北京乐凯科技有限公司
中国知网全文收录期刊
万方数据库收录期刊
RCCSE中文学术期刊
维普资讯网/超星域出版 全文收录
中国核心期刊(遴选)数据库收录期刊
万方数据库收录期刊
RCCSE中文学术期刊
维普资讯网/超星域出版 全文收录
中国核心期刊(遴选)数据库收录期刊
ISSN 1009-5624 CN 10-2021/TQ 主管:中国乐凯集团有限公司 主办:北京乐凯科技有限公司
【摘要】随着航天技术的飞速发展，航天器软件系统复杂度正在逐渐上升，导致航天器系统面临的软件系统安全性、可靠性问题越来越突出，将直接影响到航天器软件系统安全性能。如何有效验证测试航天器软件系统的安全性、可靠性已经成为航天器测试技术领域中需要深入研究的重点问题。本文针对航天器软件系统安全需求，归纳列举各类基于严格数学思想的形式化测试验证技术和相关模型，此类技术能够用于复杂软件系统的测试验证工作，有效发现系统中存在各类安全问题和系统缺陷，提升软件系统产品的安全性和可靠性。
