Use of SDL for the implementation of Abstract Test Suites

Kavadias, C; Thanos, G; Ploskas, N; Gerolimos, G; Kollias, V; Stassinopoulos, G; Loupis, M

dc.contributor.author	Kavadias, C	en
dc.contributor.author	Thanos, G	en
dc.contributor.author	Ploskas, N	en
dc.contributor.author	Gerolimos, G	en
dc.contributor.author	Kollias, V	en
dc.contributor.author	Stassinopoulos, G	en
dc.contributor.author	Loupis, M	en
dc.date.accessioned	2014-03-01T01:52:55Z
dc.date.available	2014-03-01T01:52:55Z
dc.date.issued	2003	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/26780
dc.relation.uri	http://pages.cs.aueb.gr/%7Egthanos/papers/ATS-CONF_2003_SDL_ATS_Kavvadias.pdf	en
dc.subject	Finite State Machine	en
dc.subject	Tree and Tabular Combined Notation	en
dc.title	Use of SDL for the implementation of Abstract Test Suites	en
heal.type	journalArticle	en
heal.publicationDate	2003	en
heal.abstract	This paper describes the use of the Specification a nd Description Language (SDL) for the implementation of Abstract Test Suites (ATS ). The Tree and Tabular Combined Notation (TTCN) is the standard language for specification and implementation of validation tests for signalling systems. On the other hand, SDL is a Formal system Description Technique (FDT), which is widely used in	en