-
公开(公告)号：CN119003356A
公开(公告)日：2024-11-22
申请号：CN202411088185.6
申请日：2024-09-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于时序动态的软件缺陷模型的软件测试能力DEA评估方法，属于软件测试评估领域。本发明构建软件缺陷模型，包括：缺陷模式定义、缺陷模式分类、缺陷子模式分类和软件缺陷描述；选择将要采用的评价指标，确定三个检测阶段的权重系数，确定测评机构在三个检测阶段的测试能力的计算方法；将投入的测试人员数量、智能测试设备数量和测评机构规模作为输入，低、中和高三种缺陷作为输出，基于此建立DEA模型求解不同测评机构在三个阶段的DEA有效性结果；计算得出不同测评机构的总体软件测试能力。本发明能够提升软件测试能力。
-
公开(公告)号：CN115016843B
公开(公告)日：2024-03-26
申请号：CN202210566686.5
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
公开(公告)号：CN116450153A
公开(公告)日：2023-07-18
申请号：CN202310461867.6
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法，属于容器化仿真平台设计领域。本发明采用命令行模式，基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等，构建DSP仿真环境容器；其次，将容器层保存成镜像文件，创建DSP仿真环境镜像包，构建完整的运行环境镜像；再次，基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包，建立运行环境与执行命令的调用关系；然后，将DSP仿真平台镜像包推送到远程云镜像仓库中，方便镜像管理与使用；最后，从远程镜像仓库中拉取仿真平台镜像，进行仿真平台部署运行，实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号：CN113609024B
公开(公告)日：2023-07-14
申请号：CN202110941241.6
申请日：2021-08-17
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于反射技术的嵌入式软件闭环测试方法，涉及嵌入式软件闭环测试技术领域。该测试方法通过定义通信协议规约表达方式，进行通信协议规约配置，提出通信命令解析规约方法和通信数据响应模块动态加载调用方法，完成了测试过程中通信数据闭环响应。该测试方法可作为嵌入式软件仿真测试的基础支撑技术，能够提高嵌入式软件仿真测试的有效性、全面性、真实性。
-
公开(公告)号：CN115421863B
公开(公告)日：2023-04-28
申请号：CN202211114547.5
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真，提供MIPS处理器嵌入式处理器软件的运行环境，为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
Patent Agency Ranking
公开(公告)号：CN108647030B
公开(公告)日：2022-03-11
申请号：CN201810275497.6
申请日：2018-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。
-
公开(公告)号：CN107301128A
公开(公告)日：2017-10-27
申请号：CN201710486867.6
申请日：2017-06-23
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Petri网模型的系统仿真验证方法，属于系统工程建模技术领域。本发明提出一种模型转换机制，将难以直接通过模型检查器验证实现的、用半形式化的语言描述的SysML模型转换为一种易于验证的形式化语言描述模型，即Petri网模型，再对转换后的模型进行模型的仿真验证，提高了系统工程模型仿真效率。
-
公开(公告)号：CN119148994A
公开(公告)日：2024-12-17
申请号：CN202411251561.9
申请日：2024-09-08
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种通用的外围设备功能行为级建模与仿真方法，属于设备建模与仿真领域。本发明首先针对外围设备特点，定义一种设备描述文件*.vdl，描述外围设备通用信息；其次，对外围设备进行行为级建模，包括寄存器、IO接口等内容；然后，对设备模型功能进行完善，完成寄存器读写，数据收发、设备初始化等功能仿真，将设备模型描述文件翻译成设备C代码；最后，进行设备功能模型一致性检查，通过检查后，将C代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法，建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确，形成了一种通用、高效的外围设备建模与仿真方法，提高了外围设备的仿真效率。
-
公开(公告)号：CN116662157A
公开(公告)日：2023-08-29
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN115480871A
公开(公告)日：2022-12-16
申请号：CN202211114544.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C3X处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C31、TMS320VC33等处理器，解决TMS320C31、TMS320VC33等处理器的虚拟化仿真问题。TMS320C3X指令架构共计包含128条指令集，通过对128条指令集的仿真，提供TMS320C3X处理器嵌入式处理器软件的运行环境，为TMS320C3X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C3X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C3X指令架构处理器。
-
-
-
-
-
-
-
-
-
Search Results
59
records
(took 0.032 seconds)
