Abstract
In this paper we present the tool TATS (integrated Automatic Test Sequence generator) for generation of conformance tests in development of digital switching systems SI2000. The tool generates test cases in TTCN form from an SDL specification of the service or protocol under test. Test cases are derived by implemented FSM-based methods. We also describe practical experience of using the tool, illustrated by some quantitative results.
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
Aho, A.V., Sethi, R., and J.D. Ullman. (1986). Compilers: Principles, Techniques, and Tools, Addison-Wesley Series in Computer Science, Addison-Wesley Publishing Company, Bell Telephone Laboratories.
Aho, A.V., Dabhura, A.T., Lee, D., and M.U. Uyar. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, IEEE Transactions on Communications, vol. 39, no. 11, pp. 1604–1615.
Anido, R., and A.R. Cavalli. (1995). Guaranteeing full fault coverage for UIO-based testing methods, in Proceedings of the 8th Int. Workshop on Protocol Test Systems, Evry, France, pp. 221–236.
Doldi, L. (1996). Assessment of automatic generation methods of conformance test suites in an industrial context, in Testing of Communicating Systems, Chapman & Hall, pp. 347–361.
Exel, M., Popovic, B., and F. Prijatelj. (1982). SL1 language — A specification and design tool for switching systems software development, IEEE Transactions on Communications ( Special Issue on Comm. Software).
Fernandez, J.-C., Jard, C., Jeron, T., and C. Viho. (1997). An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, vol. 29, no. 1–2, pp. 123–145.
Frey-Pucko, M., Kapus-Kolar, M., Novak, R., Verlic, R., Moènik, B., Slivnik, B., and V. Avbelj. (1998). Automatic Test Scenario Generation for the System 512000, Final report, IskraTEL (in Slovene).
Hoperoft, J.E., and J.D. Ullman. (1979). Introduction to Automata Theory, Languages and Computation,Addison-Wesley Publishing Company.
ISO. (1997). ISO/IEC 9646–3, Tree and Tabular Combined Notation (TTCN),Second Edition.
ITU-T. (1993). Z.100, Appendix I, SDL Methodology Guidelines.
Jiren, L., and D. Jun. (1994). A new approach to protocol conformance test generation based upon UIO sequences, Chinese Journal of Advanced Software Research, vol. 1, no. 4, pp. 373–381.
Luo, G., Das, A., and G. von Bochmann. (1994). Software testing based on SDL specifications with Save, IEEE Transactions on Software Engineering, vol. 20, no. 1, pp. 72–87.
Luo, A., Petrenko, A., and G. von Bochmann. (1994). Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines, Technical Report, Departement d’IRO, Univ. de Montreal, Canada.
Petrenko. A., Yevtuschenko, N., and G. von Bochmann. (1996). Fault models for testing in context, in Formal Description Techniques IX, Chapman & Hall, pp. 163–178.
Ramalingam, T., Das, A., and K. Thulasiraman. (1995) Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model, Computer Communications, vol. 18, no. 2, pp. 113–122.
Robnik, A. (1995). Experiences of using SDL collected in IskraTEL SDL methodology, in Formal Description Techniques VIII, North-Holland Elsevier, pp. 221–236.
Schmitt, M., Ek., A., Grabowski, J., Hogrefe, D., and B. Koch. (1998) Autolink — Putting SDL-based test generation into practice, Testing of Communicating Systems, Kluwer Academic Publishers, pp. 227–243.
Ural, H., and A. Williams. (1994). Test generation by exposing control and data dependencies within specifications in SDL, in Formal Description Techniques VII, North-Holland Elsevier, pp. 335–350.
Verilog. (1993). GEODE Product Documentation, Appendix C: SDL Concrete Syntax.
Verilog. (1993). GEODE Product Documentation,Chapter 5: SDL Extensions/Restrictions.
Yao, M., Petrenko, A., and G. von Bochmann. (1993). Conformance testing of protocol machines without reset, in Protocol Specification, Testing, and Verification XIII, Elsevier Science Publishers, pp. 241–256.
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
Frey-Pučko, M., Kapus-Kolar, M., Novak, R. (1999). Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel. 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_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive