【视频】基于SkyEye的目标码覆盖率智能辅助分析工具

2022-07-06 09:14:58 digiproto
基于SkyEye仿真平台的目标码覆盖率智能辅助分析工具,可用于获取并分析源码、目标码覆盖情况。测试人员可根据代码的覆盖情况,设计更多测试用例,提高代码的覆盖率,从而全面验证可能存在的软件漏洞,提高软件可靠性。


该工具有多项功能:支持语句覆盖率、对源码进行独立显示和操作、对未覆盖代码进行批注、自动跳转到未覆盖或被批注的代码以及辅助提示指令描述等。


接下来将展示这些功能的具体操作。


点击报告管理,不但可以查看总覆盖率报告,还可以查看每个源码工程各自对应的覆盖率报告。

图片关键词


点击上一条或下一条未覆盖代码按钮,可快速定位并自动跳转到未覆盖代码的位置。

图片关键词


若需要说明未执行原因并对未执行代码进行批注,只需右击未覆盖代码,点击增加批注,即可创建批注。输入标题和描述并点击保存,即可完成批注的输入。被批注的代码背景颜色显示蓝色,表示该代码已被批注。

图片关键词


用户还可对已存在的批注进行更新、删除等操作。点击上一条或下一条批注,可实现批注的自动跳转。批注功能在源码和目标码中操作相同。

图片关键词


在分析目标码文件时,如果用户对如何使用指令并不清晰,可以通过将鼠标悬浮在指令上来使用目标码辅助提示功能。弹出的文本框将对该指令的具体行为进行提示。

图片关键词




首页
产品
新闻
联系