DC Field | Value | Language |
---|---|---|
dc.contributor.author | 한태숙 | ko |
dc.contributor.author | 서선애 | ko |
dc.contributor.author | 조민경 | ko |
dc.contributor.author | 윤정한 | ko |
dc.date.accessioned | 2013-03-09T00:09:03Z | - |
dc.date.available | 2013-03-09T00:09:03Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2009-10 | - |
dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | http://hdl.handle.net/10203/94754 | - |
dc.description.abstract | 에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 | - |
dc.title.alternative | An Automated Test Data Generator for Debugging Esterel Programs | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 36 | - |
dc.citation.issue | 10 | - |
dc.citation.beginningpage | 793 | - |
dc.citation.endingpage | 799 | - |
dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.identifier.kciid | ART001385025 | - |
dc.contributor.localauthor | 한태숙 | - |
dc.contributor.nonIdAuthor | 서선애 | - |
dc.contributor.nonIdAuthor | 조민경 | - |
dc.contributor.nonIdAuthor | 윤정한 | - |
dc.subject.keywordAuthor | Esterel | - |
dc.subject.keywordAuthor | reactive system | - |
dc.subject.keywordAuthor | test data generation | - |
dc.subject.keywordAuthor | synchronous language | - |
dc.subject.keywordAuthor | model checking | - |
dc.subject.keywordAuthor | 에스테렐 | - |
dc.subject.keywordAuthor | 반응형 시스템 | - |
dc.subject.keywordAuthor | 테스트 데이터 생성 | - |
dc.subject.keywordAuthor | 동기 언어 | - |
dc.subject.keywordAuthor | 모델 체킹 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.