TAV
Test, Analyse, Verifikation (von Software)
Definition
TAV steht für Test, Analyse und Verifikation und bezeichnet einen systematischen Prozess zur Qualitätssicherung von Software. Dieser Ansatz umfasst das Testen der Software auf Fehler, die statische und dynamische Analyse des Quellcodes sowie die formale Verifikation der Korrektheit gegenüber der Spezifikation. TAV ist ein wesentlicher Bestandteil professioneller Softwareentwicklungsprozesse.