There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 1255 | - |
dc.citation.number | 13 | - |
dc.citation.startPage | 1242 | - |
dc.citation.title | COMPUTER COMMUNICATIONS | - |
dc.citation.volume | 24 | - |
dc.contributor.author | Kim, TH | - |
dc.contributor.author | Hwang, IS | - |
dc.contributor.author | Jang, MS | - |
dc.contributor.author | Lee, Jaiyong | - |
dc.date.accessioned | 2023-12-22T11:42:50Z | - |
dc.date.available | 2023-12-22T11:42:50Z | - |
dc.date.created | 2020-05-12 | - |
dc.date.issued | 2001-08 | - |
dc.description.abstract | State exploration, which is widely used for generation of executable test cases for conformance test of a protocol, often causes state explosion problem. This paper proposes an adaptive state exploration method to overcome the problem for a single module protocol. Since state explosion arises in relation to the predicate, it tries to find out efficiently predicated transitions with priority by emulating the normal and erroneous communication environments closely related to the predicates. A test case generation method using the method is also proposed, which uses an Subdivided Extended Finite State Machine (SEFSM) as a protocol model to reduce semantic loss by modeling and adjusted UIO sequences for the protocol model. The empirical results of the proposed methods show their efficacy. (C) 2001 Elsevier Science B.V. All rights reserved. | - |
dc.identifier.bibliographicCitation | COMPUTER COMMUNICATIONS, v.24, no.13, pp.1242 - 1255 | - |
dc.identifier.doi | 10.1016/S0140-3664(00)00343-1 | - |
dc.identifier.issn | 0140-3664 | - |
dc.identifier.scopusid | 2-s2.0-0035882232 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/32121 | - |
dc.identifier.url | https://www.sciencedirect.com/science/article/pii/S0140366400003431 | - |
dc.identifier.wosid | 000170734600002 | - |
dc.language | 영어 | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | Test case generation of a communication protocol by an adaptive state exploration | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems; Engineering, Electrical & Electronic; Telecommunications | - |
dc.relation.journalResearchArea | Computer Science; Engineering; Telecommunications | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | protocol conformance testing | - |
dc.subject.keywordAuthor | test case generations | - |
dc.subject.keywordAuthor | reducing state explosion | - |
dc.subject.keywordAuthor | state exploration | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.