The quality of embedded code is only as good as its test process.
As such, adopting a quality and reliability oriented design and testing
approach is key in the success of an embedded application development
project.
BEACON's automated unit test tool (AUTT) incorporates decades of embedded
software testing experience into an affordable development tool. Executing
the software tests is a small portion of the entire test process.
Analysis of the software architecture for the purpose of extracting
test cases is an extremely time consuming and laborious task. Reducing
the amount of time developers need to spend analyzing and creating
system tests, increases the time available for new development.
AUTT exhaustively examines the coverage of the software architecture
using the following methods:
Path-Related
o Structured Path Coverage
o Modified Condition / Decision Coverage
o Decision (Branch) Coverage
o Statement Coverage
o Boundary Value Analysis (arithmetic comparisons) Value-Related
Stressing
o Input Range Stressing
o Output Range Stressing
o Table Data Access Interface-Related
o Stub Hierarchy Coverage
o Inlined Hierarchy Coverage
In addition, AUTT exhaustively analyzes the software architecture
using the following methods:
McCabe
Complexity Cylcomatic Metric
o Standard
o Modified Predicate
Equation Production for Control Paths Control Path
Enumeration Data Item
Listing with Usage Information Vertical
Output Coupling Analysis Supremum
Range Analysis Supremum
Scaling Analysis
AUTT provides results that allow developers to perform comprehensive
embedded system testing. AUTT results include:
Input
vectors for each unit test case Expected
output vector for each test case Coverage
Summary Report Clear identification
of the required and achieved coverage Unit level
analysis and documentation for selected analysis types
AUTT reduces the time for system development by reducing the time
spent during the formal test process. In addition, it applies expert
test theory to ensure maximum reliability.
Path-Related