[发明专利]一种民机飞控系统需求追踪性的检查方法

说明书

本发明属于民机飞控系统检查技术领域，具体涉及一种民机飞控系统需求追踪性检查的方法。首先，利用特定民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；其次，将总结的正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；最后将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪。本发明为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利，整个检查过程可以规避人工检查引入的错误。

技术领域

本发明属于民机飞控系统检查技术领域，具体涉及一种民机飞控系统需求追踪性检查的方法。

背景技术

在民机飞控系统的设计开发过程中，需根据适航要求，对设计过程中的需求条目化并进行自顶向下的追踪，以确保顶层需求在设计中被真正实现，在系统开发的过程中，数量庞大的需求，及其链接关系的检查会耗费开发人员大量时间和精力。需要开发一种可以识别开发与验证过程中的需求检索检查的工具，来辅助开发与验证人员提高工作效率，减少错误发生的可能性。

本发明立足于民机飞控系统开发与验证过程中对需求追踪检查的需要，利用python作为工具，从飞控系统设计文档与模型中找到需求标识号，并通过追溯关系，确认需求追踪的合理性，同时此方法也为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利。

对于民机飞控系统的需求追踪检索方法，目前国内尚无已发布的专门的解决方案。

发明内容

本发明的目的是：提出一种民机飞控系统需求追踪性检查的方法，以便于在民机飞控系统研发过程中对追踪性的检查。

本发明的技术方案：一种民机飞控系统需求追踪性检查的方法，

步骤1：利用特定民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；

步骤2：将总结的正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；

步骤3：将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪。

所述链接比对的实现方法如下：检查每一个软件级需求标识号是否有源头，并且源头为已被检索出的系统级需求标识号，并在最终检查是否每一个系统级需求标识号都被追踪为源头过。

本发明的有益效果：本发明可以用于对民机飞控系统需求的追踪，也为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利，整个检查过程可以规避人工检查引入的错误。

具体实施方式

一种民机飞控系统需求追踪性检查的方法，包括以下步骤，步骤1：利用特定民机控制系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；

步骤2：将总结的正则表达语句作为输入，在python语言平台内进行软件编程设计；

步骤3：所述软件编程设计，包括简单的设计文档选择，对文档信息的读取，基于re库对读取的文档信息进行模糊检索，将检索结果输出为文本信息；

步骤4：得到的文本信息，即为文档中包含的需求标识号，将系统级，软件级需求进行连接比对，检查高等级需求是否都被低等级需求追踪。

在上述方法的基础上，进一步的，步骤2中软件编程设计是在python语言平台内进行，还可以采用其他编程语言实现。

在上述方法的基础上，在python语言平台内进行软件编程设计的实现方法如下:简单的设计文档选择，对文档信息的读取，基于re库对读取的文档信息进行模糊检索，将检索结果输出为文本信息。