-
公开(公告)号:CN112463614B
公开(公告)日:2023-07-14
申请号:CN202011392719.6
申请日:2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法,其中,包括:搭建嵌入式目标处理器指令集虚拟仿真环境;搭建嵌入式系统片上设备虚拟仿真环境;完成硬件板卡在宿主机上的适配安装,实现宿主机虚拟环境下对板卡的操作与控制;建立外部设备模拟环境与宿主机硬件板卡的物理连接,建立外部设备模拟环境与硬件板卡的通信链路;获取虚拟环境下对外部设备模拟环境消息,建立虚拟环境下的消息处理响应机制,将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境;处理虚拟环境下对外部设备模拟环境消息,建立虚拟环境下状态更新机制,将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
公开(公告)号:CN115421862A
公开(公告)日:2022-12-02
申请号:CN202211114546.0
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明通过对256条指令的仿真,提供51单片机嵌入式处理器软件的运行环境,为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现51单片机处理器的指令集仿真,仿真精度高,仿真执行效率高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真51单片机处理器。
-
公开(公告)号:CN113221318B
公开(公告)日:2022-09-30
申请号:CN202110338637.1
申请日:2021-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于DDS的系统级仿真测试环境构建方法,其中,包括:构建指令集仿真模型,结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型;采用插件方式构建基于可配置通信协议的通信协议模拟器模型,根据测试需要选择功能组件;定义虚拟目标机和通信协议模拟器间的通信数据对象,根据DDS的数据规范进行封装,绑定数据写入者和数据读取者,进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖;基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器,建立通信连接,将虚拟目标机和通信协议模拟器与主题绑定,设置通信方式进行数据交换;进行虚拟目标机与通信协议模拟器多节点时间同步;进行系统特征状态采集与分析。
-
公开(公告)号:CN113221318A
公开(公告)日:2021-08-06
申请号:CN202110338637.1
申请日:2021-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于DDS的系统级仿真测试环境构建方法,其中,包括:构建指令集仿真模型,结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型;采用插件方式构建基于可配置通信协议的通信协议模拟器模型,根据测试需要选择功能组件;定义虚拟目标机和通信协议模拟器间的通信数据对象,根据DDS的数据规范进行封装,绑定数据写入者和数据读取者,进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖;基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器,建立通信连接,将虚拟目标机和通信协议模拟器与主题绑定,设置通信方式进行数据交换;进行虚拟目标机与通信协议模拟器多节点时间同步;进行系统特征状态采集与分析。
-
公开(公告)号:CN111813670A
公开(公告)日:2020-10-23
申请号:CN202010635114.9
申请日:2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法,其中,包括:建立嵌入式软件虚拟化仿真运行环境;循环读取源码并通过分析去除源码中的注释部分,并解析源文件分支信息和逻辑表达式信息;获取逻辑表达式的目标码信息;仿真运行,读取指令、翻译指令以及执行当前指令,记录MC/DC覆盖率,并将覆盖率信息以特定的格式写入到指定路径的文件中;进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境,分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息,在此基础上获取逻辑表达式对应的目标码信息,并在仿真运行过程中获取MC/DC覆盖率信息,能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
公开(公告)号:CN119829020A
公开(公告)日:2025-04-15
申请号:CN202411688479.2
申请日:2024-11-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于容器化技术的图形化集成开发环境设计方法,属于软件开发领域。本发明通过容器化技术将开发工具及其相关依赖封装,确保开发环境的标准化、隔离性和可移植性,避免传统开发环境中的配置错误和版本冲突;利用X11协议将容器内的图形界面显示到宿主机屏幕上,确保开发工具与本地开发环境的使用体验一致;通过挂载技术实现宿主机与容器之间的文件无缝同步,避免手动复制和同步代码的麻烦;容器的启动、停止和重启操作简便,开发人员可灵活管理开发环境,并确保开发文件的持久性。本发明能有效提高开发人员在容器化环境中的工作效率。
-
公开(公告)号: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指令集模拟器的虚拟化调试系统,实现了源码、目标码的调试功能,提供了软件调试手段,提升了嵌入式软件研发效率,保障了软件质量。
-
公开(公告)号: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处理器。
-
-
-
-
-
-
-
-
-