-
公开(公告)号: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指令架构处理器。
-
公开(公告)号:CN115421861B
公开(公告)日:2023-10-31
申请号:CN202211114539.0
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C55x处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明针对TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等处理器,解决TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等系列处理器的虚拟化仿真问题。TMS320C55X指令架构共计包含154条指令集,通过对154条指令集的仿真,提供TMS320C55X处理器嵌入式处理器软件的运行环境,为TMS320C55X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现TMS320C55X指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真TMS320C55X指令架构处理器。
-
公开(公告)号:CN115421860B
公开(公告)日:2023-10-20
申请号:CN202211114538.6
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的SPARC处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明针对SPARCV7、SPARCV8两种指令集版本的处理器,解决SPARC处理器的虚拟化仿真问题。SPARCV7、V8两个版本指令集共计包含130条指令集,通过对130条指令集的仿真,提供SPARC处理器嵌入式处理器软件的运行环境,为SPARC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现SPARC指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真SPARC指令架构处理器。
-
公开(公告)号:CN116467211A
公开(公告)日:2023-07-21
申请号:CN202310461935.9
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法,属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟,实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖,可在实验室环境中开展有效的系统级测试验证,从而降低了测试成本并提高了测试的充分性。
-
公开(公告)号:CN116431103A
公开(公告)日:2023-07-14
申请号:CN202310462913.4
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法,属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术,采用数字化仿真技术对嵌入式软件的硬件环境进行仿真,包括处理器、外设、总线等;其次,基于数字化仿真平台实现嵌入式软件开发和测试,包括代码迭代开发、单元测试、配置项测试、运行监测等;最后,构建嵌入式DevOps工作流,将数字化仿真环境作为基础设施集成到DevOps的工具链条中,实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率,保证了软件质量,降低了研制成本和周期。
-
公开(公告)号:CN115421863A
公开(公告)日:2022-12-02
申请号:CN202211114547.5
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真,提供MIPS处理器嵌入式处理器软件的运行环境,为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
公开(公告)号:CN115421862A
公开(公告)日:2022-12-02
申请号:CN202211114546.0
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明通过对256条指令的仿真,提供51单片机嵌入式处理器软件的运行环境,为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案,能够实现51单片机处理器的指令集仿真,仿真精度高,仿真执行效率高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真51单片机处理器。
-
-
-
-
-
-
-
-
-