技术总结
本发明提供了一种实现虚拟验证系统覆盖率分析的方法，包括：调用核接口函数生成disassembly.dat、disassembly.txt文件；打开disassembly.txt、all_c_file.txt、assemble.s文件；从disassembly.txt中读取一行数据，从中取得PC值、指令值、汇编指令，获取PC值对应的符号表信息；判断disassembly.txt文件是否已经读取完毕，读取完毕则判断当前C源文件指针是否有效，当前C临时文件指针是否有效，如二者皆有效则将当前源文件中剩下的C语句都写入临时C文件中；关闭disassembly.txt、all_c_file.txt、assemble.s、当前打开的源文件、当前临时C文件；逐行读取disassembly.dat文件内容，将每一行信息存入text_record结构体中，并将每一个结构体都串联起来，组成结构体链表；调用函数GenerateReport()，生成报告。本发明能够对已仿真执行的用户代码进行指令执行次数统计、分支跳转情况统计、代码覆盖率分析等操作。
技术研发人员：吴翔虎;陶永超;曲明成
受保护的技术使用者：深圳航天科技创新研究院
文档号码：201710141593
技术研发日：2017.03.10
技术公布日：2017.06.13