Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation

1. C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. Automatic executable test case generation for extended finite state machine protocols protocols. In IWTCS’97 [17], pages 75–90.

   Google Scholar 

2. C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. A test case generation tool for conformance testing of SDL systems. In SDL’99 [23], pages 405–419.

   Google Scholar 

3. M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober, and D. Vincent. SDL for realtime: what is missing? In SAM 2000-2^nd Workshop on SDL and MSC, pages 108–122, Grenoble, France, June 2000.

   Google Scholar 

4. M. Bozga, S. Graf, L. Mounier, I. Ober, J.-L. Roux, and D. Vincent. Timed extensions for SDL. In SDL Forum 2001, Copenhagen, Denmark, June 2001.

   Google Scholar 

5. M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking a test generation tool with verification techniques. In Proceedings of IWPTS’ 95 8 ^th Int. Workshop on Protocol Test Systems, pages 151–166, Evry, France, September 1995.

   Google Scholar 

6. A. Ek, J. Grabowski, D. Hogrefe, R. Jerome, B. Koch, and M. Schmitt. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In SDL’97 [22], pages 245–259.

   Google Scholar 

7. ETSI, Sophia Antipolis, France. Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3; TTCN-3: Core Language, v1.0.10 edition, November 2000. DES/MTS-00063-1.

   Google Scholar 

8. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29, 1997.

   Google Scholar 

9. J. Grabowski. Test Case Generation and Test Case Specification with Message Sequence Charts. PhD thesis, University of Bern, Bern, Switzerland, February 1994.

   Google Scholar 

10. J. Grabowski, D. Hogrefe, and R. Nahm. Test case generation with test purpose specification by MSCs. In SDL’93: Using Objects, pages 253–265, Darmstadt, Germany, October 1993. Elsevier Science Publishers B.V.

    Google Scholar 

11. S. Graf. Timed extensions for SDL, November 2000. Delayed Contribution No. 13 to ITU-T Study Group 10, Questions 6&7.

    Google Scholar 

12. ISO/IEC. Information technology-Open Systems Interconnection-Conformance testing methodology and framework, 1994. International ISO/IEC multipart standard No. 9646.

    Google Scholar 

13. ITU-T, Geneva, Switzerland. Message Sequence Charts, 1996. ITU-T Recommendation Z.120.

    Google Scholar 

14. ITU-T, Geneva, Switzerland. Information technology-Open Systems Interconnection-Conformance testing methodology and framework-Part 3: The Tree and Tabular Combined Notation, 1997. ITU-T Recommendation X.293-ISO/IEC 9646-3.

    Google Scholar 

15. ITU-T, Geneva, Switzerland. Message Sequence Charts, November 1999. ITU-T Recommendation Z.120.

    Google Scholar 

16. ITU-T, Geneva, Switzerland. Specification and Description Language (SDL), 1999. ITU-T Recommendation Z.100.

    Google Scholar 

17. Testing of Communicating Systems, Cheju Island, Korea, September 1997. Chapman & Hall.

    Google Scholar 

18. A. Kerbrat, T. Jéron, and R. Groz. Automated test generation from SDL specifications. In SDL’99 [23], pages 135–151.

    Google Scholar 

19. A. Mitschele-Thiel. Systems Engineering with SDL-Developing Performance-Critical Communication Systems. Wiley, Chichester, England, 2001.

    Google Scholar 

20. H. Neukirchen. Corrections and extensions to Z.120, November 2000. Delayed Contribution No. 9 to ITU-T Study Group 10, Question 9.

    Google Scholar 

21. Interval Consortium Web Page. http://www-interval.imag.fr/, 2000.

22. SDL’97-Time for Testing, Evry, France, September 1997. Elsevier.

    Google Scholar 

23. SDL’99-The Next Millennium, Montréal, Québec, Canada, June 1999. Elsevier.

    Google Scholar 

24. G. v. Bochmann, A. Petrenko, O. Bellal, and S. Maguiraga. Automating the process of test derivation from SDL specifications. In SDL’97 [22], pages 261–276.

    Google Scholar 

25. Th. Walter and J. Grabowski. Real-time TTCN for testing real-time and multimedia systems. In IWTCS’97 [17].

    Google Scholar 

Download references