Testen, Analysieren und Verifizieren von Software

SOMMARIO

Überblick und Klassifikation.- Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren.- Klassifikation von Software-Testmethoden.- Zur Formalisierung von Testkonzepten.- Werkzeuge.- The MicroTest Integrated Test Environment.- Methoden und Werkzeuge zur Automatisierung des Software-Tests.- TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest.- Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung.- Prüfen umfangreicher Softwaresysteme.- Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme.- Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge.- Testen in der Wartungsphase — Erfahrungen im Bereich des Regressionstests.- Testen paralleler Betriebssysteme.- Formale Ansätze zur Softwareprüfung.- Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.- Ein stochastisches Fehlermodell zur Kommunikation.- Validation und Verifikation von Software durch symbolische Ausführung.- Prüfen objektorientierter Softwaresysteme.- Test Activities for Object-Oriented Software Development.- Ein experimentelles Testsystem für die Sprache HyperTalk.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540558606
• Collana: Informatik aktuell
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: VIII, 186 S. 58 Abb.
• Pagine Arabe: 186
• Pagine Romane: viii