Test generation with inputs, outputs and repetitive quiescence

Software-Concepts and Tools

Volumn 17, Issue 3, 1996, Pages 103-120

  Tretmans, Jan ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Specification; Test generation; Testing; Transition system

Indexed keywords

EID: 0000101791     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (34)

1. Abramsky S (1987) Observational Equivalence as a Testing Equivalence. Theoretical Computer Science, 53(3):225-241
2. Bergstra JA, Klop JW (1985) Algebra of Communicating Processes with Abstraction. Theoretical Computer Science, 37(1):77-121
3. Bernot G (1991) Testing Against Formal Specifications: A Theoretical View. In Abramsky S, Maibaum TSE, editors, TAPSOFT'91, Vol. 2, 99-119, Lecture Notes in Computer Science 494, Springer-Verlag
4. Bosik BS, Uyar MÜ (1991) Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. Computer Networks and ISDN Systems, 22(1):7-33
5. Brinksma E (1988) A Theory for the Derivation of Tests. In Aggarwal S, Sabnani K, editors, Protocol Specification, Testing, and Verification VIII, 63-74, North-Holland
6. Brinksma E, Scollo G, Steenbergen C (1987) LOTOS Specifications, their Implementations and their Tests. In von Bochmann G, Sarikaya B, editors, Protocol Specification, Testing, and Verification VI, 349-360, North-Holland
7. Brinksma E, et al. (1990) A Formal Approach to Conformance Testing. In de Meer J, Mackert L, Effelsberg W, editors, Second Int. Workshop on Protocol Test Systems, 349-363, North-Holland
8. CCITT (1992) Specification and Description Language (SDL). Recommendation Z. 100. ITU-T General Secretariat, Geneve, Switzerland
9. Clatin M, et al. (1996) Two Approaches Linking Test Generation with Verification Techniques. In Cavalli A, Budkowski S, editors, Eight Int. Workshop on Protocol Test Systems, Chapman & Hall
10. De Nicola R (1987) Extensional Equivalences for Transition Systems. Acta Informatica, 24:211-237
11. De Nicola R, Hennessy MCB (1984) Testing Equivalences for Processes. Theoretical Computer Science, 34:83-133
12. De Nicola R, Segala R (1995) A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138:391-423
13. van Glabbeek RJ (1990) The Linear Time - Branching Time Spectrum. In Baeten JCM, Klop JW, editors, CONCUR'90, Lecture Notes in Computer Science 458, 278-297. Springer-Verlag
14. van Glabbeek RJ (1993) The Linear Time-Branching Time Spectrum II (The Semantics of Sequential Systems with Silent Moves). In Best E, editor, CONCUR'93, Lecture Notes in Computer Science 715, 66-81, Springer-Verlag
15. Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall
16. ISO (1989) Information Processing Systems, Open Systems Interconnection, Estelle - A Formal Description Technique Based on an Extended State Transition Model. International Standard IS-9074. ISO, Geneve
17. ISO (1989) Information Processing Systems, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard IS-8807. ISO, Geneve
18. ISO/IEC JTC1/SC21 WG7, ITU-TSG 10/Q.8 (1996) Proposed ITU-T Z.500 and Committee Draft on "Formal Methods in Conformance Testing". CD 13245-1. ISO ITU-T, Geneve
19. Langerak R (1990) A Testing Theory for LOTOS Using Deadlock Detection. In Brinksma E, Scollo G, Vissers CA, editors, Protocol Specification, Testing, and Verification IX, 87-98. North-Holland
20. Leduc G (1992) A Framework Based on Implementation Relations for Implementing LOTOS Specifications. Computer Networks and ISDN Systems, 25(1):23-41
21. Lynch NA, Tuttle MR (1989) An Introduction to Input/Output Automata. CWI Quarterly, 2(3):219-246
22. Milner R (1989) Communication and Concurrency. Prentice-Hall
23. Phalippou M (1994) Relations d'Implantation et Hypothèses de Test sur des Automates à Entrées et Sorties. PhD thesis, L'Université de Bordeaux I, France
24. Phillips I (1987) Refusal Testing. Theoretical Computer Science, 50(2):241-284
25. Pitt DH, Freestone D (1990) The Derivation of Conformance Tests from LOTOS Specifications. IEEE Transactions on Software Engineering, 16(12): 1337-1343
26. Segala R (1993) Quiescence, Fairness, Testing, and the Notion of Implementation. In Best E, editor, CONCUR'93, 324-338, Lecture Notes in Computer Science 715, Springer-Verlag
27. Terpstra R, et al. (June 1996) Testing Theory in Practice: A Simple Experiment. In COST 247 Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, University of Maribor
28. Tretmans J (1992) A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands
29. Tretmans J (1996) Test Generation with Inputs, Outputs, and Quiescence. In Margaria T, Steffen B, editors, Second Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), 127-146. Lecture Notes in Computer Science 1055, Springer-Verlag
30. Tretmans J (1996) Test Generation with Inputs, Outputs, and Repetitive Quiescence. Technical Report 96-26, University of Twente, Centre for Telematics and Information Technology, Enschede, The Netherlands
31. Tretmans J, Verhaard L (1992) A Queue Model Relating Synchronous and Asynchronous Communication. In Linn RJ, Uyar MÜ, editors, Protocol Specification, Testing, and Verification XII, No. C-8 in IFIP Transactions, 131-145, North-Holland
32. Vaandrager F (1991) On the Relationship between Process Algebra and Input/Output Automata. In Logic in Computer Science, 387-398, Sixth Annual IEEE Symposium, IEEE Computer Society Press
33. Wezeman CD (1990) The CO-OP Method for Compositional Derivation of Conformance Testers. In Brinksma E, Scollo G, Vissers CA, editors, Protocol Specification, Testing, and Verification IX, 145-158, North-Holland
34. Yannakakis M, Lee D (1995) Testing Finite State Machines: Fault Detection. Journal of Computer and System Sciences, 50(2):209-227