标题：一种基于状态模型的机载软件运行状态和方式的分析方法
作者：焦永强 吕金泽
作者单位：中国航空综合技术研究所，北京 100028
关键字：状态模型；机载软件；运行状态和方式
摘要：随着软件在航空装备中使用越来越多，软件复杂性越来越高。现阶段采用自然语言描述的机载软件运行状态和方式，很难清楚地描述其中的逻辑关系和运行机制，给软件开发、测试等工作带来诸多困难。在结合相关标准中规定的软件运行状态和方式的基础上，建立了一种UML软件状态模型，并基于该模型给出了一些关于软件运行状态和方式的应用场景和方向。所阐述的方法可以帮助开发人员、测试人员更全面掌握软件状态，更好地改善软件质量，也可提高软件需求规格说明的可读性。