DC Field | Value | Language |
---|---|---|
dc.contributor.author | b.m. chin | ko |
dc.contributor.author | Chon, Kil-Nam | ko |
dc.date.accessioned | 2013-02-27T10:48:18Z | - |
dc.date.available | 2013-02-27T10:48:18Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1996 | - |
dc.identifier.citation | COMPUTER NETWORKS AND ISDN SYSTEMS, v.28, no.12, pp.1669 - 1683 | - |
dc.identifier.issn | 0169-7552 | - |
dc.identifier.uri | http://hdl.handle.net/10203/68069 | - |
dc.description.abstract | The aim of this tutorial is to present an overview of conformance testing methods for SDL systems. These methods can be classified into two main groups: those whose intent is the totally automated test generation from the SDL system specification and those that provide interactive test generation methods. We present some of the more representative methods illustrating their application by a common example. This example, the Inres protocol and service, will facilitate the comparison of the methods with respect to SDL and test notations, restrictions on the language, results of the application to the protocol and the tools supporting the methods. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | Testing methods for SDL systems | - |
dc.type | Article | - |
dc.identifier.wosid | A1996UT05400008 | - |
dc.identifier.scopusid | 2-s2.0-0343734747 | - |
dc.type.rims | ART | - |
dc.citation.volume | 28 | - |
dc.citation.issue | 12 | - |
dc.citation.beginningpage | 1669 | - |
dc.citation.endingpage | 1683 | - |
dc.citation.publicationname | COMPUTER NETWORKS AND ISDN SYSTEMS | - |
dc.identifier.doi | 10.1016/0169-7552(95)00125-5 | - |
dc.contributor.nonIdAuthor | b.m. chin | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | SDL | - |
dc.subject.keywordAuthor | conformance testing | - |
dc.subject.keywordAuthor | test generation | - |
dc.subject.keywordAuthor | test sequence | - |
dc.subject.keywordAuthor | test purpose | - |
dc.subject.keywordAuthor | nondeterminism | - |
dc.subject.keywordAuthor | input/output finite state machine | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.