Specification completion for IOCO
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.
KeywordsFinite Time Inference Rule Reachable State Label Transition System Imple Mentation
Unable to display preview. Download preview PDF.
- 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.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.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
- 5.Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.Google Scholar
- 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.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.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.Milner, R., Communication and Concurrency, Prentice-Hall, 1989.Google Scholar
- 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.Tretmans, J., Test Generation with Inputs, Outputs and Repetitive Quiescence Software-Concepts and Tools, 1996, vol. 17,issue 3.Google Scholar
- 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.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