Case: Finding Hidden Bugs With T-VEC Solutions

Results

T-VEC solutions identified code bug in fewer than 12 hours that is probable cause of failure

T-VEC's capability for identifying hidden bugs was proven through this demonstration and showed that the bug that caused the crash could have been inexpensively identified and fixed.

  • T-VEC generated tests identifed a code bug that is likely cause of the failure.
  • Without support of the Lockheed Martin, the engineer in fewer than 12 hours analyzed and modeled the requirements, supporting test generation.
  • Lockheed Martin's Bob Knickerbocker stated that T-VEC's systematic approach supported by the tools provides a standardized test approach and a more thorough test capability than the manual approach.
  • The test driver generation mechanism provides the flexibility to simulate the real-time environment of the TDM code module.
  • These results suggest that the T-VEC solutions provide more standardized and thorough testing for verification of critical software and system functionality.
  • T-VEC solutions provide the capabilities to identify critical software and system defects to significantly minimize the risk where one bug can be catastrophic as in the case of the MPL failure.
  • The Problem
    Undiscovered code bug is likely cause of Mars Polar Lander crashs
  • The Approach
    Modeled textual requirements, generated tests and test drivers, and executed test
  • Implementation
    Apply T-VEC automated solution to model requirements, generate tests, and execute tests
  • Results
    T-VEC solutions identified code bug in fewer than 12 hours that is probable cause of failure