On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
A generic platform for addressing the multimodal challenge
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Tangible bits: towards seamless interfaces between people, bits and atoms
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Synchronous Programming of Reactive Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
“Put-that-there”: Voice and gesture at the graphics interface
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
ICARE: a component-based approach for the design and development of multimodal interfaces
CHI '04 Extended Abstracts on Human Factors in Computing Systems
ICARE software components for rapidly developing multimodal interfaces
Proceedings of the 6th international conference on Multimodal interfaces
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
A framework for the combination and characterization of output modalities
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Test of the ICARE platform fusion mechanism
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Automatically testing interactive multimodal systems using task trees and fusion models
Proceedings of the 6th International Workshop on Automation of Software Test
A new test modeling language for interactive applications based on task trees
Proceedings of the Fourth Symposium on Information and Communication Technology
Hi-index | 0.00 |
This paper presents a method for automatically testing interactive multimodal systems. The method is based on the Lutess testing environment, originally dedicated to synchronous software specified using the Lustre language. The behaviour of synchronous systems, consisting of cycles starting by reading an external input and ending by issuing an output, is to a certain extent similar to the one of interactive systems. Under this hypothesis, the paper presents our method for automatically testing interactive multimodal systems using the Lutess environment. In particular, we show that automatic test data generation based on different strategies can be carried out. Furthermore, we show how multimodality-related properties can be specified in Lustre and integrated in test oracles.