-
公开(公告)号：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代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法，建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确，形成了一种通用、高效的外围设备建模与仿真方法，提高了外围设备的仿真效率。
-
公开(公告)号：CN116909894A
公开(公告)日：2023-10-20
申请号：CN202310849949.8
申请日：2023-07-12
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63919部队 , 中国人民解放军63921部队
Abstract: 本发明涉及一种虚实融合的混合动态测试平台设计方法，属于虚实融合领域。本发明的硬件测试平台实现了测试流程编排、激励数据模拟、数据结果解析等目标机外围功能，提供了丰富的测试用例；数字化测试平台实现了虚拟目标机、虚拟化调试、覆盖率统计分析等功能，替代了物理目标机，提供了目标码测试手段。数字化测试平台通过1553B总线板卡和1553B总线耦合器与硬件测试平台下位机通信，通过高速网络访问硬件测试平台上位机，打通了硬件测试平台与数字化测试平台的数据隔离，形成了闭环测试环境，大幅度提高了测试效率和充分性。
-
公开(公告)号：CN110716873B
公开(公告)日：2023-09-26
申请号：CN201910903233.5
申请日：2019-09-24
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种硬件兼容性知识库构建方法，涉及硬件兼容性测试技术领域。本发明基于对驱动模块在操作系统中运行的原理以及操作系统内核导出信息的分析，总结了硬件的驱动模块运行在操作系统上所需的依赖要素，创建硬件兼容性知识库并在知识库中添加内核信息、运行依赖要素信息的知识项；通过在硬件设备运行过程中对其驱动模块的运行过程进行监控，得到其驱动模块的接口调用信息并存入知识库，形成设备信息、驱动模块、内核版本信息、接口调用信息的知识项。该方法能够为国产操作系统的硬件兼容性提供测试手段以及必要的测试信息，实现国产操作系统升级后在没有硬件设备的情况下进行硬件兼容性测试，有利于推动国产操作系统的兼容性测试技术发展。
-
公开(公告)号：CN116662157A
公开(公告)日：2023-08-29
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
Patent Agency Ranking
公开(公告)号：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指令架构处理器。
-
公开(公告)号：CN111813670B
公开(公告)日：2022-06-24
申请号：CN202010635114.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
-
-
-
-
-
-
-
-
Search Results
73
records
(took 0.078 seconds)
