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

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

A Demand Traceability Checking Method for Civil Aircraft Flight Control System

The invention belongs to the technical field of civil aircraft flight control system inspection, and specifically relates to a method for requirement traceability inspection of civil aircraft flight control system. Firstly, the rule of requirement identification number in specific civil aircraft flight control system is abstracted into regular statements which can be expressed by regular expressions; secondly, the summarized regular statements are taken as input, the software programming design is carried out and the retrieval results are output as text information; finally, the requirement identification number in text information is linked and compared according to the system-level and software-level requirements to check the height. Are hierarchical requirements tracked by low-level requirements? The invention provides convenience for developers and validators to quickly extract requirement identification numbers from design documents and models, and the whole inspection process can avoid errors introduced by manual inspection.

【技术实现步骤摘要】
一种民机飞控系统需求追踪性的检查方法
本专利技术属于民机飞控系统检查
，具体涉及一种民机飞控系统需求追踪性检查的方法。
技术介绍
在民机飞控系统的设计开发过程中，需根据适航要求，对设计过程中的需求条目化并进行自顶向下的追踪，以确保顶层需求在设计中被真正实现，在系统开发的过程中，数量庞大的需求，及其链接关系的检查会耗费开发人员大量时间和精力。需要开发一种可以识别开发与验证过程中的需求检索检查的工具，来辅助开发与验证人员提高工作效率，减少错误发生的可能性。本专利技术立足于民机飞控系统开发与验证过程中对需求追踪检查的需要，利用python作为工具，从飞控系统设计文档与模型中找到需求标识号，并通过追溯关系，确认需求追踪的合理性，同时此方法也为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利。对于民机飞控系统的需求追踪检索方法，目前国内尚无已发布的专门的解决方案。
技术实现思路
本专利技术的目的是：提出一种民机飞控系统需求追踪性检查的方法，以便于在民机飞控系统研发过程中对追踪性的检查。本专利技术的技术方案：一种民机飞控系统需求追踪性检查的方法，步骤1：利用特定民机飞控系统中的需本文档来自技高网...

【技术保护点】
1.一种民机飞控系统需求追踪性检查的方法，其特征在于：包括以下步骤；步骤一：利用民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；步骤二：以正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；步骤三：将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪。

【技术特征摘要】
1.一种民机飞控系统需求追踪性检查的方法，其特征在于：包括以下步骤；步骤一：利用民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；步骤二：以正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；步骤三：将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪。2.根据权利要求1所述的一种民机飞控系统需求追踪性检查的方法，其特征在于：所述链接比对的方法为：检查每一个软件级需求标识号是否有源...

【专利技术属性】
技术研发人员：卫黎明，倪晓彬，刘宏明，
申请(专利权)人：中国航空工业集团公司西安飞行自动控制研究所，
类型：发明
国别省市：陕西,61