-
公开(公告)号:CN116450153A
公开(公告)日:2023-07-18
申请号:CN202310461867.6
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法,属于容器化仿真平台设计领域。本发明采用命令行模式,基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等,构建DSP仿真环境容器;其次,将容器层保存成镜像文件,创建DSP仿真环境镜像包,构建完整的运行环境镜像;再次,基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包,建立运行环境与执行命令的调用关系;然后,将DSP仿真平台镜像包推送到远程云镜像仓库中,方便镜像管理与使用;最后,从远程镜像仓库中拉取仿真平台镜像,进行仿真平台部署运行,实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程,进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号:CN115421863B
公开(公告)日:2023-04-28
申请号:CN202211114547.5
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真,提供MIPS处理器嵌入式处理器软件的运行环境,为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
公开(公告)号:CN106326107A
公开(公告)日:2017-01-11
申请号:CN201610602254.X
申请日:2016-07-27
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3664 , G06F11/3688 , G06F11/3692
Abstract: 本发明公开了一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法,包括:搭建嵌入式软件仿真运行环境;设计异常处理验证测试用例,执行异常处理测试用例,采集嵌入式软件异常信息以及对采集的嵌入式软件异常信息进行分析与验证。
-
公开(公告)号:CN119148994A
公开(公告)日:2024-12-17
申请号:CN202411251561.9
申请日:2024-09-08
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种通用的外围设备功能行为级建模与仿真方法,属于设备建模与仿真领域。本发明首先针对外围设备特点,定义一种设备描述文件*.vdl,描述外围设备通用信息;其次,对外围设备进行行为级建模,包括寄存器、IO接口等内容;然后,对设备模型功能进行完善,完成寄存器读写,数据收发、设备初始化等功能仿真,将设备模型描述文件翻译成设备C代码;最后,进行设备功能模型一致性检查,通过检查后,将C代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法,建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确,形成了一种通用、高效的外围设备建模与仿真方法,提高了外围设备的仿真效率。
-
公开(公告)号:CN116909894A
公开(公告)日:2023-10-20
申请号:CN202310849949.8
申请日:2023-07-12
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63919部队 , 中国人民解放军63921部队
Abstract: 本发明涉及一种虚实融合的混合动态测试平台设计方法,属于虚实融合领域。本发明的硬件测试平台实现了测试流程编排、激励数据模拟、数据结果解析等目标机外围功能,提供了丰富的测试用例;数字化测试平台实现了虚拟目标机、虚拟化调试、覆盖率统计分析等功能,替代了物理目标机,提供了目标码测试手段。数字化测试平台通过1553B总线板卡和1553B总线耦合器与硬件测试平台下位机通信,通过高速网络访问硬件测试平台上位机,打通了硬件测试平台与数字化测试平台的数据隔离,形成了闭环测试环境,大幅度提高了测试效率和充分性。
-
公开(公告)号:CN116662157A
公开(公告)日:2023-08-29
申请号:CN202310461827.1
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法,属于嵌入式软件测试领域。本发明首先实现调试器服务端设计,将调试器服务端与指令集模拟器进行集成适配,完成指令集模拟器的访存和执行控制;其次,实现客户端设计,在BFD中添加对TMS320 C28X的支持,实现寄存器列表,堆栈结构等内容,完成目标文件的加载解析和源代码分析;最后,通过远程访问的方式,实现客户端与服务端的通信,实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统,实现了源码、目标码的调试功能,提供了软件调试手段,提升了嵌入式软件研发效率,保障了软件质量。
-
公开(公告)号:CN116431518A
公开(公告)日:2023-07-14
申请号:CN202310461957.5
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法,属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果,仿真平台具有可控性强的特点,故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建,包括处理器、外设、总线等模型;其次,构建故障注入案例库,包括处理器平台级、接口设备级、通信协议级等层级,统一进行故障案例设计和管理;然后,配置故障注入参数,执行故障注入,包括基于时间、基于PC、基于地址等注入方式;最后,采集故障案例注入后的执行信息,生成代码覆盖率报告。本发明提高嵌入式软件测试充分性,保障软件质量和可靠性。
-
公开(公告)号:CN115480872B
公开(公告)日:2023-04-28
申请号:CN202211114551.1
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本本发明通过对123条指令集的仿真,提供DSP C2812嵌入式处理器软件的运行环境,为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现DSP C2812处理器的指令集仿真,仿真精度高,仿真执行效率高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真DSP C2812处理器。
-
公开(公告)号:CN115421864B
公开(公告)日:2023-04-28
申请号:CN202211114604.X
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的PowerPC架构处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明针对飞思卡尔(FreeScale)基于Power Architecture的32位微处理器核心e300、e500、e600,设计一种通用的处理器仿真框架,同时支持多种架构处理器的仿真运行。提供PowerPC处理器嵌入式处理器软件的运行环境,为PowerPC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现PowerPC指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真PowerPC指令架构处理器。
-
公开(公告)号: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指令架构处理器。
-
-
-
-
-
-
-
-
-