T-VEC/sup TM/ product summary

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.