Abstract
Formal methods, testing and test generation are in this paper discussed from a pragmatical industrial perspective and in particular as seen from a CASE tool vendors point of view. Since a CASE tool vendor survives by convincing potential customers that they will make money by buying (sometimes expensive!) tools, he needs good sales arguments. So, how do formal methods, testing and test generation fit into this? Essentially the idea is to show that a development process supported by tools based on these concepts is more efficient, giving higher quality to a lower cost, than the currently used process.
The SOMT method provides such a process based on object oriented analysis and formal methods, and the requirements and testing track of this method is the main subject of this paper. As a complement to the method also the necessary tool support is discussed and exemplified with features from the Telelogic Tau tool set.
Chapter PDF
Similar content being viewed by others
References
Ek, A. (1993), Verifying Message Sequence Charts with the SDT Validator. In Proc. 6th SDL Forum,Darmstadt, 1993, North-Holland.
Ek, A., Grabowski, J., Hogrefe, D., Jerome, R., Koch, B. and Schmitt, M. (1997) Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications, In Proc. 8th SDL Forum,Evry, France, Elsevier.
Jacobson, I. et al (1992), Object-Oriented Software Engineering, Addison-Wesley.
OMG 1997, The Unified Modelling Language Version 1.1,Object Management Group.
Schmitt, M., Koch, B., Grabowski, J., Hogrefe, D. (1997) Autolink - a tool for automatic and semi-automatic test generation. In Proceeding of the Seventh GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, Berlin, June 1997.
Schmitt, M., Koch, B., Grabowski, J., Ek, A., Hogrefe, D. (1998) Autolink - Putting test generation into practise, In Proc 1WTCS 98,Tomsk, Russia, Chapman and Hall
Telelogic (1996), Tau methodology guidelines part 1 - The SOMT method, Telelogic Tau 3.1 Documentation, Telelogic.
Telelogic (1998a), Telelogic Tau 3.3 Documentation,Telelogic.
Telelogic (1998b), Validating an SDL System, Telelogic Tau 3.3 Documentation, Telelogic.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ek, A. (1998). Testing and Test Generation: State of the Art and Future Expectations. In: Petrenko, A., Yevtushenko, N. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 3. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35381-4_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35381-4_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6703-2
Online ISBN: 978-0-387-35381-4
eBook Packages: Springer Book Archive