源代码、单元测试工具

单元测试工具

测试工具名类支持语言 称 型 商C语言 C++ test 用 C++ 测试工具介绍 JUnit 开源 PC-Lint 商用 Logiscope 商用 IBM Rational 商PureCoverage 用 C++ test 是一个 C/C++ 自动单元测试工具，自动测试任何 C/C++ 类、函数或部件，自动生成测试用例、测试驱动程序或桩调用，无需手工编写。 C++ test 能够自动测试代码构造、测试代码的功能性和维护代码的完整性，并提供自动覆盖率测试 。 Java JUnit是一个开放源代码的Java测试框架，用于编写和运行可重复的测试。 它包括以下特性： 1、用于测试期望结果的断言（Assertion） 2、用于共享共同测试数据的测试工具 3、用于方便的组织和运行测试的测试套件 4、图形和文本的测试运行器 C语言 PC-Lint 是C/C++软件代码静态分析工具，能够C++ 对程序进行全局分析，识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针以及冗余的代码，还能够有效地帮你提出许多程序在空间利用、运行效率上的改进点。 C语言 Logiscope有三项主要功能，以三个独立工具的形C++ 式出现，分别是： Java 软件质量分析工具——Audit； Ada 代码规范性检测工具——Rulechecker； 测试覆盖率统计工具——TestChecker。 Audit和Rulechecker提供了对软件进行静态分析的功能，TestChecker提供了测试覆盖率统计的功能。 Logiscope可以对多种语言实现的代码进行分析，比如C、C++、Java、Ada等等。 UNIX 平Rational PureCoverage 是专门用来分析代码覆台的 盖信息的工具，它是 Rational PurifyPlus 的一个C/C++ 和 组件。PureCoverage 用来进行代码覆盖率分析：Java，以及 它测量在所有测试用例中多少代码运行了，多少Windows 代码没有运行。 平台上的VC/C++、C#、VB.NET、VB 所有.NETNUnit是一个单元测试框架，专门针对于.NET来写的。Nunit 开源 语言 NUnit完全由C#语言来编写,并且编写时充分利用了许多.NET的特性,比如反射,客户属性等等。最重要的一点是它适合于所有.NET语言。 NuMega是一个动态测试工具，主要应用于白盒测试。NuMega共有三个独立的子功能—BoundsChecker、TrueCoverage、TrueTime。 BoundsChecker为代码检错工具，TrueCoverage为测试覆盖率统计工具，TrueTime为程序运行性能测试工具。 Bullseye Coverage 是Bullseye 公司提供的一款C/C++代码覆盖率测试工具，支持各种Unix 下的编译器之外，在Windows 下 支持VC、Borland C++、Gnu C++、Inter C++。 PMD是一种分析Java代码错误的工具。与其他分析工具不同的是，PMD通过静态分析获知代码过错。 CheckStyle是SourceForge下的一个项目，提供了一个帮助JAVA开发人员遵守某些编码规范的工具，它能够自动化代码规范检查过程。 Hammurapi可以帮助改进Java代码的质量。它可以基于一套设计规范来分析代码库。当它碰到违反规范的地方，会在报告中标识。它与Ant无缝集成并且由基于XML配置文件来驱动。 LDRA Testbed为应用软件的确认和验证提供强大的源代码测试和分析功能，有助于提高计算机软件必需的可靠性，健壮性和尽可能的零缺陷。 LDRA Testbed用于两个主要的测试领域，静态分析和动态分析。 1）静态分析： 分析代码，并且提供对代码结构的理解。 2）动态分析： 利用源代码的插装版本，使用测试数据执行，在运行时发现软件缺陷。 Jtest 是一款针对 Java 语言的自动化代码优化和测试工具，Jtest 的静态代码分析功能能够按照其内置的超过 800 条的 Java 编码规范自动检查并纠正这些隐蔽且难以修复的编码错误。还支持用户自定义编码规则，帮助用户预防一些特殊用法的错误。 Cactus是一个基于JUnit框架的简单测试框架，用来单元测试服务端Java代码。Cactus框架的主要目标是能够单元测试服务端的使用Servlet对象的Java方法如HttpServletRequest,HttpServletResponse,HttpSession等。 NuMega 商C++ 用 VB Bullseye Coverage 商C语言 用 C++ PMD CheckStyle 开Java 源 开Java 源 开Java 源 Hammurapi LDRA Testbed 开C语言 源 C++ Jtest 开Java 源 Cactus 开Java 源

