Abstract
A major problem in the field of automatic test derivation from LOTOS and other formal description techniques is that resulting complete tests become too large to be useful in practice. This paper describes how a new automatic test derivation method exploits parallelism in the specification to overcome this problem. The method uses a fault model in order to define possible faults that the test has to investigate. Thus the method avoids the well-known state space explosion problem, and it, therefore, generates short test sequences with high fault coverage. The length of the test sequence grows only linear with the number of subbehaviours in a parallel expression.
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.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
ISO, “LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, International Standard ISO 8807, Geneve 1989.
E. Brinksma, “A theory for the derivation of tests” in PSTV VIII, North Holland, Amsterdam 1988, pp. 63–74.
P. Tripathy, B. Sarikaya, “Test Generation from LOTOS Specifications”, IEEE Transactions on Computers, Vol. 40, No. 4, April 1991, pp. 543–552.
P. Sidhu, T./K. Leung, “Formal Methods for Protocol Testing: A Detailed Study”, IEEE Transactions on Software Engineering, Vol. 15, No. 4, April 1989 pp. 413–426.
A. Petrenko, G. v. Bochmann, R. Dssouli, “Conformance relations and test derivation” in IWPTS VI, Ir1P, 1993, pp. 161–182.
S. T. Vuong, J. Alilovic-Curgus, “On Test Coverage Metrics for Communication Protocols” in IWPTS IV, North-Holland, Amsterdam 1992, pp. 31–45.
A. Ulrich, H. König, “Test Derivation from LOTOS using Structure Information” in IWPTS VI, 1993, pp. 283–297.
R. J. Velthuys, J. M. Schneider, G. Zörntlein, “A test derivation method based on exploiting structure information” in PSTV XII, Florida, June 1992.
S. Naito, M. Tsunoyama, “Fault-Detection for Sequential-Machines by Transition-Tours” in: Proceedings of the Eleventh Annual International Symposium on Fault-Tolerant Computing, IEEE, Portland 1981.
A. Gill, “Introduction to the Theory of Finite State Machines”, McGraw Hill, 1962.
G. v. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi, G. Luo, “Fault Models in Testing” in IWPTS IV, North Holland, Amsterdam 1992, pp. 17–30.
J.-P. Wu, S. T. Chanson, “Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification” in FORTE ‘89, Elsevier Science Publishers B. V., North-Holland, Amsterdam 1990, pp. 533–549.
ISO, “OSI Conformance Testing Methodology and Framework”, International Standard ISO DP 9646, Geneve 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pleßer, V. (1995). On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive