A method to automate user interface testing using variable finite state machines
- 22 November 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A method has been developed that allows automating a portion of interface testing. A core component of this method is a simple, yet flexible way to specify a formal model of a user interface, named variable finite state machines (VFSM). The model can be converted into an equivalent finite state machine, from which tests can be generated. The method has been applied to the user interface of Navigator II, a wearable computer system employed by aircraft repair personnel. A VFSM model of the interface was constructed and used to generate 5,968 tests, each composed of an input sequence and its corresponding expected output sequence. The tests were then applied to an instrumented form of the interface, and the results were compared to the expected output. From the data collected, three error sources were detected in the original interface that had escaped months of previous debugging efforts and field usage.Keywords
This publication has 5 references indexed in Scilit:
- Matching interface design with user tasks. Modalities of interaction with CMU wearable computersIEEE Wireless Communications, 1996
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- A protocol test generation procedureComputer Networks and ISDN Systems, 1988
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970