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

Specification Methods for Requirements of Avionics Based on Formal Rules

随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不可验证等问题,根据不同的需求语句模式设计出不同的转换规则.同时,为实现自然语言需求到规范化需求的自动转换过程,本文借助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.