Abstract
This paper presents a comparison of four algorithms for test derivation: TorX, TGV, Autolink and UIO algorithms. The algorithms are classified according to the detection power of their conformance relations. Because Autolink does not have an explicit conformance relation, a conformance relation is reconstructed for it. The experimental results obtained by applying TorX, Autolink, UIO and TGV to the Conference Protocol case study are consistent with the theoretical results of this paper.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
International Standard ISO/IEC 9646-1/2/3. OSI-open system interconnection, information technology-open systems interconnection conformance testing methodology and framework-part 1: General concept-part 2: Abstract test suites specification-part 3: The tree and tabular combined notation (TTCN), June 1992.
A.V. Aho, A.T. Dahbura, D. Lee, and M.U. Uyari. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. In K. Sabnani and S. Aggarwal, editors, Protocol Specification, Testing and Verification VIII, volume 8. Elsevier Science, 1998.
B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hants. The AVALON project: A VALidation environment for SDL/MSC description. In O. Færgemand and A. Sarma, editors, SDL’93Using Objects, Proceedings of the Sixth SDL Forum, pages 221–235, Darmstadt, 1993. Elsevier Science Publishers B.V.
A. Belinfante, J. Feenstra, R.G. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Intenational Workshop on Testing of Comunication Systems, pages 179–196. Kluwer Academic, 1999.
L. Bousquet, S. Ramangalahy, S. Simon, C. Viho, A. Belinfante, and R.G. Vries. Formal test automation: the conference protocol with TGV/TorX. Proceedings of TestCom2000, Canada, 2000.
L.M.G. Feijs, F.A.C Meijs, J.R. Moonen, and J.J. van Wamel. Conformance testing of a multimedia system using Phact. In Alexandre Petrenko and Nina Yevtushenko, editors, Testing of Communicating Systems, volume 11, pages 143–210. Kluwer Academic, 1998.
G. Fernandez, J.C. Jard, C. Jéron, and T. Viho. Using on-the-fly verification techniques for the generation of test suites. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV’96), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996.
J.C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mournier, and M. Sighireanu. CADP: A protocol validation and verification toolbox. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV’96), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996.
J.C. Fernandez, C. Jard, T. Jeron, and C. Viho. Using on-the-fly verification techniques for the generation of a test suites. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV’96), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996.
R. Groz and N. Risser. Eight years of experience in test generation from FDTs using TVEDA. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, FORTE/PSTV’97. Chapman and Hall, 1997.
L. Heerink, J. Feenstra, and J. Tretmans. Formal test automation: the conference protocol with Phact. Proceedings of TestCom2000, Canada, 2000.
T. Jéron and P. Morel. Test generation derived from model-checking. In Nicolas Halbwachs and Doron Peled, editors, Computer-Aided Verification (CAV’99), volume 1633 of LNCS, pages 108–122. Springer, 1999.
Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill Book Company, New York, 1978.
J.R. Moonen, J.M.T. Romijn, O. Sies, J.G. Springintveld, L.M.G. Feijs, and R.L.C. Koymans. A two-level approach to automated conformace testing of VHDL designs. In M. Kim, S. Kang, and K. Hong, editors, Testing of Communicating Systems, volume 10, pages 432–447. Chapman and Hall, 1997.
M. Schimitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink-puting SDL-based test generation into practice. In A. Petrenko, editor, Proceedings of the 11th International Workshop on Testing Comunicating Systems (IWTCS’98), pages 227–243. Kluwer Academic, 1998.
J. Tretmans. Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3), 1996. Also: Technical Report No. 96-26, Centre for Telematics and Information Technology, University of Twente, The Netherlands.
S.P. van de Burgt. Test sequence algorithms and formal language. In Proceedings of Second Asian Test Symposium, volume 8, pages 136–146. IEEE Computer Society Press, 1993.
S.P. van de Burgt, J. Kroon, E. Kwast, and H.J. Wilts. The RNL Conformance Kit. In J. de Meer, L. Mackert, and W. Effelsberg, editors, Proceeding of the 2nd International Workshop on Protocol Test Systems, volume 2, pages 279–294. North-Holland, October 1989.
S.T. Vuong, W.Y.L. Chan, and M.R. Ito. The UIOv-method for protocol test sequence generation. In Jan de Meer, Lothar Machert, and Wolfgang Effelsberg, editors, International Workshop on Protocol Test Systems, volume 2, pages 161–176. North-Holland, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goga, N. (2001). Comparing TorX, Autolink, TGV and UIO Test Algorithms. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_24
Download citation
DOI: https://doi.org/10.1007/3-540-48213-X_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42281-5
Online ISBN: 978-3-540-48213-0
eBook Packages: Springer Book Archive