지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제19권 제1호
- 발행연도
- 2013.1
- 수록면
- 36 - 40 (5page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
Function Block Diagram(FBD)는 산업용 컴퓨터인 Programmable Logic Controller(PLC)의 표준 프로그래밍 언어 중 하나이다. 다양한 시험 기법들의 오류 검출 효과성을 평가하기 위해 뮤테이션 분석 기법이 널리 쓰이고 있는데, FBD 모델에 대한 뮤테이션 연산자가 정의되어 있지 않기 때문에 적용에 어려움이 있었다. 본 연구에서는 FBD 모델의 특성, 다양한 FBD 모델의 실제 오류 및 기존 뮤테이션 분석 기법에 관한 분석을 통해 뮤테이션 연산자를 정의한다. 정의된 FBD 뮤테이션 연산자를 활용하여 실제 산업계에서 쓰이는 FBD 모델을 대상으로 뮤테이션 분석을 수행하여 FBD 모델 시험 데이터와 시험 기법을 체계적으로 평가한다.
목차
요약
Abstract
1. 서론
2. 배경 지식
3. FBD 모델 뮤테이션 연산자
4. 사례연구
5. 결론 및 향후 연구
참고문헌
참고문헌 (10)
참고문헌 신청
J. H. Andrews / 2006 / Using mutation analysis for assessing and comparing testing coverage criteria / IEEE Transactions on Software Engineering 32(8):608~624
Y. Jia / 2011 / An Analysis and Survery of the Development of Mutation Testing / IEEE Transactions of Software Engineering 37(5):649~678
International Electrotechnical Commission (IEC) / 1993 / International Standard for Programmable Controllers / Programming Languages
Doosan Heavy Industry & Construction / 2006 / Software Design Specification for the Bistable Processor of the Reactor Protection System
K. N. King / 1991 / A Fortran Language System for Mutation-Based Software Testing / Software: Practice and Experience 21(7):685~718
Y. Jia / 2011 / An Analysis and Survery of the Development of Mutation Testing / IEEE Transactions of Software Engineering 37(5):649~678
International Electrotechnical Commission (IEC) / 1993 / International Standard for Programmable Controllers / Programming Languages
Doosan Heavy Industry & Construction / 2006 / Software Design Specification for the Bistable Processor of the Reactor Protection System
K. N. King / 1991 / A Fortran Language System for Mutation-Based Software Testing / Software: Practice and Experience 21(7):685~718
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000505094