Compositional testing with IOCO

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

Volumn 2931, Issue , 2004, Pages 86-100

  Van Der Bijl, Machiel ^a   Rensink, Arend ^a   Tretmans, Jan ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY; SOFTWARE TESTING;

COMMUNICATING COMPONENTS; COMPONENT-BASED TESTING; CONFORMANCE TESTING; IN CONTEXTS; INTEGRATED SYSTEMS; INTEROPERABILITY TESTING; TEST THEORIES;

INTEGRATION TESTING;

EID: 35048873691     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24617-6_7     Document Type: Article

References (13)

1. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17 (1996) 103-120
2. Tretmans, J.: Testing concurrent systems: A formal approach. In Baeten, J., Mauw, S., eds.: CONCUR'99. Volume 1664., LNCS, Springer-Verlag (1999) 46-65
3. Fernandez, J.C., Jard, C., Jéron, T., Viho, C.: An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming - Special Issue on COST'247, Verification and Validation Methods for Formal Descriptions 29 (1997) 123-146
4. He, J., Turner, K.: Protocol-Inspired Hardware Testing. In Csopaki, G., Dibuz, S., Tamay, K., eds.: Int. Workshop on Testing of Communicating Systems 12, Kluwer Academic Publishers (1999) 131-147
5. th Int. Workshop on Testing of Communicating Systems, Kluwer Academic Publishers (1999) 179-196
6. Petrenko, A., Yevtushenko, N.: Fault detection in embedded components. In Kim, M., Kang, S., Hong, K., eds.: Tenth Int. Workshop on Testing of Communicating Systems, Chapman & Hall (1997) 272-287
7. ISO/IEC JTC1/SC21 WG7, ITU-TSG 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-ITU-T, Geneve (1996)
8. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Formal Desciption Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII'99, Kluwer Academic Publishers (1999)
9. Petrenko, A., Yevtushenko, N., Von Bochman, G.: Fault models for testing in context. In Gotzhein, R., Bredereke, J., eds.: FORTE. Volume 69 of IFIP Conference Proceedings., Kluwer (1996) 163-178
10. De Nicola, R., Segala, R.: A process algebraic view of Input/Output Automata. Theoretical Computer Science 138 (1995) 391-423
11. Petrenko, A., Bochmann, G.V., Dssouli, R.: Conformance relations and test derivation. In Rafiq, O., ed.: Sixth Int. Workshop on Protocol Test Systems. Number C-19 in IFIP Transactions, North-Holland (1994) 157-178
12. van der Bijl, M., Rensink, A., Tretmans, J.: Component based testing with ioco. Technical report. University of Twente (2003) URL:http://wwwhome.cs.utwente.nl/∼vdbijl/papers/CBT.pdf.
13. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the Association for Computing Machinery 31 (1984) 560-599