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

作　　者：李洁榆 王建宇[1] 李超然 马永春 施兆奕 

机构地区：[1]南京理工大学自动化学院,江苏南京210094 [2]航天恒星科技有限公司,北京100086 [3]中国商飞北京民用飞机技术研究中心,北京102211

出　　处：《信息记录材料》2023年第5期213-215,共3页Information Recording Materials

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

关 键 词：航天器测试 形式化方法 测试验证技术 

分 类 号：TP279[自动化与计算机技术—检测技术与自动化装置]