面向具有层次化特征的形式化需求模型建模方法、介质和设备

本发明提供了一种面向具有层次化特征的形式化需求模型建模方法、介质和设备，根据待处理的自然语言需求，先按照系统层级进行划分，将需求文档中的需求条目按照逻辑关系划分为集合，每个集合划分成一个模块；根据划分好的需求，先从每个模块中分离出模式转换型需求进行汇总，对于剩下的需求，将其按模块分类为条件型需求和事件型需求；根据划分好的原始需求，构建领域概念库；根据需求规范化模板对条件/事件型需求建模并生成等价的形式化描述过程；根据建模元素之间的追溯关系，生成HVRM模型。本发明采用模型驱动的技术，能够有效地从软件需求层面识别问题并准确定位问题所在，从而大幅提升机载软件系统的开发质量与安全性。