Test minimization for human-computer interaction |
| |
Authors: | Fevzi Belli Christof J Budnik |
| |
Affiliation: | (1) University of Paderborn, EIM-E, Warburger Str. 100, 33098 Paderborn, Germany |
| |
Abstract: | This paper introduces a model-based approach for minimization of test sets to validate the interaction of human-computer systems.
The novelty of the approach is twofold: (i) Test cases generated and selected holistically cover both the behavioral model and the complementary, fault model of the system under test (SUT). (ii) Methods known from
state-based conformance testing and graph theory are extended to construct efficient, heuristic search-based algorithms for
minimizing the test sets that are constructed in step (i), considering also structural features. Experience shows that the
approach can help to considerably save test costs, up to 60%
Fevzi Belli received the M.S., Ph.D., and Habilitation degrees in electrical engineering and computer science from the Berlin Technical
University. He is presently a Professor of Software Engineering in the Faculty of Computer Science, Electrical Engineering
and Mathematics, University of Paderborn, Paderborn, Germany. Prior to this, he headed several projects at a software house
in Munich, was a Professor of Computing Science at the Hochschule Bremerhaven and a faculty member of the University of Maryland,
European Division. He chaired several international conferences, e.g., ISSRE 1998 and is author and co-author of more than
100 papers published in scientific journals and conference proceedings. His research interests are in testing/fault tolerance/reliability
of software and programming techniques.
Christof J. Budnik received the MS degree in electrical engineering and computer science in 2001 from the University of Paderborn. In 2002,
he joined the Department of Computer Science, Electrical Engineering and Mathematics at the same University where he is currently
a faculty member. His research interests are in the areas of software quality, testing of interactive systems and safety-critical
user interfaces. |
| |
Keywords: | Fault diagnosis Model-based reasoning and testing Test generation/test selection Chinese postman problem Event sequence graph Test coverage Minimal spanning set |
本文献已被 SpringerLink 等数据库收录! |
|