一种基于形式化规则的航电需求规范化方法  

Specification Methods for Requirements of Avionics Based on Formal Rules

作　　者：沈翔宇 王立松[1] 康介祥[2] 高忠杰 王辉[2] 尹伟[2] 仇智鹏 SHEN Xiang-yu;WANG Li-song;KANG Jie-xiang;GAO Zhong-jie;WANG Hui;YIN Wei;QIU Zhi-peng(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Department of Software,China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]中国航空无线电电子研究所软件部,上海200233

出　　处：《小型微型计算机系统》2021年第9期1992-1998,共7页Journal of Chinese Computer Systems

基　　金：国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。

摘　　要：随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不可验证等问题,根据不同的需求语句模式设计出不同的转换规则.同时,为实现自然语言需求到规范化需求的自动转换过程,本文借助Stanford Parser词法分析器,输出不同需求语句的语法树,并结合相应的转化算法输出规范化需求语句.最后通过实例验证了基于形式化转换规则的规范化方法在航空电子显控系统的自然语言需求领域中具有较好的有效性和实用性.With the increasing complexity of display and control systems of avionics,how to correctly analyze the natural language requirements of display and control systems of avionics has become an urgent problem to be solved in the field of analysis of requirements.Based on the requirements specification method of formal transformation rules.this paper conducts a standardized analysis and research on the natural language requirements of display and control systems of avionics.Mainly including:Faced with different natural language requirements,symbolize the structure of demand sentences.For the ambiguities,fuzziness,and unverification that often appear in natural language requirement statements,according to different patterns of natural language requirement,different transformation rales are proposed.At the same time,in order to realize the automatic transformation process from natural language requirements to standardized requirements,this paper uses the Stanford Parser lexical analyzer to get the syntax trees of different requirements sentences,and combines the corresponding transformation algorithms to receive the standardized requirements sentences.Finally,an example is carried out to verify that the normalization method based on formal transformation rales has good effectiveness and practicality in the field of natural language requirements of display and control systems of avionics.

关 键 词：自然语言需求 形式化转换规则 规范化需求 规范化方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]