Liggesmeyer / Spillner / Sneed | Testen, Analysieren und Verifizieren von Software | Buch | 978-3-540-55860-6 | sack.de

Buch, Deutsch, Englisch, 186 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g

Reihe: Informatik aktuell

Liggesmeyer / Spillner / Sneed

Testen, Analysieren und Verifizieren von Software

Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
Erscheinungsjahr 1992
ISBN: 978-3-540-55860-6
Verlag: Springer Berlin Heidelberg

Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992

Buch, Deutsch, Englisch, 186 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g

Reihe: Informatik aktuell

ISBN: 978-3-540-55860-6
Verlag: Springer Berlin Heidelberg

zu k1lnnen.

Liggesmeyer / Spillner / Sneed Testen, Analysieren und Verifizieren von Software jetzt bestellen!

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Liggesmeyer, Peter
Spillner, Andreas
Sneed, Harry M.

Weitere Infos & Material

Ü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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.