There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 93 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 77 | - |
dc.citation.title | 정보과학회논문지(C) | - |
dc.citation.volume | 2 | - |
dc.contributor.author | 장민석 | - |
dc.contributor.author | 김태형 | - |
dc.contributor.author | 박동성 | - |
dc.contributor.author | 조은경 | - |
dc.contributor.author | 이재용 | - |
dc.contributor.author | 이상배 | - |
dc.date.accessioned | 2023-12-22T12:39:52Z | - |
dc.date.available | 2023-12-22T12:39:52Z | - |
dc.date.created | 2020-05-22 | - |
dc.date.issued | 1996-03 | - |
dc.description.abstract | 통신 프로토콜의 적합검사를 수행하는데 있어서 그 복잡성으로 인해 적합성시험을 하는 도구의 필요성이 대두되었고 이 도구에 대한 개발이 요구되었다. 하지만 적합성시험 자동도구를 개발하는데 있어서 실제 프로토콜의 상태수, 요구되는 저장용량 등은 항상 큰 장애요인이 되어 왔다. 본 논문에서는 FMCT(Formal Methods in Conformance Testing: 적합성시험의 형식기법)를 기본으로, 상태수를 줄이는 방안이 제시되었으며 이를 통해 특징 프로토콜에 적용할 수 있는 시험경우(test case) 자동생성도구를 개발하였다. 또한 symbolic execution과 FDT(Formal Description Technique: 형식서술기법)의 일종인 Estelle에서의 external IP(Interaction Point) 적용기능을 사용함으로써 메모리문제를 해결하는 방안을 제안하였다. 본 도구는 명세편집기(Editor), YECT(Yonsei Estelle to Control flow graph Translator), 시험 목적 적용기(Test Purpose applier), GID(Global Instantaneous Description)열 편집기(GID sequence editor), 제어흐름도 보이기(Control Flow Graph viewer) 및 시험열 생성기(Test sequence generator) 등의 여섯가지 부도구들로 이루어져 있으며, 이들을 통합환경화해서 주어진 프로토콜의 시험열을 생성한다. 우선 명세편집기에서는 Estelle 언어로 프로토콜 명세를 작성하며, YECT에서는 이 명세로부터 제어흐름도를 생성하고 있으며, 제어흐름도 보이기에서는 이 흐름도를 도식화해서 사용자에게 보여준다. 한편 시험목적 적용기는 GID열 편집기가 정의하는 시험목적을 제어흐름도에 적용함으로써 목적에 맞는 부-제어흐름도(sub-CFG)를 생성한다. 이들 과정을 기초로, 시험열 생성기는 주어진 프로토콜의 시험경우열을 생성하게 된다. 이렇게 개발된 시험경우 자동생성도구인 YACTT(Yonsei Automatic Conformance Testing Tool)는 복잡한 실제 프로토콜에 적용함을 목표로 하고 있다. 아울러 시험목적 적용 및 시험열 생성시 데이타 흐름을 고려하는 방안에 대한 계속적인 연구를 통해 현재 도구를 보다 더 발전시킬수 있을 것이다. | - |
dc.identifier.bibliographicCitation | 정보과학회논문지(C), v.2, no.1, pp.77 - 93 | - |
dc.identifier.issn | 1226-2293 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/32180 | - |
dc.identifier.url | http://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE00602796 | - |
dc.language | 한국어 | - |
dc.publisher | 한국정보과학회 | - |
dc.title | Estelle명세에서 시험경우를 자동 생성하는 통합 자동 도구 : YACTT | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | domestic | - |
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.