Abstract
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.
The original version of the book was revised: The copyright line was incorrect. The Erratum to the book is available at DOI: 10.1007/978-3-540-92698-6_37
Chapter PDF
References
Benveniste, A., Caillaud, B., Le Guernic, P.: From synchrony to asynchrony. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 162–177. Springer, Heidelberg (1999)
Barnard, P., May, J.: Cognitive Modelling for User Requirements. Computers, Communication and Usability: Design issues, research and methods for integrated services, pp. 101–146. Elsevier, Amsterdam (1993)
Blandford, A., Young, R.: Developing runnable user models: Separating the problem solving techniques from the domain knowledge. In: Proc. of HCI 1993, People and Computers VIII, pp. 111–122. Cambridge University Press, Cambridge (1993)
Bolt, R.: Put That There: Voice and Gesture at the Graphics Interface. In: Proc. of SIGGRAPH 1980, pp. 262–270. ACM Press, New York (1980)
Bouchet, J., Nigay, L., Ganille, T.: ICARE Software Components for Rapidly Developing Multimodal Interfaces. In: Proc. of ICMI 2004, pp. 251–258. ACM Press, New York (2004)
Bouchet, J., Nigay, L.: ICARE: A Component-Based Approach for the Design and Development of Multimodal Interfaces. In: Proc. of CHI 2004 extended abstract, pp. 1325–1328. ACM Press, New York (2004)
Coutaz, J., Nigay, L., Salber, D., Blandford, A., May, J., Young, R.: Four Easy Pieces for Assessing the Usability of Multimodal Interaction: The CARE properties. In: Proc. Of INTERACT 1995, pp. 115–120. Chapman et Hall, Boca Raton (1995)
d’Ausbourg, B.: Using Model Checking for the Automatic Validation of User Interfaces Systems. In: Proc. of DSV-IS 1998, pp. 242–260. Springer, Heidelberg (1998)
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.: Lutess: a Specification Driven Testing Environment for Synchronous Software. In: Proc. of ICSE 1999, pp. 267–276. ACM Press, New York (1999)
Duke, D., Harrison, M.: Abstract Interaction Objects. In: Proc. of Eurographics 1993, pp. 25–36. North Holland, Amsterdam (1993)
Dupuy-Chessa, S., du Bousquet, L., Bouchet, J., Ledru, Y.: Test of the ICARE platform fusion mechanism. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol. 3941, pp. 102–113. Springer, Heidelberg (2006)
Griffeth, N., Blumenthal, R., Gregoire, J.-C., Ohta, T.: Feature Interaction Detection Contest. In: Proc. of Feature Interactions in Telecommunications Systems V, pp. 327–359. IOS Press, Amsterdam (1998)
Halbwachs, N.: Synchronous programming of reactive systems, a tutorial and commented bibliography. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 1–16. Springer, Heidelberg (1998)
Ishii, H., Ullmer, B.: Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms. In: Proc. of CHI 1997, pp. 234–241. ACM Press, New York (1997)
Jourde, F., Nigay, L., Parissis, I.: Test formel de systèmes interactifs multimodaux: couplage ICARE – Lutess. In: Proc. of 19èmes Journées Internationales du génie logiciel (in french)
Madani, L., Parissis, I., Nigay, L.: Testing the CARE properties of multimodal applications by means of a synchronous approach. In: IASTED Int’l Conference on Software Engineering, Innsbruck, Austria (February 2005)
Madani, L., Oriat, C., Parissis, I., Bouchet, J., Nigay, L.: Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In: Proc. of Int’l Symposium on Software Reliability Engineering (ISSRE 2005), pp. 325–334. IEEE Computer Society, Los Alamitos (2005)
Nigay, L., Coutaz, J.: A Generic Platform for Addressing the Multimodal Challenge. In: Proc. of CHI 1995, pp. 98–105. ACM Press, New York (1995)
Ouabdesselam, F., Parissis, I.: Constructing Operational Profiles for Synchronous Critical Software. In: Proc. of Int’l Symposium on Software Reliability Engineering (ISSRE 1995), pp. 286–293. IEEE Computer Society, Los Alamitos (1995)
Mori, G., Paterno, F., Santoro, C.: CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. In: IEEE Transactions on Software Engineering, pp. 797–813 (August 2002)
Palanque, P., Bastide, R.: Verification of Interactive Software by Analysis of its Formal Specification. In: Proc. of INTERACT 1995, pp. 191–197. Chapman et Hall, Boca Raton (1995)
Parissis, I., Ouabdesselam, F.: Specification-based Testing of Synchronous Software. In: Proc. of ACM SIGSOFT, pp. 127–134. ACM Press, New York (1996)
Paterno, F., Faconti, G.: On the Use of LOTOS to Describe Graphical Interaction. In: Proc. of HCI 1992, pp. 155–173. Cambridge University Press, Cambridge (1992)
Thimbleby, H., Cairns, P., Jones, M.: Usability Analysis with Markov Models. ACM Transactions on Computer Human Interaction 8(2), 99–132 (2001)
Vernier, F., Nigay, L.: A Framework for the Combination and Characterization of Output Modalities. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 32–48. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouchet, J., Madani, L., Nigay, L., Oriat, C., Parissis, I. (2008). Formal Testing of Multimodal Interactive Systems. In: Gulliksen, J., Harning, M.B., Palanque, P., van der Veer, G.C., Wesson, J. (eds) Engineering Interactive Systems. EHCI 2007. Lecture Notes in Computer Science, vol 4940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92698-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-92698-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92697-9
Online ISBN: 978-3-540-92698-6
eBook Packages: Computer ScienceComputer Science (R0)