-
公开(公告)号：CN109359047B
公开(公告)日：2021-05-14
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
公开(公告)号：CN111813670A
公开(公告)日：2020-10-23
申请号：CN202010635114.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
公开(公告)号：CN109491709A
公开(公告)日：2019-03-19
申请号：CN201811270187.1
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AHP与神经网络的软件代码可控度综合评价方法，涉及软件代码可控度评价技术领域。本发明给出了合理的软件代码可控性度量模型，并提出了用层次分析法获取权重作为神经网络输入的软件代码可控性综合评价模型，解决了复杂系统建模时,由于影响因素过多,把它们都作为神经网络的输入,会增加网络的复杂度,降低网络性能,影响计算准确度的问题。工程实例应用的结果表明，本发明针对复杂软件代码，采用层次分析和神经网络相结合的可控度评价结果是可信的、有效的。
-
公开(公告)号：CN109359047A
公开(公告)日：2019-02-19
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
公开(公告)号：CN119127219A
公开(公告)日：2024-12-13
申请号：CN202411284008.5
申请日：2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种二进制应用程序兼容运行方法及装置，属于二进制翻译技术领域。本发明的装置包括：源平台二进制应用程序预处理模块、翻译模块、优化模块和目标平台二进制应用程序编译运行模块。源平台二进制应用程序预处理模块，用于对源平台二进制应用程序进行加载和解析；翻译模块，用于对解析后的二进制应用程序进行解码和翻译操作；优化模块，用于优化翻译和运行过程；目标平台二进制应用程序编译运行模块，用于编译运行翻译后的符合目标平台指令集架构的二进制应用程序。本发明的装置运行在目标平台上，能够实现源平台的二进制应用程序兼容运行，并通过多线程和进程上下文切换优化提高二进制应用程序兼容运行效率。
-
Patent Agency Ranking
公开(公告)号：CN116662157B
公开(公告)日：2024-02-02
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN116414442B
公开(公告)日：2023-12-22
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：CN116126304B
公开(公告)日：2023-12-22
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：CN116150005B
公开(公告)日：2023-11-28
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。(56)对比文件美剧之神.JKind入门（一）简单介绍和使用.https://blog.csdn.net/M1170780140/article/details/129831841.2023,全文.
-
公开(公告)号：CN115421862B
公开(公告)日：2023-09-26
申请号：CN202211114546.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。
-
-
-
-
-
-
-
-
-
Search Results
61
records
(took 0.046 seconds)
