工具列表
Tool list
Tbrun（LDRA）
TBrun uses the comprehensive control and data flow analysis in the LDRA Testbed to extract details about the unit interface, parameters, globals (input and output), return values, variable types, and usage and procedure calls.
Automatically generated driver program/test harness that can be executed in the host or target environment and that can eliminate the need for manual scripting
Configurable exception handling, which can also be subject to unit test whether or not exceptions are raised—allowing coverage to be achieved even when the raising of an exception would be impractical
Ability to group TCFs with regression reports, store them for regression verification, and save them with the source file via a software configuration management (SCM) system or used as an annotation
Complete analysis of complex logical conditions and the identification of compiler-added code to ensure full assembly level code coverage
