Formal test purposes and the validity of test cases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2529 LNCS, Issue , 2002, Pages 114-129

  Deussen, Peter H ^a   Tobies, Stephan ^b  

^a FRAUNHOFER FOKUS   (Germany)

^b NOKIA   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROCEDURE; FORMALISATION; MESSAGE SEQUENCE CHARTS; SIMPLE++; TEST CASE; TEST PURPOSE;

TESTING;

EID: 34548090199     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36135-9_8     Document Type: Conference Paper

References (14)

1. H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 259–274. Springer Verlag, 1997.
2. P. Deussen. Concurrent automata. Technical Report 1-05/1998, Brandenburg Tech. Univ. Cottbus, 1998.
3. ETSI. The tree and tabular combined notation version 3; part 1: TTCN-3 core language. Technical Report ES 201 873-1, ETSI, 2001.
4. J. Grabowski. On partial languages. Fundamenta Informaticae, 4(2):427–498, 1981.
5. J. Grabowski and D. Hogrefe. TTCN SDL-and MSC-based specification and automated test case generation for inap. In Proceedings of the 8th International Conference on Telecommunication Systems (ICTS’2000)-Modeling and Analysis, Nashville, March 2000.
6. ITU-T. ITU-T recommendation z.120 message sequence chart (MSC). Technical report, ITU-T, 1999.
7. B. Jonsson and G. Padilla. An execution semantics of MSC-2000. In R. Reed and J. Reed, editors, Proceedings of the 10th Internation SDL-Forum, number 2078 in Lecture Notes in Computer Science. Springer Verlag, 2001.
8. J.-P. Katoen and L. Lambert. Pomsets for message sequence charts. In Proc. of 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998.
9. S. Mauw and M. A. Reniers. Operational semantics for MSC’96. In A. Cavalli and D. Vincent, editors, Tutorials of the Eighth SDL Forum SDl’97: Time for Testing-SDL, MSC and Trends, pages 135–152, Evry, France, 1997. Institut national des télécommunications.
10. A. Mazurkiewicz. Introduction to trace theory. In V. Diekert and G. Rozenberg, editors, The Book of Traces, chapter 1, pages 3 – 42. World Scientific, Singapore – New Jersey – London – Hong Kong, 1995.
11. V. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33–71, 1986.
12. R. Scheurer, J. Grabowski, and D. Hogrefe. Revised comparison of an automatically generated and a manually specified test suite for the B-ISDN protocol SSCOP. In H. König and P. Langendörfer, editors, FBT’98-Formale Beschreibungstechniken für verteilte Systeme. Shaker Verlag, Aachen, 1998. Available online from http://www.itm.mu-luebeck.de/.
13. S. Schhulz and T. Vassiliou-Gioles. Implementation of TTCN-3 test systems using the TRI. In I. Schieferdecker, K. H, and A. Wolisz, editors, Testing of Communication Systems XIV, Proc. of TestCom-2002, pages 425–442, Berlin, Germany, 2002. Kluwer Academic Publishers.
14. M. Schmitt, M. Ebner, and J. Grabowski. Test generation with autolink and testcomposer. In Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM’2000). SDL Forum Society, 2000. Proceedings available online from http://www.irisa.fr/manifestations/2000/sam2000/.