TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 334
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorVuong, STko
dc.contributor.authorLee, Sko
dc.contributor.authorKim, Myungchulko
dc.date.accessioned2013-02-27T10:07:17Z-
dc.date.available2013-02-27T10:07:17Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1996-08-
dc.identifier.citationCOMPUTER COMMUNICATIONS, v.19, no.9-10, pp.804 - 812-
dc.identifier.issn0140-3664-
dc.identifier.urihttp://hdl.handle.net/10203/67892-
dc.description.abstractAlthough a great deal of research activities in protocol testing have focused on formal method for protocol test generation in recent years, in practice many test suites are still developed in a heuristic manner. This gives rise to a strong need for test case (suite) validation before they can be used in the conformance testing of implementations under test (IUT). In this paper, we discuss the basic idea of test validation, and present an overview of TESTVAL, a tool for test case validation based on Estelle specifications. The paper also demonstrates the validity of TESTVAL by applying it to the LAPB standard test suite. From the experiments performed we find TESTVAL a useful, practical tool for test case (suite) validation. Some redundancies in the LAPB standard test suite were uncovered.-
dc.languageEnglish-
dc.publisherELSEVIER SCIENCE BV-
dc.titleTESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example-
dc.typeArticle-
dc.identifier.wosidA1996VQ13800005-
dc.identifier.scopusid2-s2.0-0030205660-
dc.type.rimsART-
dc.citation.volume19-
dc.citation.issue9-10-
dc.citation.beginningpage804-
dc.citation.endingpage812-
dc.citation.publicationnameCOMPUTER COMMUNICATIONS-
dc.identifier.doi10.1016/S0140-3664(96)01109-7-
dc.contributor.localauthorKim, Myungchul-
dc.contributor.nonIdAuthorVuong, ST-
dc.contributor.nonIdAuthorLee, S-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorprotocol testing-
dc.subject.keywordAuthortest case validation-
dc.subject.keywordAuthorTESTVAL-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0