Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


SICHERHEIT 2005, Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-8. April 2005 in Regensburg. GI 2005 P-62, 149-160 (2005).

GI, Gesellschaft für Informatik, Bonn
2005


Editors

Hannes Federrath (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Test cost reduction for interactive systems

F. Belli and C. J. Budnik

Abstract


A model-based approach for minimization of test sets for human-computer interactions is introduced. Test cases are efficiently generated and selected to cover the behavioral model of the system under test (SUT) and its fault model that is constructed by complementing the original model. Results known from statebased conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering structural features of the SUT.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-391-1


Last changed 24.01.2012 21:48:53