Test Generation with
by M. Schmitt, M. Ebner, J. Grabowski
http://www.itm.mu-luebeck.de/publications/MS_ME_JG_2000_TGwAaT/SAM2000.ps.gz
Add To MetaCart
Abstract:
Testing of telecommunication systems is a major concern in industry and standardization. Therefore, the two major SDL tool vendors have integrated automatic test generation tools into their software development suites. While Telelogic has added Autolink to the Tau tools, former Verilog has extended ObjectGeode with TestComposer. Even though both tools are based on the same concepts, many features are realized dierently and their focus is put onto dierent aspects of the test generation process. This paper introduces the major principles of SDL-based test generation and provides an overview of how both tools support test development.
Citations
| 103 | unknown title – ISOIEC - 1994 |
| 15 | Autolink – Putting SDL-based Test Generation into Practice – Schmitt, Ek, et al. - 1998 |
| 13 | Conformance testing based on formal description techniques and message sequence charts – Nahm - 1994 |
| 12 | LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme – Estelle - 1989 |
| 10 | Applying SAMSTAG to the B-ISDN protocol SSCOP – Grabowski, Hogrefe, et al. - 1997 |
| 9 | Automated test generation from SDL specifications – Kerbrat, Jéron, et al. - 1999 |
| 7 | Autolink – A Tool for Automatic Test Generation from SDL Specifications – Koch, Grabowski, et al. - 1998 |
| 5 | LOTOS und SDL: Standard{Spezi kationssprachen fur verteilte Systeme – Estelle - 1989 |
| 4 | SDL and MSC Based Test Generation for Distributed Test Architectures – Grabowski, Koch, et al. - 1999 |
| 2 | Automated Test Generation from SDL Speci cations – Kerbrat, Jeron, et al. - 1999 |
| 1 | ObjectGeode TestComposer Reference – SA - 1999 |
