Literatur im Fachgebiet Informatik Test

Eine schlagwort­basierte Auswahl unserer Fachbücher

Selbsttestbare Steuerwerke (Habilitation)

Selbsttestbare Steuerwerke

Strukturen und Syntheseverfahren

Forschungsergebnisse zur Informatik

Die großen Fortschritte in der Fertigungstechnologie für mikroelektronische Systeme erlauben mittlerweile, hochkomplexe Systeme auf einem Chip zu realisieren. Solche Systeme, die in der Regel verschiedene Komponenten, wie zum Beispiel eingebettete Prozessoren, Speicher und anwendungsspezifische Logik integrieren,…

Testing cycling software components of reactive systems on the basis of formal specifications (Forschungsarbeit)

Testing cycling software components of reactive systems on the basis of formal specifications

Forschungsergebnisse zur Informatik

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal requirements in the area of safety-critical embedded software systems, can…
Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen (Forschungsarbeit)

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Forschungsergebnisse zur Informatik

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die Wartung bestehender Software. Diese Situation macht eine…

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen (Forschungsarbeit)

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

Studien zur Datenbankforschung

Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch…

Spieltheoretische Untersuchung von Problemen der Datenverifikation (Forschungsarbeit)

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Forschungsergebnisse zur Informatik

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten und berichtet Daten, die dieses legale Verhalten bestätigen sollen.…

Literatur: Test / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač