Mit Hilfe grundlegender statischer Programmanalysen und ggf. weiterer Abstraktion im Rahmen des Design Recovery werden Strukturen eines Softwaresystems ans Tageslicht befördert. Daraus entstehen sofort zwei Fragen:
In wie weit stimmen diese extrahierten Systemstrukturen mit den im Forward Engineering entworfenen Strukturen überein?
Erfüllen diese Strukturen bzw. das durch sie beschriebene Verhalten gewünschte Anforderungen?
Qualitätssicherung baut daher auf den Resultaten der darstellenden Verfahren auf. Anstelle lediglich Strukturen aufzudecken, ist der Hintergrund hier, Problemstellen zu identifizieren. Dies setzt also das Wissen um möglicherweise „schlechte“ Strukturen bzw. den Vergleich mit „guten“ Strukturen voraus. Vor der Diskussion einzelner Verfahren wird unter Allgemeines zu vergleichenden Verfahren auf generelle Möglichkeiten zur Problemidentifikation und Fehler eingegangen. Folgende konkrete Verfahren werden vorgestellt: