Case: Eliminating More System Defects with T-VEC Solutions

Results

T-VEC solutions identified defects missed by manual and other tools and method

Company R's evaluation of model-based analysis and test generation approach demonstrated to management that tools provide a more systematic and comprehensive approach to support cost-effective development of complex safety-critical software.

  • More recent applications of T-VEC solutions by Company R have demonstrated its total software development costs using a full model-based development environment, including auto-code and auto-test could save up to 52% of development cost on safety critical products.
  • 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