Abstract
I will present in my talk a problem typical for the activity of telecommunications operators where formal methods should bring some help: validating equipment (for example, cellphones) which is supposed to act as an interpreter for an XML-like language (in that case, WML, a script language for the WAP protocol). Testing interpreters suppose that test scripts have to be separated in two parts: a data part which is a program in the interpreted language, and a script part which describes what the interpreted program is supposed to do if it is correctly interpreted. The data part is very often reduced to very simple programs exercising only one feature of the language, and the script part is then informal, in general a description in natural language. This does not enable to exercise combinations of features of the interpreted language. To change this situation, it would be necessary to encode in some way the semantics of the interpreted language. From that encoding, and from a significant program in the interpreted language, automatic test generation tools derived from model-checking technology will provide test suites of hopefully better quality.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yves-Marie, Q. (2002). A Typical Testing Problem: Validating WML Cellphones. In: Bošnački, D., Leue, S. (eds) Model Checking Software. SPIN 2002. Lecture Notes in Computer Science, vol 2318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46017-9_20
Download citation
DOI: https://doi.org/10.1007/3-540-46017-9_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43477-1
Online ISBN: 978-3-540-46017-6
eBook Packages: Springer Book Archive