好用几个测试软件.pdf

白盒测试软件 1、Logiscope Logiscope 是面向源代码进行工作的，贯穿于软件开发、代码评审、单元测试、集成测 试、系统测试、以及软件维护阶段。 LOGISCOPE 是法国Telelogic 公司推出的专用于软件质量保证和软件测试的产品。其主 要功能是对软件做质量分析和测试以保证软件的质量，并可做认证、反向工程和维护，特别 是针对要求高可靠性和高安全性的软件项目和工程。 本产品应用于软件的整个生命周期，它贯穿于软件需求分析阶段和设计阶段-代码开发 阶段-软件测试阶段（代码审查、单元/集成测试和系统测试）-软件维护阶段的质量验证要 求。 在设计和开发阶段，使用 LOGISCOPE 可以对软件的体系结构和编码进行确认。可以在 尽可能 的早期阶段检测那些关键部分，寻找潜在的错误，并在禁止更改和维护工作之前做 更多的工作。在构造软件的同时，就定义测试策略。可帮助编制符合企业标准的文 档，改 进不同开发组之间的交流；在测试阶段用LOGISCOPE，使测试更加有效。可针对软件结构， 度量测试覆盖的完整性，评估测试效率，确保满足要求的 测试等级。特别是，LOGISCOPE 还可以自动生成相应的测试分析报告；在软件的维护阶段，用 LOGISCOPE 验证已有的软件 是否是质量已得到保证的 软件，对于状态不确定的软件，LOGISCOPE 可以迅速提交软件质 量的评估报告，大幅度地减少理解性工作，避免非受控修改引发的错误。 Logiscope 包括三个工具： Logiscope RuleChecker：根据工程中定义的编程规则自动检查软件代码错误，可直接定 位错误。包含大量标准规则，用户也可定制创建规则。自动生成测试报告。 Logiscope Audit ：定位错误模块，可评估软件质量及复杂程度。提供代码的直观描述， 自动生成软件文档。 Logiscope TestChecker：测试覆盖分析，显示没有测试的代码路径，基于源码结构分析。 直接反馈测试效率和测试进度，协助进行衰退测试。既可在主机上测试， 也可在目标板上 测试。支持不同的实时操作系统、支持多线程。可累积合并多次测试结果，自动鉴别低效测 试和衰退测试。自动生成定制报告和文档。 2、PRQA 主要功能： （1）能发现C 代码超过 1300 种C 语言使用中容易出现的潜在问题，C++代码 400 多种潜在问题，从而发现危险的结构，发现维护和移植中发生的问题。 （2 ）成功解析许多流行的C/C++语言编译器中的语言扩展和非标准的结构。 （3 ）简单操作就可以轻松定制警告信息和报告。 （4 ）提供几十种工业认可的C/C++复杂度度量，包括圈复杂度、静态路径统计 和Myer’s interval 等，还可以扩展公司特定的复杂度度量。 （5 ）提供开发接口，可扩展执行特定的分析检查。可以扩展检测规则。 （6 ）提供多种多样的可视化输出，包括函数结构图、函数调用树、外部参考、 文件包含关系和统计的度量分析。 （7 ）可用于Windows 和Unix 平台，有方便易用的GUI 图形界面。可以和流行 的开发环境集成 主要特点 QAC 在代码规则检查方面深入透彻，集成了 多种权威的编程标准，超过1200 多条警告提示可以给设计师很好的提醒，可以作为贯彻实施GJB 编程标准和企业编 程准则以及各单位编程准则的推广国内工 具，通过评估和采用例程测试，发现QAC 可以很准确的发现代码中潜在的问题，不存在漏报，误报和错报的情况，对于C 语 言QAC 利用强大的分析器进行预处理 和后分析，不允许代码缺失或者遗漏头文件， QAC 以其严谨而准确的分析，更能提供可信的检测结果。QAC 能支持各行业编程标 准和GJB5369 标准，可以 独立检查进行报告。 QAC 的界面简单和使用很容易，在大量的规则中选择特定的规则非常简单，只 需要鼠标双击（选中或者取消），也可以在规则级上右键（选中这一级或者关 闭这 一级），结果可以在v