최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 경북대학교 KyungPook National University |
---|---|
연구책임자 | 최윤자 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2021-03 |
과제시작연도 | 2020 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
등록번호 | TRKO202100018398 |
과제고유번호 | 1711116306 |
사업명 | 차세대정보·컴퓨팅기술개발(R&D) |
DB 구축일자 | 2022-02-26 |
키워드 | 풀스택 SW.조합적 모델검증.이종 모델.모델 기반 테스트 자동생성.모델-코드 일관성 검사.모델 자동수정.오탐자동식별.Fullstack software.Compositional model checking.Heterogeneous models.Model-based test generation.Model-code consistency checking.Automated model repair.Automated false alarm detection. |
□ 연구개발 목표
본 연구는 풀스택 SW의 오류를 검출하기 위한 모델 기반 검증 원천 기술을 개발한다. 풀스택 SW는 다음의 문제들로 인해, 기존 SW 모델 기반 검증 기술로는 검증 효과에 한계가 있다.
① 다중 계층 프레임워크 사용으로 인한 빈번한 계층 간 상호작용 불일치 문제
② 이종 언어들로 개발된 SW 검증 문제의 높은 난이도
③ 다수의 SW 컴포넌트들을 통합하여 모델 검증시 발생하는 심각한 상태폭발 문제
본 연구에서는, 이러한 제약점을 극복하도록 풀스택 SW 모델을 대상으로 효과적이 고 효율적인
※ AI-Helper는 부적절한 답변을 할 수 있습니다.