基于自动机模型的航天器测试形式化方法研究

摘要

形式化方法的研究与应用对提高航天器系统的可靠性具有重要作用,本文通过对航天器测试业务特点的分析,发现航天器测试业务可以由自动机理论模型来表示,因此对航天器测试业务建立一个自动机模型是可行的,并利用一个小的实例进行了举例说明.该方法的研究可应用于航天器测试用例的设计、自诊断分析和测试覆盖性分析等领域,是航天器系统可靠性设计与验证领域中的一种新的思路与方法.