一种民机飞控系统需求追踪性的检查方法
授权
摘要

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

基本信息
专利标题 :
一种民机飞控系统需求追踪性的检查方法
专利标题(英):
暂无
公开(公告)号 :
CN109582576A
申请号 :
CN201811440117.6
公开(公告)日 :
2019-04-05
申请日 :
2018-11-28
授权号 :
CN109582576B
授权日 :
2022-04-19
发明人 :
卫黎明倪晓彬刘宏明
申请人 :
中国航空工业集团公司西安飞行自动控制研究所
申请人地址 :
陕西省西安市雁塔区锦业路129号
代理机构 :
中国航空专利中心
代理人 :
杜永保
优先权 :
CN201811440117.6
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-04-19 :
授权
2019-04-30 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20181128
2019-04-05 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332