嵌入式软件静态测试工具Goanna.doc_第1页
嵌入式软件静态测试工具Goanna.doc_第2页
嵌入式软件静态测试工具Goanna.doc_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

Goanna嵌入式软件静态测试工具Goanna是一个针对C/C+安全可靠性进行深度静态分析的工具，为安全性的嵌入式软件提供全球领先的静态C/C+代码分析解决方案。作为确保符合各安全标准的重要组成部分，Goanna结合了最新的程序验证研究，并可以与IDE和构建服务器无缝结成，从而提供一个简单而强大的桌面解决方案来提高创建代码的信心。Goanna产品已被全球汽车、军工、医疗、关键任务的嵌入式系统等行业广泛应用进行软件验证。Goanna的特性：在错误进入产品前及早发现：Goanna的深度静态分析只需要源代码就可以自动化地找到C/C+程序中的错误，不需要编译、模拟或者执行代码。通过在开发生命周期最早期的阶段发现错误，可以实现以下目标：提高代码质量；降低成本；节约开发时间。Goanna可以与大部分IDE和配置环境集成，将强大的深度静态分析部署在用户指尖，只需要点击就可以执行，而不需要冗长的安装成本或者中断用户已有的工作流程。独一的追踪模拟器：Goanna可以直接在用户的IDE中“重现”复杂缺陷的跟踪，可以更快地精确定位缺陷的根本原因。灵活的增量分析：Goanna生成被分析函数的数字指纹，确保只会分析上次执行之后被修改的部分代码，从而防止函数在未被改变的情况下产生重分析的潜在费用，实现快速测试周期而不需要等待可能数小时的重新分析。行业标准：Goanna可以提供符合一些行业安全规范的验证。可自定义的检查：可以非常容易地根据用户的标准和需求来自定义检查。获奖的技术：Goanna采用先进的获得Turing奖的模型检查技术，提供所有执行路径提供高效的完全路径覆盖，甚至非常复杂的函数可以。 路径敏感的完整代码分析：Goanna独特的专利技术提供的完整的程序间分析可以发现调用链中深度的缺陷，甚至可以跨越多个函数和文件，例如空指针不能获得通过并在其它函数中取消其引用。 抽象数据跟踪：Goanna可以自动跟踪变量的潜在范围，实现程序中所有点上的取值、大小和地址的计算，从而非常容易地查找出在动态测试和人工检查很容易错过的缺陷，例如发现可能的缓冲区溢出或者不可行路径等。 超过250个有很高价值的检查：空指针错误；数组越界；字符串溢出；内存泄露；内存损坏；双重释放；安全性缺陷；坏的结构；未初始化变量；死代码；算术错误；可移植性缺陷；除零；不安全的库；加上无限可能的用户自定义的检查等等。可视的图形化报告：缺陷可以通过一个易于使用的Web接口被即时地绘制成图形化的报告，提供缺陷历史和问题领域。高亮的图表使开发人员能够在错误出现的时候立即识别出故障点并尽快地解决。 集成的仪表盘和度量：通过和基于S
人人文库> 全部分类> 教育资料 > 考试试卷

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论