源代码测试工具

测试工具名称 Fortify SCA 类支持语言 型 商ASP.NET 用 C/C++ C# Java JSP PL/SQL T-SQL VB.NET XML other .NET languages 商JAVA 用 ASP.NET(C#、VB.NET) JavaScript Jscript C/C++ APEX 商ASP.NET(C#、用 VB.NET) ASP JAVA PHP 测试工具介绍 Fortify SCA从多方面分析软件源代码，查找软件安全漏洞，是目前采用分析技术最多的，最能全面检查代码安全问题。安全代码规则最全面，安全漏洞检查最彻底。支持混合语言的分析。 优缺点 优点：目前全球最大静态源代码检测厂商、支持语言最多。 缺点：价格昂贵、使用不方便。 Checkmarx CxSuite Checkmarx CxSuite是一个独特的源代码分析解决方案，该工具可用于识别、跟踪和修复源代码中技术上和逻辑上的缺陷，比如软件安全漏洞、质量缺陷问题和业务逻辑问题等。 优点：利用CxQL 查询语言自定义规则。 缺点：输出报告不够美观、语言支持种类不全面。 Armorize CodeSecure BoundsChecker 开C语言 源 C++ .Net ASP ASP.net CodeSecure内建语法剖析功能无需依赖编译环境，任何人员均可利用 Web操作与集成开发环境双接口，找出存在信息安全问题的源代码，并提供修补建议进行调整。CodeSecure依托于自行开发的主机进行远程源代码检 测，在保证速度稳定的同时方便用户进行Web远程操作。 BoundsChecker是一个运行时错误检测工具，它主要定位程序运行时期发生的各种错误。 BoundsChecker能检测的错误包括: (1)指针操作和内存、资源泄漏错误。 (2)内存操作方面的错误 (3)API函数使用错误 优点：Web结合硬件，速度快、独具特色的深度分析 缺点：支持语言种类较少、价格不菲 FindBugs 开Java 源 FindBugs是一个能静态 分析源代码中可能会出现Bug的Eclipse插件工具。它检查类或者 JAR 文件，将字节码与一组缺陷模式进行对比以发现可能的问题。 Lint4J是一个针对Java的源代码分析工具，它可以对Java源码和字节码进行静态分析，判断其中是否存在死锁、性能问题或者伸缩性问题。它可以集成到任何IDE种或构建系统。 Lint4j 开Java 源 Sonar 开Java 源 PHP C# C语言 Cobol PL/SQL Flex Sonar是一个集成了 CheckStyle,PMD,Findbugs的代码校验规则 ,重复代码发现，代码测试覆盖率， 代码注释率，及所有的检测率变化追踪的完美代码质量检查工具。 JDepend遍历Java class 的文件目录，以Java包为单位，为每一个包/类自动生成 包的依赖程度，稳定性，可靠度等的评价报告，根据这些报告，可以得到包或类之间的依赖关系，并分析出包的稳定程度，抽象程度，是否存在循环依赖关系等。 BEAM是 IBM 开发的一个静态分析工具，可以用于分析并查找出代码中的一些不容易发现的潜在错误，从而达到提高代码质量的目的。 Yasca是一个用来寻找安全漏洞，在程序的源代码中检测代码质量、性能以及一致性的软件。 JDepend 开Java 源 BEAM (IBM 商C,语言 Checking Tool 用 C++ for Bugs Errors Java and Mistakes) Yasca 开Java 源 C/C++ HTML JavaScript, ASP ColdFusion PHP COBOL .NET

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库源代码、单元测试工具在线全文阅读。