Testing concurrent systems: A formal approach

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

Volumn 1664 LNCS, Issue , 1999, Pages 46-65

  Tretmans, Jan ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONCURRENT SYSTEMS; FORMAL APPROACH; FORMAL DEFINITION; LABELLED TRANSITION SYSTEMS; TEST DERIVATION; TEST EXECUTION;

FORMAL METHODS;

EID: 84888268734     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_6     Document Type: Conference Paper

References (54)

1. S. Abramsky. Observational equivalence as a testing equivalence. Theoretical Computer Science, 53(3):225-241, 1987.
2. R. Alderden. COOPER, the compositional construction of a canonical tester. In S.T. Vuong, editor, FORTE'89, pages 13-17. North-Holland, 1990.
3. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990.
4. A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12th Int.Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999.
5. J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77-121, 1985.
6. G. Bernot. Testing against formal specifications: A theoretical view. In S. Abramsky and T. S. E. Maibaum, editors, TAPSOFT'91, Volume 2, pages 99-119. Lecture Notes in Computer Science 494, Springer-Verlag, 1991.
7. B. S. Bosik and M. Ü. Uyar. Finite state machine based formal methods in protocol conformance testing: From theory to implementation. Computer Networks and ISDN Systems, 22(1):7-33, 1991.
8. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification VIII, pages 63-74. North-Holland, 1988.
9. E. Brinksma. On the coverage of partial validations. In M. Nivat, C.M.I. Rattray, T. Rus, and G. Scollo, editors, AMAST'93, pages 247-254. BCS-FACS Workshops in Computing Series, Springer-Verlag, 1993.
10. E. Brinksma, R. Alderden, R. Langerak, J. van de Lagemaat, and J. Tretmans. A formal approach to conformance testing. In J. de Meer, L. Mackert, and W. Effelsberg, editors, Second Int. Workshop on Protocol Test Systems, pages 349-363. North-Holland, 1990.
11. E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In G. von Bochmann and B. Sarikaya, editors, Protocol Specification, Testing, and Verification VI, pages 349-360. North-Holland, 1987.
12. CCITT. Specification and Description Language (SDL). Recommendation Z.100. ITU-T General Secretariat, Geneve, Switzerland, 1992.
13. M. Clatin. Manuel d'utilisation de TVEDA V3. Manual LAA/EIA/EVP/109, France Télécom CNET LAA/EIA/EVP, Lannion, France, 1996.
14. R. De Nicola. Extensional equivalences for transition systems. Acta Informatica, 24:211-237, 1987.
15. R. De Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
16. K. Drira. The refusal graph: a tradeoff between verification and test. In O. Rafiq, editor, Sixth Int. Workshop on Protocol Test Systems, pages 297-312. North-Holland, 1994.
17. H. Eertink. The implementation of a test derivation algorithm. Memorandum INF-87-36, University of Twente, Enschede, The Netherlands, 1987.
18. 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-Special Issue on COST247, Verification and Validation Methods for Formal Descriptions, 29(1-2):123-146, 1997.
19. L. Ferreira Pires. Protocol implementation: Manual for practical exercises 1995/1996. Lecture notes, University of Twente, Enschede, The Netherlands, August 1995.
20. H. Garavel. Open/CÆsar: An open software architecture for verification, simulation, and testing. In B. Steffen, editor, Fourth Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), pages 68-84.
21. Lecture Notes in Computer Science 1384, Springer-Verlag, 1998.
22. M.-C. Gaudel. Testing can be formal, too. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, TAPSOFT'95: Theory and Practice of Software Development, pages 82-96
23. Lecture Notes in Computer Science 915, Springer-Verlag, 1995.
24. W. Geurts, K. Wijbrans, and J. Tretmans. Testing and formal methods-Bos project case study. In EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, pages 215-229, Munich, Germany, November 30-December 1 1998.
25. R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Baeten and J.W. Klop, editors, CONCUR'90, Lecture Notes in Computer Science 458, pages 278-297. Springer-Verlag, 1990.
26. R.J. van Glabbeek. The linear time-branching time spectrum II (The semantics of sequential systems with silent moves). In E. Best, editor, CONCUR'93, Lecture Notes in Computer Science 715, pages 66-81. Springer-Verlag, 1993.
27. L. Heerink. Ins and Outs in Refusal Testing. PhD thesis, University of Twente, Enschede, The Netherlands, 1998.
28. L. Heerink and J. Tretmans. Formal methods in conformance testing: A probabilistic refinement. In B. Baumgarten, H.-J. Burkhardt, and A. Giessler, editors, Ninth Int. Workshop on Testing of Communicating Systems, pages 261-276. Chapman & Hall, 1996.
29. L. Heerink and J. Tretmans. Refusal testing for classes of transition systems with inputs and outputs. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Desciption Techniques and Protocol Specification, Testing and Verification FORTE X /PSTV XVII '97, pages 23-38. Chapman & Hall, 1997.
30. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
31. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall Inc., 1991.
32. ISO. 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, 1989.
33. ISO. Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework. International Standard IS-9646. ISO, Geneve, 1991. Also: CCITT X.290-X.294.
34. ISO/IEC JTC1/SC21 WG7, ITU-T SG 10/Q.8. Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing. Committee Draft CD 13245-1, ITU-T proposed recommendation Z.500. ISO-ITUT, Geneve, 1996.
35. R. Langerak. A testing theory for LOTOS using deadlock detection. In E. Brinksma, G. Scollo, and C. A. Vissers, editors, Protocol Specification, Testing, and Verification IX, pages 87-98. North-Holland, 1990.
36. G. Leduc. A framework based on implementation relations for implementing LOTOS specifications. Computer Networks and ISDN Systems, 25(1):23-41, 1992.
37. D. Lee and M. Yannakakis. Principles and methods for testing finite state machines. The Proceedings of the IEEE, August 1996.
38. N.A. Lynch and M.R. Tuttle. An introduction to Input/Output Automata. CWI Quarterly, 2(3):219-246, 1989.
39. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
40. G.J. Myers. The Art of Software Testing. John Wiley & Sons Inc, 1979.
41. M. Phalippou. Relations d'Implantation et Hypothèses de Test sur des Automates à Entrées et Sorties. PhD thesis, L'Université de Bordeaux I, France, 1994.
42. I. Phillips. Refusal testing. Theoretical Computer Science, 50(2):241-284, 1987.
43. D. H. Pitt and D. Freestone. The derivation of conformance tests from LOTOS specifications. IEEE Transactions on Software Engineering, 16(12):1337-1343, 1990.
44. R. Segala. Quiescence, fairness, testing, and the notion of implementation. In E. Best, editor, CONCUR'93, pages 324-338
45. Lecture Notes in Computer Science 715, Springer-Verlag, 1993.
46. Telelogic. Tau SDL Tool Set Documentation. Telelogic AB, Malmö, Sweden, 1998.
47. J. Tretmans. A formal approach to conformance testing. In O. Rafiq, editor, Sixth Int. Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257-276. North-Holland, 1994.
48. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17(3):103-120, 1996.
49. F. Vaandrager. On the relationship between process algebra and Input/Output Automata. In Logic in Computer Science, pages 387-398
50. Sixth Annual IEEE Symposium, IEEE Computer Society Press, 1991.
51. L. Verhaard, J. Tretmans, P. Kars, and E. Brinksma. On asynchronous testing. In G. von Bochmann, R. Dssouli, and A. Das, editors, Fifth Int. Workshop on Protocol Test Systems, IFIP Transactions. North-Holland, 1993.
52. R.G. de Vries and J. Tretmans. On-the-Fly Conformance Testing using Spin. In G. Holzmann, E. Najm, and A. Serhrouchni, editors, Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, ENST 98 S 002, pages 115-128, Paris, France, November 2 1998
53. Ecole Nationale Supérieure des Télécommunications. Also to appear in Software Tools for Technology Transfer.
54. C. D. Wezeman. The CO-OP method for compositional derivation of conformance testers. In E. Brinksma, G. Scollo, and C. A.Vissers, editors, Protocol Specification, Testing, and Verification IX, pages 145-158. North-Holland, 1990.