-
公开(公告)号：CN112416766A
公开(公告)日：2021-02-26
申请号：CN202011305647.7
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN108153669A
公开(公告)日：2018-06-12
申请号：CN201711225458.7
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3676 , G06F11/3688
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。
-
公开(公告)号：CN108121657A
公开(公告)日：2018-06-05
申请号：CN201711224669.9
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较，本发明通过实施上述技术方案，较好的解决了现有FPGA仿真测试中，需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层，上层模型对其进行调用和参数化配置，解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。
-
公开(公告)号：CN112463641B
公开(公告)日：2021-08-31
申请号：CN202011487500.4
申请日：2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统；其中方法包括如下步骤：对软件系统的各配置项软件进行分类，以确定各配置软件的类型；根据各类型的各配置项软件的执行任务方式，得到各配置项软件的功能模式；获取与软件系统相关的软件的历史缺陷数据，经过数据处理后，建立故障数据集合；结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式，形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷，可有效解决状态爆炸的问题，达到优化测试资源分配和提高软件产品质量的目的。
-
Patent Agency Ranking
公开(公告)号：CN112416766B
公开(公告)日：2021-06-22
申请号：CN202011305647.7
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN112462739B
公开(公告)日：2021-06-29
申请号：CN202011301998.0
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN112462739A
公开(公告)日：2021-03-09
申请号：CN202011301998.0
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN108153669B
公开(公告)日：2021-01-08
申请号：CN201711225458.7
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。
-
公开(公告)号：CN111124897A
公开(公告)日：2020-05-08
申请号：CN201911244969.2
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法，属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤：步骤1：获取接口协议、时序及功能描述；步骤2：提取可扩展参数；步骤3：构建参数控制体；步骤4：实体描述；步骤5组合封装。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.042 seconds)
