Difference between revisions of "VGS Advanced Topics"

From T-VEC Wiki
Jump to: navigation, search
 
(Failure Analysis)
Line 12: Line 12:
  
 
==Failure Analysis==
 
==Failure Analysis==
 +
The Coverage Analysis report provides a summary of potential problems that have occurred during the compilation process or the vector generation process.
 +
 +
Compiler errors are tautological problems.
 +
 +
Vector generation failures fall into 1 of 6 basic categories.
 +
 +
Categories 1-3 are:
 +
 +
Convergence errors detected BEFORE subsystem references are enabled
 +
 +
:1. Relational Operator Failure
 +
:2. Arithmetic Operator Failure
 +
:3. Arithmetic Exception
 +
 +
Categories 4-5 are:
 +
 +
Convergence errors detected AFTER subsystem references are enabled. Category 4 and 5 failures are higher level failures that result from combinations of category 1-3 failures within the utility subsystem forest leading to an overall failure to find a single good FCP compatible with the constraints of the main system.
 +
 +
:4. Subsystem forest completely incompatible with initial ground-term-based state space of main system
 +
 +
:5. One or more FCP's are compatible with initial state space of main system, but no FCP is compatible beyond ground-term-based state space.
 +
 +
Category 6 is:
 +
 +
:6. Computation failure in the post-condition expression after constraint convergence has completed successfully.

Revision as of 19:39, 20 February 2007