Eliminating More System Defects with T-VEC Solutions
Implementation
Apply T-VEC automated solution while comparing results with current manual processes
Company R's software team applied T-VEC tools and methods while comparing it to other requirements-driven model-based tools and methods.
FGS requirements were specified using variants of the Software Cost Reduction (SCR) method.
First variant, referred to as CoRE, had no tool, but through a precise manual language and inspection technique, Company R was able to identify 33 requirement defects.
Second variant, based on a tool for SCR revealed 27 additional defects through automated tool analysis.
Third variant, based on T-VEC tools revealed addition 6 defects not previously identified.
Fourth variant, based on Offutt method revealed 2 defects.
Fifth variant, based on second generation of T-VEC tools revealed an additional 25 for a total of 85 defects.
T-VEC tools provide only solution to generate tests and test drivers that were used to test the product implementation against the requirement-generated tests.
The Problem Manual techniques were missing significant numbers of requirement and code defects
The Approach Automated analysis of modeled requirements with test generation
Implementation Apply T-VEC automated solution while comparing results with current manual processes
Results T-VEC solutions identified defects missed by manual and other tools and method