-
公开(公告)号:CN104461896B
公开(公告)日:2017-05-10
申请号:CN201410795028.9
申请日:2014-12-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 基于可信属性的航天系统关键软件评价方法,本方法通过建立不同层次、不同阶段的软件可信属性度量五边形,实现对软件可信属性的度量,然后由度量五边形构建度量驱动链,度量驱动链构建度量雷达图,度量雷达图综合反映了软件的可信程度,最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积,评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础,为全面度量航天软件的可信性提供了一种参考方法,可以作为软件能否使用于航天关键系统中的评价方法。
-
公开(公告)号:CN107589960B
公开(公告)日:2020-07-24
申请号:CN201710761786.2
申请日:2017-08-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/38
Abstract: 本发明公开了一种基于寄存器访问冲突检测的DSP指令模拟方法,在识别出不符合顺序特征的指令之后,可以通过周期模式进行该类指令模拟,确保指令模拟的正确性;对于符合顺序特征的指令,可以省略对指令执行时流水线特征的模拟,在快速模式下利用现有技术快速模拟指令;这种通过对指令寄存器访问冲突的检测,在不同模式下分别对指令进行模拟,可以兼顾指令模拟的效率和正确性。
-
公开(公告)号:CN104820636B
公开(公告)日:2017-11-07
申请号:CN201510163174.4
申请日:2015-04-09
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种并行的基于蚁群算法的测试用例序列生成方法,首先确定了影响测试用例优先级的因素,然后利用蚁群优化算法分析测试用例的优先级,接着将设计的算法进行多核并行处理,最后对测试用例优先级分析结果进行评价,得到最优测试用例序列。本发明方法将测试用例可以发现的缺陷数量、测试用例的执行时间和测试用例发现的缺陷的严重性作为信息素更新规则和测试用例节点选择规则的参数,与现有技术相比,可以在回归测试过程更快的检测出比较重要的缺陷,而且实现简单,便于操作,适用于回归测试中的大规模测试用例的优先级排序,提高了回归测试过程的有效性和快速性。
-
公开(公告)号:CN105022864A
公开(公告)日:2015-11-04
申请号:CN201510373452.9
申请日:2015-06-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F17/50
Abstract: 一种基于扩展依赖矩阵的系统测试点选取方法,首先根据测试点能够检测到的故障模式,获取扩展依赖矩阵Dx;然后按顺序分别获取模糊测试点对集、隐藏测试点对集和等效测试点对集,并得到最简测试点集合,最后根据故障隔离贡献率、最简测试点集合得到最高检测率的最终测试点集合,完成综合测试点推荐。本发明方法与现有技术相比,克服了现有技术对所有测试点未加分类处理、统一低效处理的缺陷,指导如何添加测试点,在保证故障覆盖率的同时,精简了最终测试点集合。
-
公开(公告)号:CN108563467A
公开(公告)日:2018-09-21
申请号:CN201810247274.9
申请日:2018-03-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F8/41 , G06F21/57
Abstract: 一种符合安全保密的带触摸屏PAD及实现方法,首先制作符合安全保密要求的PAD硬件,然后将PAD的操作系统修正为Win7系统,并注入USB3.0和WIN NVMe驱动程序,安装杀毒软件、保密三合一软件,最后编译并安装PAD触摸屏驱动程序,完成符合安全保密的带触摸屏的PAD。本发明方法实现得到的安全保密PAD与现有技术相比,可应用在涉密场所会议、评审等,实现无纸化办公,避免了大量涉密材料打印,规避了涉密文件销毁过程中的操作失误导致的泄密问题,便于涉密资料的管理。
-
公开(公告)号:CN105022864B
公开(公告)日:2018-03-09
申请号:CN201510373452.9
申请日:2015-06-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F17/50
Abstract: 一种基于扩展依赖矩阵的系统测试点选取方法,首先根据测试点能够检测到的故障模式,获取扩展依赖矩阵Dx;然后按顺序分别获取模糊测试点对集、隐藏测试点对集和等效测试点对集,并得到最简测试点集合,最后根据故障隔离贡献率、最简测试点集合得到最高检测率的最终测试点集合,完成综合测试点推荐。本发明方法与现有技术相比,克服了现有技术对所有测试点未加分类处理、统一低效处理的缺陷,指导如何添加测试点,在保证故障覆盖率的同时,精简了最终测试点集合。
-
公开(公告)号:CN107589960A
公开(公告)日:2018-01-16
申请号:CN201710761786.2
申请日:2017-08-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/38
Abstract: 本发明公开了一种基于寄存器访问冲突检测的DSP指令模拟方法,在识别出不符合顺序特征的指令之后,可以通过周期模式进行该类指令模拟,确保指令模拟的正确性;对于符合顺序特征的指令,可以省略对指令执行时流水线特征的模拟,在快速模式下利用现有技术快速模拟指令;这种通过对指令寄存器访问冲突的检测,在不同模式下分别对指令进行模拟,可以兼顾指令模拟的效率和正确性。
-
公开(公告)号:CN108563467B
公开(公告)日:2021-12-07
申请号:CN201810247274.9
申请日:2018-03-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F8/41 , G06F21/57
Abstract: 一种符合安全保密的带触摸屏PAD及实现方法,首先制作符合安全保密要求的PAD硬件,然后将PAD的操作系统修正为Win7系统,并注入USB3.0和WIN NVMe驱动程序,安装杀毒软件、保密三合一软件,最后编译并安装PAD触摸屏驱动程序,完成符合安全保密的带触摸屏的PAD。本发明方法实现得到的安全保密PAD与现有技术相比,可应用在涉密场所会议、评审等,实现无纸化办公,避免了大量涉密材料打印,规避了涉密文件销毁过程中的操作失误导致的泄密问题,便于涉密资料的管理。
-
公开(公告)号:CN109814931A
公开(公告)日:2019-05-28
申请号:CN201811625201.5
申请日:2018-12-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F13/40
Abstract: 本发明公开了一种基于通用USB接口的多台电脑一键开机系统,MCU控制模块连接在每台电脑主板上,总电源开关模块将220V交流电转换为5V2A的直流电,并将电流传递给电源控制模块,电源控制模块通过USB供电线将电流同步传给每台电脑的MCU控制模块,MCU控制模块对每台电脑的开机状态进行判断,若未开机,则MCU控制模块将5V电压转变为3.5V-5V的电压,与电脑主板自带的2.8V电源形成大于0.7V的电压差,激活电脑主板上的开关模块,进而激活电脑主板,进而唤醒电脑显示屏,实现多台电脑一键开机。本发明在充分满足军工保密要求,即电脑在非无线、蓝牙、红外设备直接或间接干涉下,实现了多台电脑一键开机。
-
公开(公告)号:CN104820636A
公开(公告)日:2015-08-05
申请号:CN201510163174.4
申请日:2015-04-09
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种并行的基于蚁群算法的测试用例序列生成方法,首先确定了影响测试用例优先级的因素,然后利用蚁群优化算法分析测试用例的优先级,接着将设计的算法进行多核并行处理,最后对测试用例优先级分析结果进行评价,得到最优测试用例序列。本发明方法将测试用例可以发现的缺陷数量、测试用例的执行时间和测试用例发现的缺陷的严重性作为信息素更新规则和测试用例节点选择规则的参数,与现有技术相比,可以在回归测试过程更快的检测出比较重要的缺陷,而且实现简单,便于操作,适用于回归测试中的大规模测试用例的优先级排序,提高了回归测试过程的有效性和快速性。
-
-
-
-
-
-
-
-
-