Abstract
This chapter introduces the theoretical basis of the stream X-machine based testing (SXMT) method. This generates test sets for a system specified as a stream X-machine whose application ensures that the system behaviour is identical to that of the specification provided that the system is made of fault-free components and some explicit “design for testing” requirements are met. The method was applied to examples in Chapters 3 and 5.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag London Limited
About this chapter
Cite this chapter
Holcombe, M., Ipate, F. (1998). Complete Functional Testing. In: Correct Systems. Applied Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3435-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3435-0_7
Publisher Name: Springer, London
Print ISBN: 978-3-540-76246-1
Online ISBN: 978-1-4471-3435-0
eBook Packages: Springer Book Archive