
 Das Wort Nachbedingung bezeichnet: Siehe auch: Vorbedingung ...
Gefunden auf 
https://de.wikipedia.org/wiki/Nachbedingung
 [Informatik]
[Informatik] -  Die Nachbedingungen einer Funktion oder eines Programms geben an, welche Aussagen nach der Ausführung gelten müssen, falls zuvor die Vorbedingungen erfüllt waren. Die Nachbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation: Wenn die Vorbedingung gilt, ...
Gefunden auf 
https://de.wikipedia.org/wiki/Nachbedingung_(Informatik)

Zustand des Testobjekts (und/oder der Umgebung), in dem sich das Testobjekt (oder die Umgebung) nach Ausführung eines Testfalls oder einer Testsequenz befindet.
Gefunden auf 
https://www.imbus.de/glossar/
  Keine exakte Übereinkunft gefunden.