Programming and Computer Software

, Volume 37, Issue 1, pp 1–14 | Cite as

Specification completion for IOCO

  • I. B. Bourdonov
  • A. S. Kossatchev


The paper is devoted to the ioco relation, which determines conformance of an implementation to the specification. Problems related to nonreflexivity of the ioco relation, presence of nonconformal traces (which are lacking in any conformal implementation) in the specification, lack of the ioco preservation upon composition (composition of implementations conformal to their specifications may be not conformal to the composition of these specifications), and “false” errors when testing in a context are considered. To solve these problems, an algorithm of specification completion preserving ioco is proposed (the class of conformal implementations is preserved). The above-specified problems are lacking in the class of completed specifications.


Finite Time Inference Rule Reachable State Label Transition System Imple Mentation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Teoriya sootvetstviya dlya sistem s blokirovkami i razrusheniem (Conformance Theory for Systems with Blockings and Destruction), Moscow: Nauka, 2008.Google Scholar
  2. 2.
    Bourdonov, I.B., Conformance Theory for Functional Testing of Software Systems Based on Formal Models, Doctoral (Math.) Dissertation, Moscow: Institute of System Programming, Russian Academy of Sciences, 2008.Google Scholar
  3. 3.
    von Bochmann, G. and Petrenko, A., Protocol Testing: Review of Methods and Relevance for Software Testing, Proc. of the 1994 Int. Symp. on Software Testing and Analysis, Seattle, 1994, pp. 109–124.Google Scholar
  4. 4.
    Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W., A Theory of Communicating Sequential Processes, J. Association Computing Machinery, 1984, vol. 31, pp. 560–599.zbMATHMathSciNetGoogle Scholar
  5. 5.
    Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.Google Scholar
  6. 6.
    Huo, J.L. and Peterenko, A., On Testing Partially Specified IOTS through Lossless Queues, Lecture Notes in Computer Science (Proc. of TestCom 2004), Berlin: Springer, 2004, vol. 2978, pp. 76–94.Google Scholar
  7. 7.
    Jard, C., Jeron, T., Tanguy, L., and Viho, C., Remote Testing Can Be as Powerful as Local Testing, Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII/PSTV XIX’99, Beijing, 1999), Wu, J., Chanson, S., and Gao, Q., Eds., Beijing, 1999, pp. 25–40.Google Scholar
  8. 8.
    Lee, D. and Yannakakis, M., Principles and Methods of Testing Finite State Machines: A Survey, Proceedings of the IEEE, vol. 84, no. 8, pp. 1090–1123, Berlin: IEEE Computer Society, 1996.Google Scholar
  9. 9.
    Milner, R., Communication and Concurrency, Prentice-Hall, 1989.Google Scholar
  10. 10.
    De Nicola, R. and Segala, R., A Process Algebraic View of Input/Output Automata, Theor. Comput. Sci., 1995, vol. 138, pp. 391–423.zbMATHCrossRefGoogle Scholar
  11. 11.
    Revised Working Draft on “Framework Formal Methods in Conformance Testing,” JTC1/SC21/WG1/PROJECT 54/1//ISO Interim Meeting/ITU, Paris, 1995.Google Scholar
  12. 12.
    Tretmans, J., Test Generation with Inputs, Outputs and Repetitive Quiescence Software-Concepts and Tools, 1996, vol. 17,issue 3.Google Scholar
  13. 13.
    van der Biji, M., Rensink, A., and Tretmans, J., Compositional Testing with ioco, Lecture Notes in Computer Science (Third Int. Workshop “Formal Approaches to Software Testing,” Montreal, October 2003), Berlin: Springer, 2003, pp. 86–100.Google Scholar
  14. 14.
    van der Biji, M., Rensink, A., and Tretmans, J., Component Based Testing with ioco, Technical Report TR-CTIT-03-34, Univ. of Twente, 2003.Google Scholar

Copyright information

© Pleiades Publishing, Ltd. 2011

Authors and Affiliations

  1. 1.Institute of System ProgrammingRussian Academy of SciencesMoscowRussia

Personalised recommendations