Parasoft Insure++

Parasoft Insure++是专用于 C 和 C++ 语言的运行时内存分析和错误检测工具。

产品类型: 软件 产品功能: 测试分析 平台语言: 英文 源码: 不提供源码 产品编号: 13143
  • 当前版本:v9.6 [销售以商家最新版为准,如需其他版本,请来电咨询]
  • 开  发 商:Parasoft 正式授权

关于本产品的分类与介绍仅供参考,具体以商家网站介绍为准。加企业QQ:800018081 咨询该产品

中文   |   英文

使用Parasoft Insure++自动查找C/C++代码中隐藏的错误

Insure++是专用于C和C++语言的运行时内存分析和错误检测工具,它能自动识别多种难于跟踪的编程和内存访问错误,并定位内存使用方面的潜在缺陷和效率低下等问题。诸如内存误操作,内存泄露,数组访问越界,无效指针和其它通过常规测试手段难以发现,却在运行时导致应用程序崩溃的诸多问题,Insure++均能帮助你找到并消除这些程序中的缺陷,保证内存使用的完整性。

需要培训、定制、外包?请联系我们!企业QQ:800018081 慧都专业技术团队帮助您提高效率,节省成本,降低风险!

功能

  • 检测所有堆栈引起的内存误操作

  • 检测未初始化的变量、指针和对象

  • 检测内存泄漏,内存分配/释放等错误

  • STL 检查,帮助合理使用 STL 容器并检测相关内存错误

  • 编译时检查类型和字节大小相关问题

  • 跟踪运行时的函数调用关系

  • 提供图形界面(GUI) 和命令行 (command line) 接口

  • 检查第三方的静态库和动态库的内存错误

  • 可直接使用 Visual Studio 调试器

优点

  • 在内存错误成为运行时的问题之前就发现它们

  • 查找 64 位移植过程中常见错误

  • 帮助用户优化应用程序的内存使用

  • 减少开发和支持成本

  • 在 “smoke alarm” 模式中方便地同回归测试套件集成

  • 提供对错误详细的堆栈跟踪以帮助了解其原因



多种使用模式

Insure++ 使用基于专利的源码插装算法为用户提供了丰富的内存分析功能。通过源码插装,能检测出比其他内存错误查找技术更多的内存错误,同时基于 Insure++ 分析源码得到的关于程序元素和内存结构的数据库,为定位造成这些问题的根源提供了完整的信息。

Insure++ 提供二种内存分析和错误检测方法。第一种也是最全面的一种分析方法通过全面源代码插装。使用这种方法要求用户先使用 Insure++ 对自己的程序进行编译和链接,以便生成相应的插装文件提供给编译器。

第二种方法采用 Insure++ 进行链接,此种方法在错误报告的详细程度和实际构建并运行插装程序时间长短这两者之间进行权衡。在这种模式下,Insure++ 能检测并且报告大多数错误类型,包括内存泄漏,无效内存引用,标准 API 使用错误,等等。

能检测到的错误包括:

  • 堆栈崩溃

  • 使用未初始化的变量或对象

  • 堆栈中的数组越界、字符串越界

  • 使用悬挂指针、无效指针和未初始化指针

  • 所有内存分配和释放问题,包括不匹配问题

  • 所有的内存泄漏

  • 全局声明,指针和函数访问的类型不匹配错误

  • 部分无用代码(编译过程中)



Parasoft Inuse and Parasoft TCA

除了内存运行错误分析引擎,Insure++ 还提供两个组件以增强工具的分析范围:

  • TCA (提供总的覆盖率分析)

  • Inuse (提供应用程序内存使用分析)

TCA 分析、报告代码覆盖率,并进一步让你以图形化方式,直观地看到已测试部分代码和代码块执行次数。通过运行时错误检测工和全面的测试套件协同工作,能显著提升测试效率并让你在更短时间内提交更可靠的程序代码。

Inuse 能够对应用程序的内存应用情况给出可视化的报告。 以直观的图形化方式,报告内存分配,超时,以及整个 Heap 使用,Block 分配,Outstanding Memory Leaks 等问题。通过为用户提供应用程序内存使用情况的深入报告,Inuse 能够帮助用户高效地分析和优化运行时内存使用状况和性能。

具体能功:


  • 检测所有堆栈引起的内存误操作

  • 检测未初始化的变量、指针和对象

  • 检测内存泄漏,内存分配和释放等错误

  • STL检查,帮助合理使用STL容器并检测相关内存错误

  • 编译时检查变量类型和字节大小相关问题

  • 实时跟踪函数调用关系

  • 提供图形界面和命令行两种接口

  • 检查第三方的静态库和动态库的内存错误

  • 可直接使用Visual Studio调试器

  • 支持Unix GCC3.0版本以上的用户。


TCA 测试覆盖率

  • 计算行覆盖率和块覆盖率

  • 对代码行,块,类,功能和文件给出相应的报告

  • 文本报告和交互式的、高亮显示的图形化覆盖率报告

Inuse内存监视器


  • 可视化内存泄漏报告

  • 显示实时内存使用状态

  • 帮助用户建里程序事件和内存使用状况的联系

支持环境


 

     Microsoft Windows(32位和64位)

  • Visual C++

     IBM AIX, PowerPC(32位和64位)

  • IBM Visual Age

  • IBM Visual Age (xIC compilers)

  • GNU gcc/g++

     Linux(32位和64位)

  • GNU gcc/g++

  • Intel ICC

     Solaris UltraSPARC Processor

  • Forte Developer

  • Sun Studio

  • GNU gcc/g++

 


类型 标题 发布时间
版本更新 Parasoft Insure++ v9.6

