타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구Analysis of Timed Automata Model-based Testing Approaches and Case Study
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김한석 | ko |
| dc.contributor.author | 지은경 | ko |
| dc.contributor.author | 배두환 | ko |
| dc.date.accessioned | 2015-04-08T08:01:14Z | - |
| dc.date.available | 2015-04-08T08:01:14Z | - |
| dc.date.created | 2015-04-03 | - |
| dc.date.created | 2015-04-03 | - |
| dc.date.issued | 2015-02 | - |
| dc.identifier.citation | 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137 | - |
| dc.identifier.issn | 2383-6318 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/195943 | - |
| dc.description.abstract | 실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구 | - |
| dc.title.alternative | Analysis of Timed Automata Model-based Testing Approaches and Case Study | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 21 | - |
| dc.citation.issue | 2 | - |
| dc.citation.beginningpage | 132 | - |
| dc.citation.endingpage | 137 | - |
| dc.citation.publicationname | 정보과학회 컴퓨팅의 실제 논문지 | - |
| dc.identifier.kciid | ART001960653 | - |
| dc.contributor.localauthor | 배두환 | - |
| dc.subject.keywordAuthor | timed automata | - |
| dc.subject.keywordAuthor | testing approaches analysis | - |
| dc.subject.keywordAuthor | real-time system testing | - |
| dc.subject.keywordAuthor | model-based testing | - |
| dc.subject.keywordAuthor | 타임드 오토마타 | - |
| dc.subject.keywordAuthor | 테스팅 기법 분석 | - |
| dc.subject.keywordAuthor | 실시간 시스템 테스팅 | - |
| dc.subject.keywordAuthor | 모델 기반 테스팅 | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.