公开(公告)号：CN115480871B

公开(公告)日：2023-04-28

申请号：CN202211114544.1

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  刘美佳 ,  李雅斯 ,  冯大成 ,  勉斌 ,  邵飒 ,  付修锋 ,  安顺 ,  耿宏伟 ,  孔祥炳

IPC: G06F9/455

Abstract: 本发明涉及一种通用的TMS320C3X处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C31、TMS320VC33等处理器，解决TMS320C31、TMS320VC33等处理器的虚拟化仿真问题。TMS320C3X指令架构共计包含128条指令集，通过对128条指令集的仿真，提供TMS320C3X处理器嵌入式处理器软件的运行环境，为TMS320C3X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C3X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C3X指令架构处理器。

公开(公告)号：CN115421865B

公开(公告)日：2023-04-28

申请号：CN202211114627.0

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  邵飒 ,  安恒 ,  张建伟 ,  孔祥炳 ,  金玉川 ,  李雅斯 ,  安顺 ,  刘美佳

IPC: G06F9/455

Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。

公开(公告)号：CN115421865A

公开(公告)日：2022-12-02

申请号：CN202211114627.0

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  邵飒 ,  安恒 ,  张建伟 ,  孔祥炳 ,  金玉川 ,  李雅斯 ,  安顺 ,  刘美佳

IPC: G06F9/455

Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。

公开(公告)号：CN116467211A

公开(公告)日：2023-07-21

申请号：CN202310461935.9

申请日：2023-04-26

Applicant: 北京计算机技术及应用研究所

Inventor： 孔祥炳 ,  刘美佳 ,  张建伟 ,  安恒 ,  冯大成 ,  金玉川 ,  金政宇 ,  安顺 ,  张洪源 ,  贾张涛

IPC: G06F11/36

Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法，属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟，实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖，可在实验室环境中开展有效的系统级测试验证，从而降低了测试成本并提高了测试的充分性。

公开(公告)号：CN116431103A

公开(公告)日：2023-07-14

申请号：CN202310462913.4

申请日：2023-04-26

Applicant: 北京计算机技术及应用研究所

Inventor： 孔祥炳 ,  金政宇 ,  张洪源 ,  张本亭 ,  安恒 ,  冯大成 ,  金玉川 ,  安顺 ,  刘美佳 ,  贾张涛 ,  李雅斯

IPC: G06F8/10 ,  G06F8/20 ,  G06F8/41 ,  G06F8/60 ,  G06F11/36

Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法，属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术，采用数字化仿真技术对嵌入式软件的硬件环境进行仿真，包括处理器、外设、总线等；其次，基于数字化仿真平台实现嵌入式软件开发和测试，包括代码迭代开发、单元测试、配置项测试、运行监测等；最后，构建嵌入式DevOps工作流，将数字化仿真环境作为基础设施集成到DevOps的工具链条中，实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率，保证了软件质量，降低了研制成本和周期。

公开(公告)号：CN115421862A

公开(公告)日：2022-12-02

申请号：CN202211114546.0

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  勉斌 ,  安恒 ,  李雅斯 ,  刘美佳 ,  孔祥炳 ,  金玉川 ,  安顺

IPC: G06F9/455

Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。