Title :
T-VECTM product summary
Abstract :
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
Keywords :
computer aided software engineering; program testing; program verification; software packages; software quality; software tools; T-VEC; automated specification-based testing; automatic test vector generation; design specifications; development time; software development life cycle; software quality; software requirement; software verification; specification analysis capabilities; test driver generation; Certification; Debugging; FAA; Guidelines; Manuals; Manufacturing automation; Packaging; Production facilities; Qualifications; System testing;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766302