Verification and Analysis of Computer Systems
Die Verifizierung von Computersystemen ist eine Tätigkeit, bei der die Konsistenz, Vollständigkeit und Korrektheit der Software und der zugehörigen Dokumentation während der Entwicklung beurteilt wird.
Sie bestätigt und überprüft die Aufgaben innerhalb des Prozesses der Computersystemvalidierung. Die Computersystemvalidierung (CSV) oder Softwarevalidierung ist der Prozess, mit dem überprüft wird, ob ein Computersystem den beabsichtigten Zweck erfüllen kann und wie erwartet funktioniert.
Das klassische "V-Diagramm" ist die am häufigsten verwendete Methode für Validierungsprojekte. Diese Methodik umfasst verschiedene Phasen, nämlich Validierungsplanung, Benutzeranforderungsspezifikation (URS), funktionale Spezifikationen, Designspezifikationen, Systemaufbau, Installationsqualifizierungstests (IQ), Betriebsqualifizierungstests (OQ), Leistungsqualifizierungstests (PQ) und Berichterstattung. Ziel dieses Buches ist es, Licht in die Verifikation und Analyse von Computersystemen zu bringen.
Es besteht aus Beiträgen von internationalen Experten. Dieses Buch mit seinen detaillierten Analysen und Daten wird für Fachleute und Studenten, die sich auf verschiedenen Ebenen mit diesem Bereich der Informatik beschäftigen, von großem Nutzen sein.
| ISBN: | 9781647253752 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
