What benefits can be expected by employing T-VECs methods and tools?
• Reduces overall lifecycle time and cost • Facilitates verification through automated test vector generation • Support for both structured and object-oriented specifications • Scalable hierarchical specifications • Concurrent development and verification • Reduces labor-intensive & error-prone tasks • Supports iterative verification • Improves management and accessibility • Obvious test traceability (every test is mapped to a specific requirement) • Formal specification permits capture of statistical information • Supports multiple specification methods and tools leveraging existing assets
