| |
|
| Artikel-Nr.: 858A-9783540558606 Herst.-Nr.: 9783540558606 EAN/GTIN: 9783540558606 |
| |
|
| | |
| Ü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. Weitere Informationen: | | Author: | Peter Liggesmeyer; Harry M. Sneed; Andreas Spillner | Verlag: | Springer Berlin | Sprache: | ger |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - deutschsprachig, allgemeine informatikbücher, Betriebssystem; Klassifikation; Qualitätssicherung; Softwaresysteme; Test; Validierung; Verifikation, Analysieren, Betriebssystem, Klassifikation, Qualitätssicherung, Softwaresysteme, Test, Testen, Validierung, Verifikation, Verifizieren |
| | |
| |