Towards minimization of test sets for human-computer systems

Authors:
Fevzi Belli;Christof J. Budnik
Affiliations:
University of Paderborn, Paderborn, Germany;University of Paderborn, Paderborn, Germany
Venue:
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Year:
2005

Citing 11
Cited 0

Network flows: theory, algorithms, and applications

Network flows: theory, algorithms, and applications
Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
Automated test oracles for GUIs

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Interface Mutation: An Approach for Integration Testing

IEEE Transactions on Software Engineering
A Test Generation Strategy for Pairwise Testing

IEEE Transactions on Software Engineering
A Method to Automate User Interface Testing Using Variable Finite State Machines

FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
On the use of transition diagrams in the design of a user interface for an interactive computer system

ACM '69 Proceedings of the 1969 24th national conference
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Finite-State Testing and Analysis of Graphical User Interfaces

ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Using Spanning Sets for Coverage Testing

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model-based approach for minimization of test sets for human-computer systems is introduced. Test cases are efficiently generated and selected to cover both the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets.