Overview
Software testing of high integrity code requires greater analysis of
the source code and a greater degree of coverage attained to prove correctness to certification
bodies. This can be achieved by the extra testing option for the LDRA tool suite - TBsafe.
TBsafe provides developers, testers and managers of high integrity software
with a set of analysis tools to test their code rigorously to exacting standards for example
D0-178B, Def Stan 00-55 and IEC 61508. TBsafe is particularly suited to gaining certification
from outside bodies.
TBsafe Features Summary
Information Flow Analysis
This module is both a powerful documentation tool and an excellent
defect detector. To detect defects however, the user must know what the dependencies should
be. Additionally, changes in these dependencies following maintenance can highlight incorrect
alterations. For more information click here.
Exact Semantic Analysis
When used in conjunction with Dynamic Coverage Analysis, assertions
are checked over an extremely wide set of paths. It can also be utilised as a system for
producing diagnostics. For more information click here.
MC/DC Coverage
Essential for DO-178B Level A certification, this extra coverage
means that possible errors will be hit and there is a greater confidence level in the
code when conditions are tested. For more information click here.
Safe Subsets
Safe subsets for high integrity applications have been devised
because the use of some standard features of a programming language can be dangerous
e.g. dynamic memory allocation on a target that has fixed memory allocation could
lead to the possibility of exhausting available memory. LDRA Testbed utilises a
checking system to flag the use of outlawed language features. For more information
on programming standards checking click here.
Dynamic Data Flow Coverage
Dynamic Data Flow Coverage produces a cross reference list of
variables, which documents where they are utilised within the source file(s) or
system under test and their type. The module then maps coverage information onto
each variable entry in the table for Current and Combined datasets. For more
information click here.
Obtaining Further Information
For further information on TBsafe and availability please complete the LDRA reply form or email .
|
