工信部近期发布《信息化发展规划》（以下称：《规划》），《规划》显示行业大中型企业信息化工具普及率超过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