-
公开(公告)号：CN114328265B
公开(公告)日：2024-08-06
申请号：CN202210008623.8
申请日：2022-01-05
申请人： 北京京航计算通讯研究所
摘要： 本发明涉及一种软件安全性分析方法及系统，属于软件开发和测试技术领域，解决了现有技术中软件安全性分析方法分析结果准确率低、可靠性差的问题。该方法包括：建立软件失效数据知识库；基于所述软件失效数据知识库，根据目标软件的需求文档和/或软件系统关键词为所述目标软件匹配相应的软件失效模式，根据所述软件失效模式更新所述目标软件的需求文档。该方法提高了软件安全性分析的效率和质量，进而减低软件质量风险。
-
公开(公告)号：CN114490396B
公开(公告)日：2023-05-05
申请号：CN202210103297.9
申请日：2022-01-27
申请人： 北京京航计算通讯研究所
IPC分类号： G06F11/36 , G06F8/10 , G06F40/194 , G06F40/216 , G06F40/289
摘要： 本发明涉及一种软件测试需求挖掘方法和系统，包括以下步骤：获取不同类型软件的故障描述信息，基于所述故障描述信息采用基于均值漂移聚类的故障树分析法建立软件故障模式知识库，所述软件故障模式知识库包括软件类型、软件功能、故障模式和测试点；根据待测软件的软件类型和软件功能，在软件故障模式知识库中查找与待测软件功能对应的故障模式和测试点，对于每个与待测软件功能对应的测试点，采用相似度匹配算法判断所述测试点是否存在于待测软件功能的测试需求文本中，若不存在，则将该测试点及对应的故障模式推送给测试人员。
-
公开(公告)号：CN108153669A
公开(公告)日：2018-06-12
申请号：CN201711225458.7
申请日：2017-11-29
申请人： 北京京航计算通讯研究所
发明人： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3676 , G06F11/3688
摘要： 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。
-
公开(公告)号：CN108121657A
公开(公告)日：2018-06-05
申请号：CN201711224669.9
申请日：2017-11-29
申请人： 北京京航计算通讯研究所
发明人： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC分类号： G06F11/36
摘要： 本发明属于FPGA软件仿真测试技术领域，具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较，本发明通过实施上述技术方案，较好的解决了现有FPGA仿真测试中，需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层，上层模型对其进行调用和参数化配置，解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。
-
公开(公告)号：CN106886487A
公开(公告)日：2017-06-23
申请号：CN201510940269.2
申请日：2015-12-15
申请人： 北京京航计算通讯研究所
发明人： 姚可成 , 刘伟 , 孟伟 , 朱琳 , 杨楠 , 张哲 , 李卓 , 李丽华 , 张清 , 张国宇 , 宋悦 , 张玉 , 程海龙 , 李思 , 韩旭东 , 孙文靖 , 杨春霞 , 申璐 , 张磊 , 刘妍 , 李慧君 , 李晓伟
CPC分类号： G06F11/3692 , G06N3/02
摘要： 本发明实施例公开了一种用于评价FPGA软件可靠性的方法，涉及FPGA软件可靠性评价技术，能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据；FPGA软件可靠性度量模型与BP神经网络结合，利用所述训练样本数据对神经网络进行训练，提取FPGA软件可靠性度量元，并确定该FPGA软件中每个度量元的值，输出可靠性评价结果，主要用于FPGA软件可靠性评价。
-
公开(公告)号：CN114906349B
公开(公告)日：2024-07-09
申请号：CN202210744126.4
申请日：2022-06-28
申请人： 北京京航计算通讯研究所
IPC分类号： B64F5/60
摘要： 本发明涉及一种高机动飞机升降舵效率损失故障的自适应容错控制方法，属于飞行控制技术领域，解决了现有技术中针对高机动飞机升降舵效率损失故障的容错控制存在的故障信息估计不准确、容错控制适应性和可靠性差等问题。通过开展真实的无故障飞行试验和故障注入飞行试验，产生升降舵的舵面效率损失故障，采用俯仰角速率通道检测观测器和设定的俯仰角速率残差阈值进行故障检测和定位，利用改进后的自适应故障估计器进行故障估计，获得修正后的舵面效率损失故障估计值，进一步获得自适应容错控制器，并利用所述自适应容错控制器对舵面效率损失故障进行容错控制修复。实现了针对高机动飞机升降舵效率损失故障的自适应容错控制。
-
公开(公告)号：CN114779743B
公开(公告)日：2024-05-28
申请号：CN202210465013.0
申请日：2022-04-29
申请人： 北京京航计算通讯研究所
IPC分类号： G05B23/02
摘要： 本发明涉及一种随机姿态高超声速飞行器的舵面微小故障容错控制方法，属于飞行控制技术领域，解决了现有技术中故障修复成本高、针对随机姿态高超声速飞行器的容错控制适应性和可靠性差、容错控制效果难评估等问题。通过开展随机姿态高超声速飞行试验，对所述随机姿态高超声速飞行器的控制系统模型施加微小故障和干扰，获得随机姿态角的实际PDF；采用模糊观测器对施加所述微小故障和干扰后的舵面进行故障观测以得到故障估计值；获得所述随机姿态角的期望PDF；基于所述故障估计值以及容错控制算法，利用所述随机姿态角的实际PDF和期望PDF得到自适应容错控制器，进行舵面故障的容错控制修复。实现了针对随机姿态高超声速飞行器早期微小故障的容错控制。
-
公开(公告)号：CN114327586B
公开(公告)日：2023-12-22
申请号：CN202210008242.X
申请日：2022-01-05
申请人： 北京京航计算通讯研究所
IPC分类号： G06F8/70
摘要： 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试技术领域，解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：根据军用软件质量准标中多个维度的评价指标建立质量度量模型；根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的非嵌入式质量度量模型；从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
公开(公告)号：CN114906349A
公开(公告)日：2022-08-16
申请号：CN202210744126.4
申请日：2022-06-28
申请人： 北京京航计算通讯研究所
IPC分类号： B64F5/60
摘要： 本发明涉及一种高机动飞机升降舵效率损失故障的自适应容错控制方法，属于飞行控制技术领域，解决了现有技术中针对高机动飞机升降舵效率损失故障的容错控制存在的故障信息估计不准确、容错控制适应性和可靠性差等问题。通过开展真实的无故障飞行试验和故障注入飞行试验，产生升降舵的舵面效率损失故障，采用俯仰角速率通道检测观测器和设定的俯仰角速率残差阈值进行故障检测和定位，利用改进后的自适应故障估计器进行故障估计，获得修正后的舵面效率损失故障估计值，进一步获得自适应容错控制器，并利用所述自适应容错控制器对舵面效率损失故障进行容错控制修复。实现了针对高机动飞机升降舵效率损失故障的自适应容错控制。
-
公开(公告)号：CN114327586A
公开(公告)日：2022-04-12
申请号：CN202210008242.X
申请日：2022-01-05
申请人： 北京京航计算通讯研究所
IPC分类号： G06F8/70
摘要： 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试技术领域，解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：根据军用软件质量准标中多个维度的评价指标建立质量度量模型；根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的非嵌入式质量度量模型；从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
-
-
-
-
-
-
-
-
搜索结果
34 条记录 (耗时 0.033 秒)
