Case: 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