• DocumentCode
    338461
  • Title

    T-VECTM product summary

  • fYear
    1998
  • fDate
    1998
  • Firstpage
    86
  • Lastpage
    87
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
  • Conference_Location
    Boca Raton, FL
  • Print_ISBN
    0-7695-0081-1
  • Type

    conf

  • DOI
    10.1109/WIFT.1998.766302
  • Filename
    766302