도움말

FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구

A Case Study for Mutation-based Fault Localization for FBD Programs
정보과학회 컴퓨팅의 실제 논문지 제22권 제3호, 2016.3, 145-150 (6 pages)
인용정보 복사
Quick View Quick View
구매하기 6,000원
인용하기
이용수 : 35건
피인용수 : 0건
분야내 활용도 : 10%
자세히 보기 >

· 이용수 : 2010년부터 집계한 원문다운로드수

· 피인용수 : DBpia 논문 가운데 해당 논문을 인용한 논문수

· 분야내 활용도 : 최근 24개월간 DBpia 이용수를 기준으로 산출 / 0%에 가까울 수록 활용도가 높고, 100%에 가까울 수록 활용도가 낮음

초록
프로그램 내에서 오류의 정확한 위치를 찾아내는 것은 많은 시간과 노력을 필요로 하는 작업이다. 이러한 문제를 해결하기 위하여 프로그램의 제어 흐름을 이용한 자동화된 오류 위치 추정 기법이 오랫동안 연구되어 왔으나, 데이터 흐름 기반 언어로 작성된 프로그램에 대해서는 적용될 수 없다는 한계가 있다. 최근 개발된 뮤테이션(mutation) 기반 오류 위치 추정 기법의 경우 프로그램의 제어 흐름 대신 뮤턴트(mutant)라 불리는 인공 오류를 활용하기 때문에 데이터 흐름 기반 언어로 구현된 프로그램에 대해서도 활용될 수 있을 것으로 기대되나, 오류 위치 추정 효과성에 대한 연구는 이루어지지 않았다. 본 연구는 데이터 흐름 기반 언어인 Function Block Diagram (FBD)로 구현된 프로그램을 대상으로 뮤테이션기반 오류 위치 추정 기법이 실제 오류의 위치를 얼마나 정확하게 추정할 수 있는지에 대한 사례 연구를 수행한다. 실제 원자로 보호 시스템 대상 초기 버전에 사용되었던 FBD 프로그램에서 발견된 오류들을 수집하고, 각 오류별 위치 추정의 효과성을 분석한다.

Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.

목차
요약
Abstract
1. 서론
2. 배경지식
3. 실험설계
4. 실험결과 및 분석
5. 결론 및 향후연구
References
키워드

논문의 주요 키워드를 제공합니다. 키워드를 클릭하여 관련 논문을 확인해 보세요!

참고문헌 (14)

현재 논문의 참고문헌을 찾아 신청해주세요!

  1. Papadakis, Mike, and Yves Le Traon, "Metallaxis- FL: mutation-based fault localization," Software Testing, Verification and Reliability, Vol. 25, No. 5-7, pp. 605-628, 2015.

  2. Jones, J. A., & Harrold, M. J., "Empirical evaluation of the tarantula automatic fault-localization technique," Proc. of the 20th IEEE/ACM international Conference on Automated software engineering, ACM, pp. 273-282, 2005.

  3. IEC: International Standard for Programmable Controllers, Part 3: Programming Languages, 1993.

  4. Doosan Heavy Industry & Construction, "KNICSRPS– SDS231-01, Rev. 01, Software Design Specification for the Bistable Processor of the Reactor Protection System," 2006.

  5. Andrews, J.H., Briand, L.C., Labiche, Y., and Namin, A.S., "Using mutation analysis for assessing and comparing testing coverage criteria," IEEE Transactions on Software Engineering, Vol. 32, No. 8, pp. 608-624, 2006.

  6. Just, René, et al., "Are mutants a valid substitute for real faults in software testing?," Proc. of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 654-665, 2014.

  7. Jaccard, P., "Étude comparative de la distribution florale dans une portion des Alpes et des Juram," Bulletin del la Société Vaudoise des Sciences Naturelles, Vol. 37, pp. 547-579, 1901.

  8. Jee, E., Jeon, S., Cha, S., Koh, K., Yoo, J., Park, G., and Seong, P., "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram," Journal of Research and Practice in Information Technology, Vol. 42, No. 3, pp. 255-272, 2010.

  9. Shin, D., Jee, E., & Bae, D. H., "Comprehensive analysis of FBD test coverage criteria using mutants," Software & Systems Modeling, Online published, 2014.

  10. Masri, Wes, and Rawad Abou Assi, "Prevalence of coincidental correctness and mitigation of its impact on fault localization," ACM transactions on software engineering and methodology (TOSEM), Vol. 23, No. 8, 2014.

  • 처음
  •  
  • 이전
  •  
  • 1
  •  
  • 2
  •  
  • 다음
  •  
  • 마지막
인용된 논문 (0)

알림서비스 신청하고 '인용된 논문' 정보를 메일로 확인 하세요!

해당 논문은 인용된 논문 정보가 없습니다.

제 1 저자의 다른 논문 (11)

신동환 식별저자 저자의 상세정보를 확인해 보세요.

  • 처음
  •  
  • 이전
  •  
  • 1
  •  
  • 2
  •  
  • 다음
  •  
  • 마지막
권호 내 다른 논문 (9)

정보과학회 컴퓨팅의 실제 논문지 제22권 제3호 의 상세정보를 확인해 보세요.

추천 논문 (7)

DBpia 추천논문과 함께 다운받은 논문을 제공합니다. 논문 초록의 텍스트마이닝과 이용 및 인용 관계 분석을 통해 추천해 드리는 연관논문을 확인해보세요.

DBpia 추천논문

더 많은 추천논문을 확인해 보세요!

함께 다운받은 논문

지표

이용현황

· 이용수

· 이용순위 상위 Top3

자세히 보기 >
No 상위 이용이관 이용수
1 한국과학기술원 21
2 건국대학교 4
3 국방대학교 2

활용도

· 활용지수

· 논문의 활용도 추이 (주제분야 기준)

자세히 보기 >

: %

2016-09
2016-10
2016-11
2016-12
0
20
40
60
80
100
  • 0%
  • 20%
  • 40%
  • 60%
  • 80%
  • 100%

인용수

상세정보
저작권 정책

누리미디어에서 제공되는 모든 저작물의 저작권은 원저작자에게 있으며, 누리미디어는 각 저작물의 내용을 보증하거나 책임을 지지 않습니다. 단, 누리미디어에서 제공되는 서지정보는 저작권법에 의해 보호를 받는 저작물로, 사전 허락 없이 임의로 대량 수집하거나 프로그램에 의한 주기적 수집 이용, 무단 전재, 배포하는 것을 금하며, 이를 위반할 경우, 저작권법 및 관련법령에 따라 민, 형사상의 책임을 질 수 있습니다.

맨 위로 이동
  • 개인회원으로 로그인하셔야 이용이 가능합니다.
  •  개인회원
  •  기관회원
  • 소속기관
  • 아이디
  • 비밀번호
  • 개인회원가입으로 더욱 편리하게 이용하세요. 일반회원 가입하기

    아이디/비밀번호를 잊으셨나요? 아이디/비밀번호 찾기