최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 세종대학교 Sejone university |
---|---|
연구책임자 | 송재승 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2020-06 |
과제시작연도 | 2020 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
과제관리전문기관 | 한국연구재단 National Research Foundation of Korea |
등록번호 | TRKO202100013037 |
과제고유번호 | 1345318080 |
사업명 | 개인기초연구(교육부)(R&D) |
DB 구축일자 | 2021-09-04 |
키워드 | 사물인터넷.소프트웨어테스팅.심볼릭수행.적합성테스팅.보안취약점분석.사물인터넷테스팅플랫폼.상호운용성. |
□ 연구개요
본 연구과제에서는 높은 코드 테스트 커버리지와 소스 코드 레벨의 테스팅, 그리고 다양한 숨겨진 보안 문제점 검출 에 강점을 보이는 심볼릭 수행 기법을 활용하여 이를 사물인터넷 환경에 적용하고, IoT 기기의 상호운용성, 적합성 그리고 보안성을 검증하는데 활용할 것을 제안하고 있다. 이를 위하여 본 과제에서는 글로벌 표준에서 사용되어지고 있는 정형화 테스팅 명세 언어로부터 IoT 기기들의 행동 모델을 추출하고 자동으로 다수의 기기들을 테스트 할 수 있는 소프트웨어 기술을 개발하고, 고신뢰 사물인터넷 기기에서 발생되는
※ AI-Helper는 부적절한 답변을 할 수 있습니다.