English 联系我们
软件测试工具
产品介绍
Testbed功能介绍

RTInsightPro嵌入式系统测试工具

TBrun for ASM 汇编语言单元测试
产品资质
成功案例
LDRA工具包用户列表
 
  当前位置:首页>解决方案>软件测试工具

Testbed功能介绍


LDRA软件测试工具套件在达到团队软件开发和维护的目标的过程中,对六大活动提供支持。

代码评审

Testbed提供强大的包括编码规则检查在内的静态分析功能以及全面的静态分析报告,可以实现对传统代码评审工作的扩展。用户可以选择编程规则的最大的集合,也可以配置用户自己的规则集合,或使用行业认可的标

准,例如:MISRA C/MISRA-C:2004、国军标5369AV C++EADS C/C++HC++等,从而快速识别出违反规则的代码并帮助开发人员快速的进行修正。

代码评审提供了一个自动化、有效和可重复的过程,这个过程既节省了时间和资源,又为开发者提供了详细全面的标准,这些是传统的手工技术不能与之相比的。

质量评审

质量评审可以帮助客户通过对软件产品的度量,达到控制软件产品的质量。LDRA公司努力使质量评审过程自动化,其主要特征包括:

  • 提供对软件质量的度量,可以快速的以可视化的方式了解系统的复杂性。该特征是衡量软件的清晰性、可维护性和可测试性的元素;

  • 提供详细的、彩色的函数调用关系图和程序控制流程图;

  • 自动生成报告,提供软件质量文档。

使用自动化工具进行质量评审的主要特点是可以将代码可视化、并进行系统级的质量度量和代码结构化的化简和重组,这些可以帮助提高对整个代码的信心。

设计评审

可以被编译的源代码和最初设计的需求之间一致性的评估十分重要。对这项采用传统手段需要花费大量时间和资源的工作,LDRA实现了的自动化。

设计评审的主要特征包括:

  • 接口分析、识别潜藏错误程序变量。工具对所有过程的参数以及函数的全局变量和返回值进行全面分析;

  • 工具全面深入理解代码,确保代码解析所提供的代码分析结果没有“误报”。

工具的设计评审能够帮助我们验证是否正确实现了设计规格说明。

单元测试

在软件生命周期中随着软件开发的进行,发现错误以及修正错误的成本越来越大,这是一个大家公认的事实。经验表明,对代码开发早期进行集中测试可以减少测试的工作量与开发成本。

单元测试在初始编码阶段提供了识别和改正错误的方法,帮助确认和维护软件单元/模块的一致性。

LDRA单元测试的主要优点有:

  • 自动生成测试驱动,不需添加脚本;

  • 随着源代码的改变,对需要修改的测试数据进行跟踪和报告;

  • 保存测试数据和结果,以便回归测试;

  • 通过直观的图形/命令行接口选项可以达到极高的测试效率;

  • 交互式的测试工具可以直接进行测试结果验证和覆盖率度量;

  • 自动化的功能使测试人员不必详细地了解被测试的代码;

LDRA单元测试工具使测试过程自动化,解决了传统单元测试所带来的大量消耗时间和资源的问题。

测试验证

开发高安全性和任务苛刻性软件的过程必须遵循最严格的标准,如DO-178BIEC61508MISRA等。在这些标准中针对安全苛刻性或任务苛刻性软件,要求在单元测试、集成测试及系统测试等阶段进行管理和检验代码覆盖率。

代码的分析、测试和维护占了软件开发生命周期的70%LDRA的策略和技术可以应用到这些相关工作中。快速查明被测试软件中不适当的部分,并且按照一个高的标准来测试并减少回归测试的成本,这是及其重要的。主要的目的是节省资源,提高产品质量,缩短上市时间。

LDRA Testbed   提供如下种类代码覆盖率分析指标:

  • 语句覆盖率

  • 分支/判定覆盖率

  • LCSAJ基本路径覆盖率

  • 调用覆盖率

  • 分支判定条件覆盖率

  • 分支条件组合覆盖率

  • 修正的条件/判定覆盖率MC/DC

  • 数据流覆盖率

测试管理

充分理解一个系统可能需要花费很长的时间和大量的人力、物力。LDRA工具套件帮助开发者和测试工程师理解、归档、维护复杂的系统。

文档编制帮助达到质量标准的过程,如ISO 9001:2000

测试管理的一个主要特点是为评审提供整个系统的文档和版本控制,也帮助减少维护的成本。

Testbed/Tbrun支持语言:

  • Ada83/Ada95

  • C

  • C++

  • C#;

  • Intel 汇编(80x86, 80C196, 8051, 等等)

  • Motorola 汇编(680x0, HP680x0,XD68020,68HC11,等等)

  • TI TMS320C2x/C2xx/C5x汇编;

  • TI TMS320C3x/4x汇编;

Testbed/Tbrun支持安装平台:

  • Windows 9x/NT/2000/XP

  • Unix (Sun Solaris & HP-UX)

  • Linux (Red Hat/Fedora, SUSE, Debian, Thalix)

  • HP OpenVMS (Alpha & IA-64 Itanium)

Testbed/Tbrun对嵌入式系统的支持:

  • Ashling Vitra, Pathfinder & asIDE

  • AONIX ObjectAda

  • ARM RealView Development Suite

  • Cosmic ZAP & IDEA

  • Freescale CodeWarrior

  • GNU

  • Green Hills MULTI & INTEGRITY

  • Hitex ICE

  • IAR Embedded Workbench

  • iSYSTEM winIDEA

  • KEIL

  • Lauterbach ICE

  • Microtec XRAY

  • Nohau Emulators

  • TASKING C166/ST10

  • TI Code Composer Studio

  • Wind River Tornado & Diab
     

©2007版权所有 上海创景计算机系统有限公司

备案序号:沪ICP备05030702号