İşlevsel doğrulama, bakım veya yeniden devreye alma sonrasında sistemin yalnızca hazır sinyali üretmesini değil, beklenen işi gerçekçi koşullarda doğru sonuçla tamamlamasını sınamaktır. Gösterge durumu, temsilî işlem ve uçtan uca veri akışı ayrı savunma katmanlarıdır; biri diğerinin kanıtı sayılmaz.