Comparing TorX, Autolink, TGV and UIO test algorithms

N. Goga

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelSDL 2001: Meeting UML (Proceedings 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001)
RedacteurenR. Reed, J. Reed
Plaats van productieBerlin
UitgeverijSpringer
Pagina's379-402
ISBN van geprinte versie3-540-42281-1
DOI's
StatusGepubliceerd - 2001

Publicatie series

NaamLecture Notes in Computer Science
Volume2078
ISSN van geprinte versie0302-9743

Citeer dit