On testing partially specified IOTS through lossless queues

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

Volumn 2978, Issue , 2004, Pages 76-94

  Huo, Jia Le ^a   Petrenko, Alexandre ^b  

^a MCGILL UNIVERSITY   (Canada)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

QUEUEING THEORY;

LOSSLESS; TEST CASE; TEST DERIVATION; TRANSITION COVERAGE; UNBOUNDED QUEUES;

TESTING;

EID: 24944582363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (14)

1. Balemi, S.: Control of Discrete Event Systems: Theory and Application. Ph.D. thesis, Swiss Federal Inst. of Technology, Zurich, Switzerland (1992)
2. van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with IOCO. In: Proc. 3rd Intl. Workshop on Formal Approaches to Testing of Software, FATES 2003. Canada (2003)
3. Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M. (eds.): Modeling and Verification of Parallel Processes. Lecture Notes in Computer Science, Vol. 2067. Springer-Verlag, Berlin Heidelberg New York (2001)
4. Clerbout, M., Latteux, M., Roos, Y.: Semi-Commutations. In: Diekert, V., Rozenberg, G. (Eds.): The Book of Traces. World Scientific (1995)
5. Herrink, L., Tretmans, J.: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification. Chapman & Hill (1997)
6. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote Testing Can be as Powerful as Local Testing. In: The Proceedings of the IFIP Joint International Conference, Methods for Protocol Engineering and Distributed Systems, FORTE XII/PSTV XIX. China (1999)
7. Lynch, N., Tuttle, M. R.: An Introduction to Input/Output Automata. In: CWI Quarterly, Vol. 2, No. 3 (1989)
8. Petrenko, A., Yevtushenko, N., Huo, J. L.: Testing Transition Systems with Input and Output Testers. In: Proc. IFIP 15th Int. Conf. Testing of Communicating Systems. TestCom'2003, France. Lecture Notes in Computer Science, Vol. 2644. Springer-Verlag, Berlin Heidelberg New York (2003)
9. Phalippou, M.: Executable Testers. In: The Proceedings of the IFIP Sixth International Workshop on Protocol Test Systems, IWPTS'93. France (1993)
10. Segala, R.: Quiescence, Fairness, Testing and the Notion of Implementation. In: The Proceedings of CONCUR'93. Lecture Notes in Computer Science, Vol. 715. Springer-Verlag, Berlin Heidelberg New York (1993)
11. Tan, Q. M., Petrenko, A.: Test Generation for Specifications Modeled by Input/Output Automata. In: The Proceedings of the IFIP 11th International Workshop on Testing of Communicating Systems, IWTCS'98. Russia (1998)
12. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. In: Software-Concepts and Tools, Vol. 17, Issue 3 (1996)
13. Tretmans, J., Verhaard, L.: A Queue Model Relating Synchronous and Asynchronous Communication. In Linn, R. J., Jr., Üyai, M. Ü. Eds.: Protocol Specification, Testing and Verification, XII. Elsevier Science Publishers B. V. (North-Holland) (1992)
14. Verhaard, L., Tretmans, J., Kim, P., Brinksma, E.: On Asynchronous Testing. In: The Proceedings of the IFIP 5th International Workshop on Protocol Test Systems, IWPTS'92. Canada (1992)