-
公开(公告)号：CN115421861B
公开(公告)日：2023-10-31
申请号：CN202211114539.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C55x处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等处理器，解决TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等系列处理器的虚拟化仿真问题。TMS320C55X指令架构共计包含154条指令集，通过对154条指令集的仿真，提供TMS320C55X处理器嵌入式处理器软件的运行环境，为TMS320C55X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C55X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C55X指令架构处理器。
-
公开(公告)号：CN116414430B
公开(公告)日：2023-09-26
申请号：CN202310404013.4
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于规则引擎Drools的量化方法，属于面向软件研制过程中的量化管理领域。本发明首先执行基础平台的持续集成业务，依据Drools定义的采集指标收集持续集成各个环节产生的业务数据；其次采集接口运行规则文件，根据规则内容计算产生数据结果；最后业务数据的累计作为量化分析管理的基础，量化过程中可随数据的积累而不断迭代更新，以便高质量地实现质量与过程绩效目标。本发明通过Drools解决了业务维护困难，迭代成本高的问题。相比于其他量化方法，该发明更加灵活高效，同时具备高质量的过程管理方式，针对过程绩效目标地实现具备良好的管控方法。
-
Patent Agency Ranking
公开(公告)号：CN116467211A
公开(公告)日：2023-07-21
申请号：CN202310461935.9
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法，属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟，实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖，可在实验室环境中开展有效的系统级测试验证，从而降低了测试成本并提高了测试的充分性。
-
公开(公告)号：CN116414442A
公开(公告)日：2023-07-11
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：CN114995831A
公开(公告)日：2022-09-02
申请号：CN202210639305.1
申请日：2022-06-07
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/52
Abstract: 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。
-
公开(公告)号：CN109359047B
公开(公告)日：2021-05-14
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
公开(公告)号：CN109359047A
公开(公告)日：2019-02-19
申请号：CN201811270209.4
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。
-
-
-
-
-
-
Search Results
57
records
(took 0.046 seconds)
