Expected Results & Status
Result: TCG algorithms for S-L R-B Testing
- automated test frame generation
Future Applications
- basis for formal industry standards for coverage
- early requirements validation
- formal verification of critical parts of designs (safety)
prototypes TCG(S)/QTCG(Q)
minimum impact to be implemented
CAATS example in progress (ROIDs tracing)
Expected completion: January 1998