CN109582576B - 一种民机飞控系统需求追踪性的检查方法 - Google Patents

一种民机飞控系统需求追踪性的检查方法 Download PDF

Info

Publication number
CN109582576B
CN109582576B CN201811440117.6A CN201811440117A CN109582576B CN 109582576 B CN109582576 B CN 109582576B CN 201811440117 A CN201811440117 A CN 201811440117A CN 109582576 B CN109582576 B CN 109582576B
Authority
CN
China
Prior art keywords
control system
flight control
aircraft flight
civil aircraft
identification number
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201811440117.6A
Other languages
English (en)
Other versions
CN109582576A (zh
Inventor
卫黎明
倪晓彬
刘宏明
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Xian Flight Automatic Control Research Institute of AVIC
Original Assignee
Xian Flight Automatic Control Research Institute of AVIC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Xian Flight Automatic Control Research Institute of AVIC filed Critical Xian Flight Automatic Control Research Institute of AVIC
Priority to CN201811440117.6A priority Critical patent/CN109582576B/zh
Publication of CN109582576A publication Critical patent/CN109582576A/zh
Application granted granted Critical
Publication of CN109582576B publication Critical patent/CN109582576B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Machine Translation (AREA)
  • Stored Programmes (AREA)

Abstract

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

Description

一种民机飞控系统需求追踪性的检查方法
技术领域
本发明属于民机飞控系统检查技术领域，具体涉及一种民机飞控系统需求追踪性检查的方法。
背景技术
在民机飞控系统的设计开发过程中，需根据适航要求，对设计过程中的需求条目化并进行自顶向下的追踪，以确保顶层需求在设计中被真正实现，在系统开发的过程中，数量庞大的需求，及其链接关系的检查会耗费开发人员大量时间和精力。需要开发一种可以识别开发与验证过程中的需求检索检查的工具，来辅助开发与验证人员提高工作效率，减少错误发生的可能性。
本发明立足于民机飞控系统开发与验证过程中对需求追踪检查的需要，利用python作为工具，从飞控系统设计文档与模型中找到需求标识号，并通过追溯关系，确认需求追踪的合理性，同时此方法也为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利。
对于民机飞控系统的需求追踪检索方法，目前国内尚无已发布的专门的解决方案。
发明内容
本发明的目的是：提出一种民机飞控系统需求追踪性检查的方法，以便于在民机飞控系统研发过程中对追踪性的检查。
本发明的技术方案：一种民机飞控系统需求追踪性检查的方法，
步骤1：利用特定民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；
步骤2：将总结的正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；
步骤3：将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪。
所述链接比对的实现方法如下：检查每一个软件级需求标识号是否有源头，并且源头为已被检索出的系统级需求标识号，并在最终检查是否每一个系统级需求标识号都被追踪为源头过。
本发明的有益效果：本发明可以用于对民机飞控系统需求的追踪，也为开发与验证人员提供了迅速从设计文档和模型中提取需求标识号的便利，整个检查过程可以规避人工检查引入的错误。
具体实施方式
一种民机飞控系统需求追踪性检查的方法，包括以下步骤，步骤1：利用特定民机控制系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；
步骤2：将总结的正则表达语句作为输入，在python语言平台内进行软件编程设计；
步骤3：所述软件编程设计，包括简单的设计文档选择，对文档信息的读取，基于re库对读取的文档信息进行模糊检索，将检索结果输出为文本信息；
步骤4：得到的文本信息，即为文档中包含的需求标识号，将系统级，软件级需求进行连接比对，检查高等级需求是否都被低等级需求追踪。
在上述方法的基础上，进一步的，步骤2中软件编程设计是在python语言平台内进行，还可以采用其他编程语言实现。
在上述方法的基础上，在python语言平台内进行软件编程设计的实现方法如下:简单的设计文档选择，对文档信息的读取，基于re库对读取的文档信息进行模糊检索，将检索结果输出为文本信息。

Claims (2)

1.一种民机飞控系统需求追踪性检查的方法，其特征在于：包括以下步骤；
步骤一：利用民机飞控系统中的需求标识号规则，抽象成可以用正则表达式表达的正则语句；
步骤二：以正则语句作为输入，进行软件编程设计并将检索结果输出为文本信息；所述软件编程设计至少包括简单的设计文档选择，对文档信息的读取，基于re库对读取的文档信息进行模糊检索，将检索结果输出为文本信息；
步骤三：将文本信息中的需求标识号，按照系统级、软件级需求进行链接比对，检查高等级需求是否都被低等级需求追踪；
步骤三中，所述链接比对的方法为：检查每一个软件级需求标识号是否有源头，并且源头为已被检索出的系统级需求标识号，并在最终检查是否每一个系统级需求标识号都被追踪为源头过。
2.根据权利要求1所述的一种民机飞控系统需求追踪性检查的方法，其特征在于：步骤二中软件编程设计是在python语言平台内进行。
CN201811440117.6A 2018-11-28 2018-11-28 一种民机飞控系统需求追踪性的检查方法 Active CN109582576B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811440117.6A CN109582576B (zh) 2018-11-28 2018-11-28 一种民机飞控系统需求追踪性的检查方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811440117.6A CN109582576B (zh) 2018-11-28 2018-11-28 一种民机飞控系统需求追踪性的检查方法

Publications (2)

Publication Number Publication Date
CN109582576A CN109582576A (zh) 2019-04-05
CN109582576B true CN109582576B (zh) 2022-04-19

Family

ID=65925075

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811440117.6A Active CN109582576B (zh) 2018-11-28 2018-11-28 一种民机飞控系统需求追踪性的检查方法

Country Status (1)

Country Link
CN (1) CN109582576B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113467755B (zh) * 2021-07-12 2022-07-26 卡斯柯信号有限公司 需求符合性分析方法、系统、电子设备及存储介质

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2008124038A1 (en) * 2007-04-03 2008-10-16 Ldra Technology, Inc. Automated management of software requirements verification
DE102009011724A1 (de) * 2009-03-04 2010-09-09 Siemens Aktiengesellschaft Verfahren zum Erstellen von Anforderungsspezifikationen für Prozessleitsysteme der Kraftwerksleittechnik
US20130016875A1 (en) * 2011-07-12 2013-01-17 Naoufel Boulila Method, apparatus, and computer program product for generation of traceability matrices from video media

Also Published As

Publication number Publication date
CN109582576A (zh) 2019-04-05

Similar Documents

Publication Publication Date Title
US10372592B2 (en) Automatic pre-detection of potential coding issues and recommendation for resolution actions
CA2861469A1 (en) Method and apparatus to construct program for assisting in reviewing
CN110188345B (zh) 一种电力操作票的智能识别方法与装置
Luan et al. Improving word sense disambiguation with translations
Tiwari et al. An approach to identify use case scenarios from textual requirements specification
Zhang et al. Automated regulatory information extraction from building codes: Leveraging syntactic and semantic information
Liu et al. Automated classification of actions in bug reports of mobile apps
CN109582576B (zh) 一种民机飞控系统需求追踪性的检查方法
Li et al. Towards Minimal supervision BERT-based grammar error correction (Student Abstract)
Mukund et al. Using cross-lingual projections to generate semantic role labeled annotated corpus for urdu-a resource poor language
Ramaneswaran et al. TamilATIS: dataset for task-oriented dialog in Tamil
Alzetta et al. Dangerous relations in dependency treebanks
Yousef et al. Named entity annotation projection applied to classical languages
CN116861242A (zh) 基于语言判别提示的语言感知多语言预训练与微调方法
Salimzadeh et al. Exploring the Feasibility of Crowd-Powered Decomposition of Complex User Questions in Text-to-SQL Tasks
Masciolini et al. Towards automatically extracting morphosyntactical error patterns from L1-L2 parallel dependency treebanks
Mishra et al. ANN and Rule based model for English to Sanskrit Machine Translation
Martínez-Fernández et al. A preliminary approach to the automatic extraction of business rules from unrestricted text in the banking industry
Li et al. Word segmentation and morphological parsing for sanskrit
Nalluri et al. Statistical Machine Translation using Joshua: An approach to build “enTel” system
Azmat et al. Constructing Uyghur name entity recognition system using neural machine translation tag projection
Molfese et al. CroCoAlign: A Cross-Lingual, Context-Aware and Fully-Neural Sentence Alignment System for Long Texts
Alharbi Ambiguity Detection in Requirements Classification Task using Fine-Tuned Transformation Technique
Bajwa et al. On a chain of transformations for generating alloy from NL constraints
Javed et al. Ontology-based natural language processing for process compliance management

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant