Abstract
We describe the use of test templates in test generation from deterministic Finite State Machines. A test template is an expression in a formal language that describes a test or group of tests. Such templates can be used to guide the test generation process.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Chapter PDF
Similar content being viewed by others
References
S.P. van de Burgt, J. Kroon, E. Kwast, H.J. Wilts. The RNL Conformance Kit. In: J. de Meer, L. Mackert and W. Effelsberg, eds., Proc. of the 2nd International Workshop on Protocol Test Systems, pp. 279–294. North-Holland, 1989.
E.M. Clarke, E.A. Emerson, A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specification. In: ACM Transactions in Programming Languages and Systems, Vol. 8, No. 2, 1986, pp. 244–263.
L.M.G. Feijs, F.A.C. Meijs, J.R. Moonen, J.J. van Wamel. Conformance Testing of a Multimedia System Using PHACT. In: A. Petrenko, N. Yevtushenko, Testing of Communicating Systems, Proceedings of IWTCS’98, pp. 193–210, Kluwer, 1998.
ISO. Information Technology — Open Systems Interconnection, Conformance Testing Methodology and Framework — Part 3: Tree and Tabular Combined Notation. International Standard IS)/IEC 9646–3, 1991.
H. Ural. Formal methods for test sequence generation. In: Computer Communications, Vol 15, No. 5, 1992, pp. 311–325.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Hollenberg, M. (1999). Test Templates for Test Generation. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive