T-VEC Product Summary
Open Api · 1998
T-VEC’s mission is to be the leading supplier of software verification and testing solutions and to enable our customers to improve their software quality while reducing development time and cost. To that end, we provide a premier set of methods and tools to automate key elements of the software development life cycle, thereby eliminating many labor-intensive and error-prone tasks. Our approach is based on automated specification-based testing. The T-VEC toolset performs automatic test vector and test driver generation from software requirement and design specifications. In addition the toolset provides powerful specification analysis capabilities to ensure consistency and completeness early in the life cycle. T-VEC Factory The T-VEC Factory packages a set of core and support tools to automate specificationbased testing. The toolset is designed to operate on rigorous software specifications in a modeling language referred to as the T-VEC Linear Form. Specifications may be created directly in the Linear Form or translated from other modeling languages. The core tools provide the Factory’s primary functionality to support verification. The functionality includes: