一种面向领域自然语言需求的形式化需求模型生成方法研究

摘要：

构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然语言描述的条目化需求入手,定义一套面向领域的自然语言需求模板,综合考虑所采用的形式化需求模型(VRM:Varia-ble Relation Model)元素的语义,形成基于此模板的需求规范方法;然后给出从规范化后的需求条目集到VRM形式化模型的自动构造方法.最后选取了发动机指示和机组警告系统(EICAS:Engine Indicating and Crew Alerting System)进行实例需求建模及模型生成.

关键词：安全关键软件;领域模板库;VRM;模型转换;EICAS

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

在线出版日期：2021-09-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1639-1648