Abstract
This paper presents a case study which is the test of a voice-based service. To develop this application, we propose new functionalities for testing languages and a new language called LaTe that implements them.
With LaTe, one testing scenario can describe several different executions and the interpreter tries to find the execution that best fits with the real behavior of the System Under Testing (SUT).
We propose an operational semantics of these non-deterministic operators. Experimental results of the test of the voice-based service are also included.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Thomas, D.E., Moorby, P.R.: The Verilog Hardware Description Language, 3rd edn. Kluwer Academic Publishers, Dordrecht (1996)
Offerman, A., Goor, A.: An experimental user level implementation of tcp. Technical Report 1-68340-44(1997)07, Delft University of Technology (1997)
Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Transactions on Communications 39, 1604–1615 (1991)
Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology 3, 101–130 (1994)
Cheon, Y., Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, p. 231. Springer, Heidelberg (2002)
Beck, K., Gamma, E.: Junit test infected: Programmers love writing tests. Technical report, Java Report (1998)
Massol, V., Husted, T.: JUnit In Action. Manning (2003)
ITU-T Z.140: The Tree and Tabular Combined Notation Version 3 (TTCN-3): Core Language (2001)
Pickin, S., Jard, C., Le Traon, Y., Jézéquel, J., Le Guennec, A.: System test synthesis from uml models of distributed software. In: FORTE 2002, IFIP Int. Conf. on Formal description techniques, Houston, Texas (2002)
Ghriga, M., Frankl, P.G.: Adaptive testing of non-deterministic communication protocols. In: Protocol Test Systems, pp. 347–362 (1993)
Fernandez, J.C., Jard, C., Jéron, T., Viho, G.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 348–359. Springer, Heidelberg (1996)
Tock, L.P.: The bcg postscript format. Technical report, INRIA Rhône-Alpes (1995)
Fernandez, J.C.: Aldebaran user’s manual. Technical report, Laboratoire de Génie Informatique - Institut IMAG (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
de Rosière, E.D., Jard, C., Parreaux, B. (2006). LaTe, a Non-fully Deterministic Testing Language. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds) Testing of Communicating Systems. TestCom 2006. Lecture Notes in Computer Science, vol 3964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754008_5
Download citation
DOI: https://doi.org/10.1007/11754008_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34184-0
Online ISBN: 978-3-540-34185-7
eBook Packages: Computer ScienceComputer Science (R0)