Abstract
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified input actions. For testing IOTS through unbounded queues, we demonstrate that test cases can directly be derived from the specification when the transition coverage criterion is used, and we provide two test derivation algorithms, for fully specified and partially specified IOTS, respectively. Applying the derived tests to test IOTS through bounded queues is also discussed.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Balemi, S.: Control of Discrete Event Systems: Theory and Application. Ph.D. thesis, Swiss Federal Inst. of Technology, Zurich, Switzerland (1992)
van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86–100. Springer, Heidelberg (2004)
Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, p. 187. Springer, Heidelberg (2001)
Clerbout, M., Latteux, M., Roos, Y.: Semi-Commutations. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, World Scientific, Singapore (1995)
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, Boca Raton (1997)
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)
Lynch, N., Tuttle, M.R.: An Introduction to Input/Output Automata. In: CWI Quarterly, vol. 2(3) (1989)
Petrenko, A., Yevtushenko, N., Huo, J.L.: Testing Transition Systems with Input and Output Testers. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 129–145. Springer, Heidelberg (2003)
Phalippou, M.: Executable Testers. In: The Proceedings of the IFIP Sixth International Workshop on Protocol Test Systems, IWPTS 1993, France (1993)
Segala, R.: Quiescence, Fairness, Testing and the Notion of Implementation. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, Springer, Heidelberg (1993)
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 1998, Russia (1998)
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. In: Software-Concepts and Tools, vol. 17(3) (1996)
Tretmans, J., Verhaard, L.: A Queue Model Relating Synchronous and Asynchronous Communication. In: Linn Jr., R.J., Üyar, M.Ü. (eds.) Protocol Specification, Testing and Verification, XII, Elsevier Science Publishers B. V., North-Holland (1992)
Verhaard, L., Tretmans, J., Kim, P., Brinksma, E.: On Asynchronous Testing. In: Proceedings of the IFIP 5th International Workshop on Protocol Test Systems, IWPTS 1992, Canada (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Le Huo, J., Petrenko, A. (2004). On Testing Partially Specified IOTS through Lossless Queues. In: Groz, R., Hierons, R.M. (eds) Testing of Communicating Systems. TestCom 2004. Lecture Notes in Computer Science, vol 2978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24704-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-24704-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21219-5
Online ISBN: 978-3-540-24704-3
eBook Packages: Springer Book Archive