Case: Increasing Software Development Throughput with T-VEC Solutions

The Approach

Automated validation and verification based on requirements models

T-VEC helps developers establish requirements-driven testing processes by providing the necessary tools and consulting services.

  • Development or testing teams build comprehensive, precise models of software requirements.
  • Teams test the models to eliminate defective requirements before coding begins. T-VEC tools automatically generate comprehensive tests from the refined model.
  • T-VEC tests can then be compiled into an executable test program.
  • Teams execute the test program in conjunction with the main program. The test program records defects in the main program and identifies all unmet requirements.
  • Comprehensive reports of defects and unmet requirements produced by T-VEC tools guide teams in efficient defect elimination.
  • 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