Case: Increasing Software Development Throughput with T-VEC Solutions

The Problem

Excessive time and staff needed to verify and validate software module

Company A, supplier of aircraft avionic software and systems, wanted to improve the efficiency and effectiveness of regression testing for changes to existing code.

  • Company A needed to update the functionality of a software module for aircraft navigation.
  • Verification and validation of such complex and critical software historically required extensive testing resources.
  • Company A's management projected that it would require six engineers twenty-six weeks to complete re-verification of the update.
  • T-VEC's powerful model-based testing tools were used to improve the process.
  • The Problem
    Excessive time and staff needed to verify and validate software module
  • The Approach
    Automated validation and verification based on requirements models
  • Implementation
    Developement staff applies T-VEC solutions
  • Results
    Dramatic reduction in cost and effort, while achieving rigorous FAA DO-178B safety and certification requirements