公开(公告)号：CN112416766B

公开(公告)日：2021-06-22

申请号：CN202011305647.7

申请日：2020-11-19

Applicant: 北京京航计算通讯研究所

Inventor： 吕俊巧 ,  洪楠 ,  马少辉 ,  王莹 ,  于铁军 ,  韩壮 ,  姚奇森

IPC: G06F11/36

Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。

公开(公告)号：CN111008139A

公开(公告)日：2020-04-14

申请号：CN201911243227.8

申请日：2019-12-06

Applicant: 北京京航计算通讯研究所

Inventor： 邹丽 ,  孙文靖 ,  刘晓兰 ,  申璐 ,  刘昕照 ,  杨硕 ,  马少辉 ,  罗淑琼 ,  韩壮 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件回归测试技术领域，具体涉及一种软件更改影响域分析辅助方法。所述方法基于软件更改影响域分析辅助系统来实施，所述软件更改影响域分析辅助系统包括：软件更改影响域分析模块、影响域分析报告生成模块；所述方法包括：所述软件更改影响域分析模块分析软件更改影响域；所述影响域分析报告生成模块解析软件更改影响域的分析结果，并生成影响域分析报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高软件更改影响域分析准确度，提升软件测试效率，降低测试成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本发明提供的针对软件更改影响分析可以为自动化测试提供指导。

公开(公告)号：CN112416766A

公开(公告)日：2021-02-26

申请号：CN202011305647.7

申请日：2020-11-19

Applicant: 北京京航计算通讯研究所

Inventor： 吕俊巧 ,  洪楠 ,  马少辉 ,  王莹 ,  于铁军 ,  韩壮 ,  姚奇森

IPC: G06F11/36

Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。

公开(公告)号：CN112462739B

公开(公告)日：2021-06-29

申请号：CN202011301998.0

申请日：2020-11-19

Applicant: 北京京航计算通讯研究所

Inventor： 吕俊巧 ,  洪楠 ,  马少辉 ,  王莹 ,  于铁军 ,  韩壮 ,  姚奇森

IPC: G05B23/02

Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。

公开(公告)号：CN112462739A

公开(公告)日：2021-03-09

申请号：CN202011301998.0

申请日：2020-11-19

Applicant: 北京京航计算通讯研究所

Inventor： 吕俊巧 ,  洪楠 ,  马少辉 ,  王莹 ,  于铁军 ,  韩壮 ,  姚奇森

IPC: G05B23/02

Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。

公开(公告)号：CN109388574A

公开(公告)日：2019-02-26

申请号：CN201811265791.5

申请日：2018-10-29

Applicant: 北京京航计算通讯研究所

Inventor： 张磊 ,  孙文靖 ,  马少辉 ,  杨硕 ,  刘昕照 ,  于铁军 ,  杨春霞 ,  侯艳钗 ,  谷妤嫔 ,  邹丽 ,  罗淑琼 ,  曾丽婷 ,  韩壮 ,  南亚茹 ,  肖笑笑 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助系统，包括：静态分析结果提取模块，用于提取静态分析工具的静态分析测试结果；静态分析结果整理模块，用于解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块，用于将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。