一种基于状态模型的机载软件运行状态和方式的分析方法

An Analyze Method of Running State and Mode of Airborne Software Based on State Model

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

Based on the relevant regulations of the running state and mode of software in GJB(Military Standard Quality Management System),this paper builts an UML(Unified Modeling Language)software state model and came up with some scenarios and directions of application about the running state and mode according to the model.This method described in this paper can make designers and testers become more comprehensive to master the whole state of airborne software,and improve the quality of it,and can alsoimprove the readability of SRS(Software Requirements Specification).