Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
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.
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.
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.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.
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.
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.
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.
Milner, R., Communication and Concurrency, Prentice-Hall, 1989.
De Nicola, R. and Segala, R., A Process Algebraic View of Input/Output Automata, Theor. Comput. Sci., 1995, vol. 138, pp. 391–423.
Revised Working Draft on “Framework Formal Methods in Conformance Testing,” JTC1/SC21/WG1/PROJECT 54/1//ISO Interim Meeting/ITU, Paris, 1995.
Tretmans, J., Test Generation with Inputs, Outputs and Repetitive Quiescence Software-Concepts and Tools, 1996, vol. 17,issue 3.
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.
van der Biji, M., Rensink, A., and Tretmans, J., Component Based Testing with ioco, Technical Report TR-CTIT-03-34, Univ. of Twente, 2003.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © I.B. Bourdonov, A.S. Kossatchev, 2011, published in Programmirovanie, 2011, Vol. 37, No. 1.
Rights and permissions
About this article
Cite this article
Bourdonov, I.B., Kossatchev, A.S. Specification completion for IOCO. Program Comput Soft 37, 1–14 (2011). https://doi.org/10.1134/S0361768811010014
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768811010014