TBrun®

TBrun特征

自动化生成驱动程序/测试序列

TBrun利用复杂的控制流和数据流分析技术记录下所有被测试单元的接口信息。这种信息级别使TBrun能够自动生成测试驱动，消除手工编写脚本的需要。自动生成的测试驱动没有限制，它是纯粹的C/C++、Ada83/95或Java应用程序代码，并且可以在主机或目标机环境中执行。

异常处理

异常可以被自动捕获并且测试用例的通过或失败取决于是否考虑到这个异常。异常处理方式可以配置。异常处理程序本身也属于单元测试。这种测试可应用于不论是否考虑到异常，甚至允许覆盖到提出的这个异常是不切实际的。

需求追踪

当结合LDRA公司的需求追踪产品TBreq使用时，TBrun提供了单元和集成测试与软件需求文档之间的追踪能力。支持多种需求文档格式，包括IBM Rational DOORS，MS Word和MS Excel。

伴随着源码到目标码的追踪能力，TBrun提供了源代码到汇编级代码转换时一致性比较的证明，确保使用TBrun的开发人员能够完全符合DO-178B A级认证的要求。

TBreq自动实现整理追踪矩阵的过程，维护测试由谁完成的细节，并识别那些结果需要重新修正的测试。TBrun测试过程可以被TBreq用户通过集成方式调用，便于根据任何已有需求自动选择相应的软件文件和功能。

打桩

可以通过手工方式或自动生成方式为函数、方法、构造函数、系统函数、软件包、类等打桩。自动生成的“管理桩”足以满足测试序列的编译和执行过程。

管理桩的默认行为可以通过一个直观的用户图形界面进行修改返回值和全局参数值这样的内容。例如，它可以修改桩函数被调用时不同场景决定的返回值，同时，传递的参数值可以成为单元测试自身pass/fail的条件。

测试用例文件/测试用例管理/保存

TBrun按照序列方式保存测试用例。用户可以将一个序列导出到一个测试文件（TCF），这个文件中包含了所有的重新运行测试用例的信息。TCF可以归类于回归报告并且可以保存起来进行回归验证，也可以通过软件配置管理系统（SCM）和源文件存储在一起，或作为注释。基于需求的测试文档，包括为什么选择特定的值和标识符映射到需求管理系统，可以被添加保存起来。当作为SCM注释使用时，这些文件允许管理人员直接从SCM系统对开发人员正在测试的代码进行检查确定。TCF可以通过命令行方式重新执行并且在批处理模式下源代码改变模块接口和输出也可以被验证。

结构覆盖性度量

TBrun拥有LDRA工具套件所有的覆盖性度量能力。这些覆盖度量包括函数调用、语句、分支/判定、MC/DC和LCSAJ（测试路径）。用户可以选择一个适当的度量标准或者基于自身安全性和系统规定参数为基础的度量标准集合。例如，MC/DC覆盖对于验证结果没有覆盖所有输入条件是非常必要的，并且LCSAJ覆盖为评估循环结构提供了一个全面的度量。所有这些度量都提供图形化方式，通过数据流图、调用关系图和TBrun GUI的文件/视图方式来显示。使用者可以直接访问合格性报告，为标准例如DO-178B提供整体的pass/fail度量结果。这些报告中对已经执行的语句、分支和条件提供一行行的详细显示。

目标码验证 / 汇编级覆盖

Tbrun可以使用LDRA工具套件的目标码验证功能对测试用例进行执行和应用，确保汇编级代码的完全覆盖。在安全苛刻性系统开发环境下通常需要这种功能，比如DO-178B，这种功能用来补充MC/DC覆盖性，和支持源代码到目标码的映射行为。这些能力允许全面分析复杂的逻辑条件和编译器自带的代码标识。

极限测试

极限测试增强了TBrun的能力从自动构建单元测试用例接口延伸到自动生成测试用例。它使单元/模块/集成测试过程自动化，并且通过实现测试序列和测试向量生成，极限测试消除了几乎所有自下而上测试相关的费用。

特点中包含的自动调整适应进程能力被用于创建测试向量来优化得到的覆盖级别。极限测试生成向量的方法能够补充手工编写的测试用例的方法。

获取更多的信息

想要获取更多关于TBrun和相关内容的信息，请完成 LDRA reply form 或者发送邮件到 info@ldra.com