Qualitätsmerkmal von Software (ISO 25010), das beschreibt, wie gut sich ein System durch Tests auf Korrektheit überprüfen lässt.