Diese Seite gibt einen Einstieg in das Themengebiet Abnahme. Sie stellt verschiedene Aspekte der Abnahme dar und verweist auf weitere Seiten dieses Themas.
Activity-Charts ähneln hierarchischen Datenflußdiagrammen, d.h. die einzelnen funktionalen Komponenten (Activities) werden identifiziert und anschließend die (potentiellen) Kontroll- und Datenflüsse zwischen ihnen eingezeichnet.
Ein endlicher Automat ist ein Modell eines Systems mit Ein- und Ausgaben, welches auf Basis einer endlichen Anzahl von möglichen (internen) Konfigurationen arbeitet, bestimmte Eingabewörter akzeptiert und ...
Formale Logiken sind der Teil der formalen Sprachen, bei denen durch (u.U. automatisch durchführbare) Symbolmanipulation Schlüsse gezogen werden können. Damit solche Schlüsse möglich sind, müssen eine formale Syntax und eine Semantik definiert sein.
Software Inspektion ist eine statische Methode zur Softwarequalitätsverbesserung und Fehlerkostenreduktion. Dabei wird ein Softwaredokument von einem oder mehreren Inspektoren auf Fehler oder Mängel hin untersucht.
Die Methode der (formalen) Spezifikation beschreibt die (formale) Zusammenstellung derjenigen Eigenschaften, die für die (formale) Korrektheit eines in Entwicklung befindlichen Systems (oder eines Modells) nötig.
TTCN (die Testing and Test Control Notation TTCN-3) ist eine weit verbreitete und eingesetzte Testtechnologie - traditionell aus der Telekommunikation. In seiner neuen Version adressiert TTCN-3 einen breiteren Bereich und ermöglicht eine weite Anwendbarkeit. Es kann nicht nur für das Testen der Konformität und Interoperabilität von Kommunikationsprotokollen, sondern auch beispielsweise für das Testen der Interaktion von Sensoren, Aktuatoren und Steuereinheiten, die über Bussysteme angeschlossen werden, genutzt werden.
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Abnahme – Überblick
Abnahmeprozess