公开(公告)号：CN115421864B

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

申请号：CN202211114604.X

申请日：2022-09-14

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

Inventor： 贾张涛 ,  孔祥炳 ,  付修锋 ,  安恒 ,  勉斌 ,  邵飒 ,  安顺 ,  李雅斯 ,  金政宇

IPC: G06F9/455

Abstract: 本发明涉及一种通用的PowerPC架构处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对飞思卡尔(FreeScale)基于Power Architecture的32位微处理器核心e300、e500、e600，设计一种通用的处理器仿真框架，同时支持多种架构处理器的仿真运行。提供PowerPC处理器嵌入式处理器软件的运行环境，为PowerPC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现PowerPC指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真PowerPC指令架构处理器。

公开(公告)号：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的工具链条中，实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率，保证了软件质量，降低了研制成本和周期。