DC Field | Value | Language |
---|---|---|
dc.contributor.author | 신동환 | ko |
dc.contributor.author | 김준호 | ko |
dc.contributor.author | 윤원경 | ko |
dc.contributor.author | 지은경 | ko |
dc.contributor.author | 배두환 | ko |
dc.date.accessioned | 2016-11-09T04:58:53Z | - |
dc.date.available | 2016-11-09T04:58:53Z | - |
dc.date.created | 2016-10-13 | - |
dc.date.created | 2016-10-13 | - |
dc.date.issued | 2016-03 | - |
dc.identifier.citation | 정보과학회 컴퓨팅의 실제 논문지, v.22, no.3, pp.145 - 150 | - |
dc.identifier.issn | 2383-6318 | - |
dc.identifier.uri | http://hdl.handle.net/10203/213704 | - |
dc.description.abstract | 프로그램 내에서 오류의 정확한 위치를 찾아내는 것은 많은 시간과 노력을 필요로 하는 작업이다. 이러한 문제를 해결하기 위하여 프로그램의 제어 흐름을 이용한 자동화된 오류 위치 추정 기법이 오랫동안 연구되어 왔으나, 데이터 흐름 기반 언어로 작성된 프로그램에 대해서는 적용될 수 없다는 한계가 있다. 최근 개발된 뮤테이션(mutation) 기반 오류 위치 추정 기법의 경우 프로그램의 제어 흐름 대신 뮤턴트(mutant)라 불리는 인공 오류를 활용하기 때문에 데이터 흐름 기반 언어로 구현된 프로그램에 대해 서도 활용될 수 있을 것으로 기대되나, 오류 위치 추정 효과성에 대한 연구는 이루어지지 않았다. 본 연구는 데이터 흐름 기반 언어인 Function Block Diagram (FBD)로 구현된 프로그램을 대상으로 뮤테이션 기반 오류 위치 추정 기법이 실제 오류의 위치를 얼마나 정확하게 추정할 수 있는지에 대한 사례 연구를 수행한다. 실제 원자로 보호 시스템 대상 초기 버전에 사용되었던 FBD 프로그램에서 발견된 오류들을 수집하고, 각 오류별 위치 추정의 효과성을 분석한다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보과학회 | - |
dc.title | FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 | - |
dc.title.alternative | A Case Study for Mutation-based Fault Localization for FBD Programs | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 22 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 145 | - |
dc.citation.endingpage | 150 | - |
dc.citation.publicationname | 정보과학회 컴퓨팅의 실제 논문지 | - |
dc.identifier.kciid | ART002089523 | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.nonIdAuthor | 김준호 | - |
dc.contributor.nonIdAuthor | 윤원경 | - |
dc.subject.keywordAuthor | Function block diagram | - |
dc.subject.keywordAuthor | 뮤테이션 분석 | - |
dc.subject.keywordAuthor | 오류 위치 추정 | - |
dc.subject.keywordAuthor | function block diagram | - |
dc.subject.keywordAuthor | mutation analysis | - |
dc.subject.keywordAuthor | fault localization | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.