A method to automate user interface testing using variable finite state machines

Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Volumn , Issue , 1997, Pages 80-88

  Shehady, Richard K ^a   Siewiorek, Daniel P ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INTERFACE STATES;

AIRCRAFT REPAIRS; CORE COMPONENTS; DEBUGGING EFFORTS; ERROR SOURCES; FORMAL MODEL; INPUT SEQUENCE; INTERFACE TESTINGS; OUTPUT SEQUENCES;

USER INTERFACES;

EID: 84957710750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1997.614080     Document Type: Conference Paper

References (11)

1. S. Andriole, "Software Validation, Verification, Testing & Documentation," Petrocelli Books, Princeton, NJ, 1986.
2. W.E. Howden, "A Survey of Dynamic Analysis Methods," in Tutorial: Software Testing & Validation Techniques, IEEE Press, 1981.
3. G. Gonenc, "A method for the design of fault detection experiments," IEEE Trans. Computer, Vol. C-19, pp. 551-558, June 1970.
4. T.S. Chow, "Testing Design Modeled by Finite State Machines," IEEE Trans. on Software Eng. 4(3), 1978.
5. S. Naito, M. Tsunoyama, "Fault Detection for Sequential Machines by Transition Tours," Proc. of Fault Tolerant Computing Symposium, pp. 238-243, 1981.
6. K.K. Sabnani, A.T. Dahbura, "A protocol testing procedure," Computer Networks and ISDN System, 15(4): 285-297, 1988.
7. S. Fujiwara, G. V. Bochmann, F. Khendek, M. Ama-Ioua Ghedemsi, "Test selection based on finite state models," IEEE Trans. on Soft Eng., 17(6): 591-603, 1991.
8. A. Ghedemsi, G. v. Bochmann, "Diagnostic Tests for Finite State Machines," Univ de Montreal, Montreal, January 1992.
9. A. Ghedemsi, "Test selection and diagnostic methods," TR, Univ de Montreal, Montreal, February 1991.
10. R. Shehady and D. Siewiorek, "A Methodology to Automate User Interface Testing," EDRC Tech Report, December 1996.
11. A. Smailagic, D. Siewiorek, "Modalities of Interaction with CMU Wearable Computers," IEEE Personal Communications, 3(1): 15-25, February 1996