메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터

주제분류

사회과학
경영학 경제학 관광학 교육학 군사학 무역학 문헌정보학 법학 사회과학일반 사회복지학 사회학 신문방송학 심리과학 정치외교학 지리/지역개발학 지역학 행정학
공학
건축공학 공학일반 기계공학 산업공학 자원/재료공학 전자/제어계측공학 전자/정보통신공학 조선/해양공학 컴퓨터학 토목/환경공학 항공우주공학 화학/생물공학
자연과학
물리학 생물학 생활과학 수학/통계학 자연과학일반 전문/지구과학
의약학
간호학 수의학 약학 의학 의학일반 치의학 한의학
인문학
독일어문학 러시아어문학 문학 언어학 역사학 영어문학 인문학일반 일본어문학 종교학/신학 중국어문학 철학 프랑스어문학 한국어문학
예술체육학
건축 디자인 무용 미술 미용 사진 연극 영화 예술체육학일반 음악 의상 체육
농수해양학
농수해양학일반 농학 수산학 식품과학 임학 축산학 해상운송학
복합학
과학기술학/기술정책 뇌/인지과학 여성학 학제간연구

정기구독(개인)

소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.

회원혜택

로그인 회원이 가져갈 수 있는 혜택들을 확인하고 이용하세요.

아카루트

학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.

영문교정

영문 논문 작성에 도움을 드리기 위해, 영문 교정 서비스를
지원하고 있어요.
고객센터 제휴문의

...

저널정보

저자정보

표지
이용수
내서재
0
내서재에 추가
되었습니다. 내서재에서
삭제되었습니다.

내서재에 추가
되었습니다. 내서재에서
삭제되었습니다.

이 논문의 연구 히스토리 (2)

2018

FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용
지은경 ,  송지영 ,  배두환 정보과학회 컴퓨팅의 실제 논문지 2018.11 학술저널

2017

FBD 프로그램에 대한 포괄적 뮤테이션 연산자 정의
지은경 ,  김한석 ,  배두환 한국정보과학회 학술발표논문집 2017.12 학술대회자료

초록·키워드

오류제보하기
Function Block Diagram (FBD)은 프로그래머블 로직 콘트롤러 용 표준 프로그래밍 언어 중 하나이다. 테스트 집합의 오류 검출 효과성 평가에 널리 사용되는 뮤테이션 분석 기법을 FBD 프로그램 테스팅에 적용하기 위해 기존 연구들에서 5종에서 9종의 FBD 프로그램 대상 뮤테이션 연산자를 정의하였다. IEC61131-3 표준에는 FBD 프로그램 내 사용되는 블록들이 300여개 정의되어 있으나, 기존 뮤테이션 연산자 집합은 내부 상태를 가지는 function block들을 포함하여 FBD 프로그램 내 기능 요소들을 포괄적으로 다루지 못한다. 또한, 입력들의 순서가 바뀌는 오류 등 FBD 프로그램 상에서 발생할 수 있는 다양한 오류 타입을 충분히 모사하지 못한다는 한계점을 가지고 있다. 본 연구에서는 FBD 프로그램의 기능요소들과 FBD 프로그램 상에서 발생 가능한 오류 타입을 포괄적으로 고려하여 뮤테이션 연산자를 추가 정의하고, 사례 연구를 통해 효과성을 분석한다.

Function Block Diagram (FBD) is one of the standard programming languages for Programmable Logic Controller. In order to apply the mutation analysis technique, which is a widely employed technique to evaluate the fault detection effectiveness of the test sets, to the FBD programs, five to nine mutation operators for the FBD programs were defined in the previous studies. In the IEC61131-3 standard, more than 300 standard blocks are defined, but the existing set of mutation operators does not cover functional elements of the FBD programs comprehensively, including function blocks with internal states. Moreover, it cannot sufficiently generate different errors that may occur in the FBD programs, such as errors of switched inputs. In this study, we have defined additional mutation operators by comprehensively considering the functional elements that can be used in the FBD programs and the types of errors that can occur in the FBD programs. Also, we have evaluated the impact of the extension of mutation operators by conducting a case study.
#기능 블록 다이어그램 #뮤테이션 테스팅 #뮤테이션 연산자 #테스트 생성 #테스트 평가 #function block diagram #mutation testing #mutation operator #test generation #test evaluation

목차

요약
Abstract
1. 서론
2. 배경 지식 및 관련 연구
3. FBD 프로그램 대상 확장된 뮤테이션 연산자 정의
4. 사례연구 및 분석
5. 결론
References

참고문헌 (36)

참고문헌 신청
International Electrotechnical Commission (IEC), IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages, 2013. International Electrotechnical Commission (IEC), IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages, 2013. International Electrotechnical Commission (IEC), IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages, 2013. P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008. P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008.

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0