Eliminating More System Defects with T-VEC Solutions
The Approach
Automated analysis of modeled requirements with test generation
Company R software developers used T-VEC tools to construct precise models of software requirements, automate defect analysis, and automatically generate tests.
Software teams built comprehensive, precise models of FGS software requirements.
T-VEC tools used to automatically analyze models to identify requirement defects before coding begins.
T-VEC tools automatically generated comprehensive tests from the requirement models.
Test scripts and harnesses generated by T-VEC tools to support automated test execution of avionics software.
T-VEC tools used to generate test results report comparing expected output to actual output.
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