TBsafe®

概述

高安全代码的软件测试要求对源代码更全面地分析和更高程度的覆盖，以便向认证方证明代码的正确性。这可以通过LDRA工具套件的附加测试选项-TBSafe实现。

TBsafe特点总结

信息流分析

这个模块既是强大的文档化工具又是优秀的缺陷检查器。然而，为了检查缺陷，用户必须知道变量依赖关系应该是什么。另外，随着软件的维护，这些依赖关系的变化可能引起不正确的变更。更多的信息请点击 点击。

精确的语义分析

结合到动态覆盖分析，断言在极其广泛的路径集里被检查。它也被用作为错误诊断的系统。更多的信息 点击。

MC/DC 覆盖

这个附加的覆盖对DO-178B A级认证是非常有必要的，它意味着当条件被测试后，一些潜在的错误会被发现，从而代码有更高的可信度。更多的信息 点击。

安全子集

高安全应用软件的安全子集已被修订成册，由于编程语言的一些标准特性在使用中可能非常危险，如目标机上动态内存分配，它可能会耗尽所有有效的内存。 LDRA Testbed利用检查系统来标记出那些不安全的语言特性的使用。关于编程标准检查的更多的信息 点击。

动态数据流覆盖

动态数据流覆盖提供了变量的交叉索引清单，这个清单列出了测试状态下的变量在源文件或系统中使用的位置以及他们的类型。接着，为当前的和联合的数据集，这个模块将覆盖信息映射到表中每个变量的入口 。更多的信息 点击。

更多的信息

关于TBsafe和它的有用性更多的信息，请参考 LDRA问与答 或联系  该E-mail地址已受到防止垃圾邮件机器人的保护，您必须启用浏览器的Java Script才能看到。 .