최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 한국과학기술원 Korea Advanced Institute of Science and Technology |
---|---|
연구책임자 | 지은경 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2019-11 |
과제시작연도 | 2019 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
과제관리전문기관 | 한국연구재단 National Research Foundation of Korea |
등록번호 | TRKO202000001463 |
과제고유번호 | 1345303782 |
사업명 | 이공학학술연구기반구축(R&D) |
DB 구축일자 | 2020-07-29 |
키워드 | 기능 블록 다이어그램.테스트 케이스 생성.뮤테이션 기반 테스팅.테스트 자동화 도구.안전 필수 소프트웨어.소프트웨어 안전성. |
□ 연구개요
Function Block Diagram (FBD)이 원자로 노심 보호 시스템 소프트웨어와 같은 안전 필수 소프트웨어 구현에 사용되면서 FBD 프로그램 테스팅의 중요성이 높아졌다.
본 연구는 FBD 프로그램 내에 존재할 수 있는 오류들에 대한 검출 효과성을 극대화 할 수 있는 뮤테이션 기반 테스트 케이스를 자동 생성하는 기법 및 도구를 개발하여, FBD으로 구현된 안전 필수 소프트웨어의 안전성 확보를 목표로 한다.
□ 연구 목표대비 연구결과
*FBD 프로그램 내 발생 가능한 오류들에 대한 탐
※ AI-Helper는 부적절한 답변을 할 수 있습니다.