Parasoft Insure++更新至v9.6,支持Instrumentation的多进程和/MP

2016-02-26
文章 【年末盘点】parasoft精选测试案例&技术资源大合集!

Parasoft是一家专门提供软件测试解决方案的公司,帮助企业打造无缺陷的软件。今天给大家整理了包括parasoft的测试案例、行业资讯和相关技术文章,欢迎大家学习收藏!

2016-11-25
文章 静态分析——自动化代码扫描如何预防缺陷和加速交付?

当构建各种系统时,尽早并经常性地检查和修复错误,会显著减少项目不断迭代推进的工作量,以及显著提高工作效率。在软件工程界,项目团队通常采用一些方法来确保应用程序功能如期得到实现。其中自动化代码扫描即静态分析技术是预防缺陷和修复问题的最简单,最有效的方法,已经被广大的软件工程师验证和采用,同时还可以明显地加速软件产品的交付。

2016-10-28
视频 Parasoft公开课:利用服务虚拟化实现快速测试

如果您的团队面临着加速软件交付的压力,本次公开课将为您阐述怎样使用service virtualization(服务虚拟化)来推进持续测试和DevOps,例如CareFirst公司。

本次公开课中,Parasoft携手Techwell host Forrester公司的副总裁,首席分析师Diego Lo Giudice和CareFirst公司的质量管理主任Mike Puntumapanitch,给大家分享构建测试高速通道的经验。

关键要点:

  • 如何开始使用service virtualization(服务虚拟化)
  • 为什么service virtualization是agile(敏捷)和DevOps的关键
  • 从企业的经验中吸取教训
  • 如何在不影响质量的情况下,加快测试速度

2016-05-27
视频 Parasoft公开课:保护应用安全

本次Parasoft公开课中,主要为大家讲了软件开发安全是什么?为什么需要软件开发安全?怎样实现软件开发安全?本节课的内容包括:

  • 识别和分析根本原因
  • 查找和验证安全缺陷
  • 验证缺陷处理
  • 仔细调整,减少错误
  • 利用Threat Modeling关注热点
  • 识别攻击点
  • 优化静态分析规则
  • 选择安全的设计组件
  • 防御代码攻击技术
  • 更多,请观看视频

2016-03-30
演示或示例 Parasoft Insure++测试案例:64位应用程序移植的风险减少

本案例介绍了当你应用程序移植到64位处理器时潜在的问题,并描述了一个实用的预防战略。

2016-11-21
演示或示例 Parasoft Insure++测试案例:避免C/C++ Dynamic内存问题

本案例讨论了与C和c++开发相关的内存泄漏、指针作物等问题。

2016-11-21

更新时间:2017/2/3 15:27:24 | 录入时间:2011-10-17 | 责任编辑:邹家俊 给他留言或建议

客服
开发商其他产品
  • Parasoft SOAtest with Load Test

    SOAtest with Load Test是处理业务与安全关键性事务的完整的自动化端到端测试软件。

  • Development Testing Platform(DTP)

    Development Testing Platform(DTP)是一款开发测试平台。通过在SDLC中持续应用软件质量最佳实践降低了商务风险。

  • Parasoft DTP

    Parasoft DTP是一个完整的软件生命周期管理平台。

  • Parasoft Virtualize

    Parasoft Virtualize是一个用于创建、部署和管理模拟的开发与测试环境的虚拟解决方案。

  • Parasoft C/C++test

    Parasoft C/C++test – 针对 C/C++ 开发的综合性代码质量保障工具,有效提高开发团队工作效率和软件质量。

  • Parasoft Jtest

    <p>Parasoft Jtest是一款Java自动化测试工具。能够无缝集成Parasoft SOAtest。</p>

  • Parasoft dotTEST

    Parasoft dotTEST是一款.NET开发的综合代码质量保证工具。

  • Parasoft Insure++

    Parasoft Insure++是专用于 C 和 C++ 语言的运行时内存分析和错误检测工具。

  • Parasoft SOAtest

    Parasoft SOAtest是业内最全面的API、云服务和SOA测试平台,并提供优秀的负载与性能测试、API安全测试等功能。

同类产品
  • TestComplete Desktop

    TestComplete是一款自动化功能测试平台。TestComplete Desktop可以在任何桌面应用程序上创建、管理和运行自动化测试。

  • CodeReviewer

    CodeReviewer是一款免费的代码审查工具,适合小型团队使用。

  • TestServer

    TestServer是一款API代码分析测试的工具,帮助您提高API的完整性。

  • HP Performance Center(HP PC)

    HP Performance Center 软件是一款企业级性能测试平台。设计用于推动标准化进程、集中式管理、全球协作以及形成卓越的性能测试中心。

  • Fortify on Demand

    Fortify on Demand是一款移动应用和web的安全测试软件。

  • AppPulse Mobile

    AppPulse Mobile是一款针对移动应用性能分析的软件。

  • AppPulse Active

    AppPulse Active是一款从最终用户角度即时监控网站、云和 SaaS 服务的软件。

  • AppPulse Diagnostics

    AppPulse Diagnostics是一款企业级的漏洞检测软件。深入了解影响您的事物性能的代码、数据库调用和第三方服务。

  • AlertSite

    AlertSite是一款领先的综合监测软件,可用于APIs、移动和Web应用程序。

  • Logiscope

    Logiscope套件可以进行源代码评估、维护、纠错和测试。

联系我们


官方微信
官方微博

慧都旗下网站

友情链接

慧都科技有限公司 版权所有 Copyright 2003-2017 渝ICP备12000582号 | 京公网安备 11010102002019号
100%正版软件