APP下载

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

2021-08-24沈翔宇王立松康介祥高忠杰仇智鹏

小型微型计算机系统 2021年9期
关键词:规范化规则

沈翔宇,王立松,康介祥,高忠杰,王 辉,尹 伟,仇智鹏

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

1 引 言

近年来,随着航空电子显控系统功能的不断增强和需求的日益增加,传统的自然语言需求分析受到了很大的挑战.在软件需求分析阶段,自然语言需求中描述的任何事物的解释和理解都可能受到地理、心理和个人等因素的影响.需求分析人员的工作是检查并修复需求规范文档中的歧义、不一致等问题.但是,分析人员由于缺乏相关专业背景知识,在阅读自然语言需求[1]描述时可能会忽略自然语言需求自身的缺陷,如表述模糊、不可验证等问题,这将会导致需求表征出多种解释和出现难以恢复隐式需求等状况,造成需求分析人员、开发编程人员、具体用户三者对需求理解不一致,导致项目成果和用户需求相违背,增加工程成本.

相对于系统是使用非规范化需求对其记录的情况,规范化需求则使用严格的方法对系统进行原型设计[2].在需求开发过程中,由于用户和需求分析人员共同承担需求分析的责任,所以强制使用规范化的语言来描述需求是不可能的.为了增强软件开发团队对待开发软件的了解,将自然语言需求[3]自动转换为规范化需求的规范化过程就显得尤为重要.

本文的主要工作是设计并实现一个面向航空电子显示系统领域的自然语言需求的规范化方……

登录APP查看全文

猜你喜欢

规范化规则
撑竿跳规则的制定
数独的规则和演变
规则的正确打开方式
让规则不规则
价格认定的规范化之路
谈人事档案的规范化管理
TPP反腐败规则对我国的启示
政务微博的规范化运行探讨
搜索新规则
狂犬病Ⅲ级暴露规范化预防处置实践