装备电子系统的研发、测试、保障解决方案中心

       单元和集成测试的关键特性:

      • 直观的测试设计和自动化的工作流

      • 管理、链接和跟踪需求

      • 支持表格和用户代码中编辑测试数据

      • 支持软件变体的测试

      • 定义基于时间的组件测试场景

      • 在主机、模拟器、硬件上执行测试

      • 图形化 plot 测试结果

      • 在流程图图形中分析代码覆盖率

      • 生成多种格式的可定制报告

      • 持续集成的命令行脚本

有效测试和可追踪性

      TESSY 将手动任务减少到最低，使验证过程可伸缩、透明并且不易错误。TESSY 自动生成测试规范、测试执行和报告，来提供认证所需的一致的可追溯性。

不断适应
      不断强化广泛支持的编译器、目标调试器和第三方工具接口。TESSY 可按需提供适应的具体系统、接口或可选特性。

简单的数据处理
      表格编辑器可高亮问题，以及可在分类树编辑器中访问，这使得数据处理十分简单。使用大量的导入/导出格式进行简单的测试数据和需求的交换。

明确的回归测试
      TESSY 自动检测源代码中的变化。基于这些变化，TESSY 预分配界面元素和自动适应用户代码，来促进更快且明确的回归测试。

测试驱动生成
      TESSY 自动生成完整的测试框架，包含桩函数和所有外部引用。

代码覆盖率分析
      TESSY 包含七种不同的覆盖度量，这些可单独或依据规范和标准选择。覆盖结果是可视化的，以链接到彩色源代码的图形化流程图和文本的形式显示。通过流程图强大的导航功能，可直观显示代码视图中的未覆盖分支和条件。

需求管理
      TESSY集成了一个需求管理解决方案，提供了一个基本需求工程环境，具有以下特点：

      • 支持 TXT、CSV、XML格式的需求导入

      • 添加新需求

      • 列出单元测试和组件测试可用的测试手段

      • 分配需求到测试手段

      • 连接需求与模块,测试对象和测试用例

      • 附加需求文件

      • 编辑需求属性列表

      • 快速查看所有可疑(修改)元素

      • 显示选择的版本历史需求

      • 显示版本历史的验证矩阵

      • 显示选择需求的链接元素

      • 显示需求覆盖

单元测试

      TESSY 能够很好的分析源代码，并列出所有包含在其中的C 函数，使用者可以很方便的选择自己要测试的那一部分。TESSY 支持 C/C++语言的测试。包含以下功能：

      • 精确分析源代码

      • 自动测试驱动

      • 独特的打桩技术

      • 管理测试用例，做回归测试

      • 调试功能

      • 覆盖率分析

      • 测试文档生成

组件测试

      TESSY 可以设置全局输入变量，调用组件函数，检查调用序列的底层软件功能和检查全局输出变量。每个场景的内容可以分为以下部分：

      • 设置输入变量

      • 调用组件功能

      • 检查调用底层功能

      • 在场景中执行设置/检查变量

      • 检查输出变量

      系统测试设计采用集成的分类树编辑器(CTE)。CTE 是一种分类树方法(CTM)的图形化编辑器。这个方法是将（功能的）规格转化为一套误差敏感度和低冗余测试用例规范的直观、系统的方法。等价类中测试相关方面及其递归划分构建分类树。定义在第二步中的测试用例，通过组合分类树在表中指定输入和预期结果。自动生成由此产生的测试用例规范，并且可立即执行测试用例。

       这个方法包含基于模型测试方面和标准的需求。它很好的应用于基于模型设计规范的黑盒测试。测试规范的可视化引领测试人员通过测试设计，并降低复杂性。