首页 > 代码库 > Parasoft dotTest C++test成最佳解决方案

Parasoft dotTest C++test成最佳解决方案

    工信部近期发布《信息化发展规划》(以下称:《规划》),《规划》显示行业大中型企业信息化工具普及率超过60%;依照此进程,企业信息化的深度应用将成为未来规划趋势。同时,伴随信息化而来的信息安全、信息软件的保障力度成为企业所关注的焦点,分析人士指出,近期政府文件对信息安全越来越重视,表明了部分领域仍存在低水平重复建设现象,信息安全形势更趋复杂严峻。

    据介绍,目前我国企业系统多使用基于。NET为敏捷商务构建互联互通的应用系统,“漏洞往往出现在开发过程产生的bug,无法重用和扩展的代码,影响安全、可靠性和性能的内存泄露。”Parasoft(倍睿)中国区产品经理戴兵表示,Parasoft(倍睿)是全球领先的自动化软件错误预防工具、服务虚拟化及软件生命周期管理解决方案提供商。目前Parasoft(倍睿)提供的dotTest?产品适用于符合 Microsoft.NET 框架的编程语言,包括 C#,VB.NET, ASP.NET以及MC++(Managed C++)。Parasoft dotTest?和C++test?能测试任何基于。NET或。NET CF CLR构建的文件或程序。

    “Parasoft dotTest?和C++test?是针对。NET的自动的静态分析及自动化单元测试工具,能自动生成测试脚本,得到包括58%世界500强企业的认可,事实上,Parasoft(倍睿)包括 C++test?、Jtest?、dotTest?等产品均能够自动测试代码的构造(白盒测试)、代码功能(黑盒测试)并维护代码的完整性(回归测试),为企业软件框架提供高效的保障方案。”戴兵介绍说。

    据悉,静态分析可以为。NET执行基于模式的规则,dotTest?和C++test?静态分析特性在于流程分析,可以创建恰当的控制流图,并对其进行静态分析,以找到NullReferenceExceptions、资源泄漏、不安全的操作以及其它可能出现的异常状况。

    业内人士介绍说,使用模式匹配静态分析工具,能够识别出可能会导致内存泄漏的代码。而基于流程分析,Parasoft(倍睿)在BugDetective上使用了多种分析技术,包括模拟应用程序执行路径,从而识别出可能触发运行时缺陷的路径。可以检测到的缺陷包括使用空引用异常、除零问题以及资源泄漏。“最为传统的静态分析就是基于度量的分析了,但在理解代码中的状况,诊断无法再现的问题上,神话娱乐城基于度量则能全局了解代码。”戴兵指出,Parasoft dotTest?和C++test?在静态分析上拥有技术优势,这同时满足了不同行业的技术需求,Parasoft dotTest?和C++test?的静态分析技术特点在综合医疗设备行业体现的最为明显。

    “Inomed的综合医疗设备合规性解决方案包括Parasoft公司的C/C++和。NET代码分析工具。该平台使终端到终端的控制渗透到整个开发测试过程中。”Inomed的发展负责人Wipfler说,Inomed是一个国际医疗技术公司。资料显示,Inomed与Parasoft(倍睿)的合作起源于需要快速建立属于符合IEC62304自动化编码标准的流程,并通过引入Parasoft dotTest?开发及测试平台对其全面的需求,进行可追溯化的快速实施,在美国FDA,符合IEC62304标准可作为证据来满足医疗设备软件的可接受的标准。

    Wipfler介绍说:“选择Parasoft的理由在于Parasoft对要求和需求的深刻理解。Parasoft dotTest?充分整合Inomed的现有资产,并提供了专业的解决方案。”

    业内人士表示,传统的测试方法,比如单元测试和应用程序级的测试,因为很难重现发生异常的条件,通常找不到这样的缺陷。Parasoft dotTest?和C++test?拥有能够模拟代码中的大量执行路径的自动化静态分析工具,能够找到可能存在的缺陷。

    某国内医疗机构信息部门负责人表示,不同于欧美等国成熟的医疗信息处理技术,中国医疗领域信息化道路还在摸索阶段。“Parasoft在国内外医疗软件安全上已达一定的技术高度,随着医疗机构的信息化程度进一步加深,Parasoft将为国内医疗机构的合作伙伴提供更高效的软件测试服务。” Parasoft中国区产品经理戴兵表示。

推荐阅读http://www.cnblogs.com/summo/p/4150422.html

Parasoft dotTest C++test成最佳解决方案