一种非侵入式MC/DC覆盖率统计分析方法

    公开(公告)号:CN111813670B

    公开(公告)日:2022-06-24

    申请号:CN202010635114.9

    申请日:2020-07-03

    Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法,其中,包括:建立嵌入式软件虚拟化仿真运行环境;循环读取源码并通过分析去除源码中的注释部分,并解析源文件分支信息和逻辑表达式信息;获取逻辑表达式的目标码信息;仿真运行,读取指令、翻译指令以及执行当前指令,记录MC/DC覆盖率,并将覆盖率信息以特定的格式写入到指定路径的文件中;进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境,分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息,在此基础上获取逻辑表达式对应的目标码信息,并在仿真运行过程中获取MC/DC覆盖率信息,能够满足多种场景下MC/DC覆盖率统计分析的需求。

    一种全高清环车俯视显示系统

    公开(公告)号:CN107972582A

    公开(公告)日:2018-05-01

    申请号:CN201610922333.9

    申请日:2016-10-25

    Abstract: 本发明公开了一种全高清环车俯视显示系统,其中,包括:图像采集模块、图像传输模块以及图像处理模块;该图像采集模块用于将车辆的多方向图像进行采集;该图像传输模块用于对多方向图像进行编码并进行传输,并在传输后进行解码;该图像处理模块用于将该图像传输模块传输的多方向图像进行鱼眼失真校正、投影变换和图像拼接,并处理为俯视结果图像。本发明的全高清环车俯视显示系统可有效消除驾驶盲区,为驾驶员提供环车俯视图像,辅助驾驶员顺利通过狭窄道路环境、正确完成泊车等操作,提高驾驶安全性。

    一种容器化仿真平台快速部署方法

    公开(公告)号:CN116450153B

    公开(公告)日:2023-11-24

    申请号:CN202310461867.6

    申请日:2023-04-26

    Abstract: 本发明涉及一种容器化仿真平台快速部署方法,属于容器化仿真平台设计领域。本发明采用命令行模式,基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等,构建DSP仿真环境容器;其次,将容器层保存成镜像文件,创建DSP仿真环境镜像包,构建完整的运行环境镜像;再次,基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包,建立运行环境与执行命令的调用关系;然后,将DSP仿真平台镜像包推送到远程云镜像仓库中,方便镜像管理与使用;最后,从远程镜像仓库中拉取仿真平台镜像,进行仿真平台部署运行,实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程,进而提升嵌入式仿真环境多平台部署效率。

    一种基于仿真平台的多层级、多模式软件故障注入方法

    公开(公告)号:CN116431518B

    公开(公告)日:2023-09-26

    申请号:CN202310461957.5

    申请日:2023-04-26

    Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法,属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果,仿真平台具有可控性强的特点,故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建,包括处理器、外设、总线等模型;其次,构建故障注入案例库,包括处理器平台级、接口设备级、通信协议级等层级,统一进行故障案例设计和管理;然后,配置故障注入参数,执行故障注入,包括基于时间、基于PC、基于地址等注入方式;最后,采集故障案例注入后的执行信息,生成代码覆盖率报告。本发明提高嵌入式软件测试充分性,保障软件质量和可靠性。

    基于扩展Lustre语言的模型度量方法

    公开(公告)号:CN116149624B

    公开(公告)日:2023-09-26

    申请号:CN202310185399.4

    申请日:2023-02-21

    Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法,属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树,通过可视化建模可生成工程对应的模型结构树;设计了预定义的度量元,包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面,并根据度量元设计了度量元数据字典;根据不同的度量元设计不同的度量值计算方式;在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块,并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量,该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元,针对不同的度量元设计了不同的度量值计算方式,最终实现了在OnModel建模平台中应用模型度量,并展示度量结果。

Patent Agency Ranking