Comparing torx, autolink, tgv and uio test algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2078, Issue , 2001, Pages 379-402

  Goga, N ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DETECTION POWER; TEST ALGORITHMS; TEST DERIVATION;

ALGORITHMS;

EID: 84958970880     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48213-X_24     Document Type: Conference Paper

References (19)

1. 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.
2. 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.
3. 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.
4. 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.
5. 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 Test Com 2000, Canada, 2000.
6. L.M.G. Feijs, F.A.C Meijs, J.R. Moonen, and J.J. vanWamel. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. L. Heerink, J. Feenstra, and J. Tretmans. Formal test automation: the conference protocol with Phact. Proceedings of TestCom2000, Canada, 2000.
12. 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.
13. Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill Book Company, New York, 1978.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.