Development of ARQA Dynamic: AI-Based Automated Test Case Generation and Iterative Verification for Unverified Safety-Critical Software Code
창업성장기술개발(R&D) · 창업성장기술개발사업(TIPS)
2026년
2420033498
중소벤처기업부
중소기업기술정보진흥원
주식회사 코컴
조용일
8명
2026.07.01 ~ 2026.12.31
2026.07.01 ~ 2028.06.30
2.2억원
3.0억원
개발연구
중소기업
경상남도 김해시
정보/통신 > 소프트웨어 > S/W 솔루션
본 과제는 안전필수 소프트웨어의 Statement·Branch·MC/DC 구조 커버리지 확보를 목표로, 소스코드의 분기 구조와 조건식을 분석하고 커버리지 미달성 구간을 자동으로 식별하는 동적시험 솔루션을 개발함식별된 미달성 구간에 대해 테스트케이스를 자동 생성하고, 생성된 테스트 실행 결과를 다시 분석하여 부족한 커버리지를 반복적으로 보완하는 폐루프형 구조...
... 소스코드의 함수, 분기문, 조건식, 실행 경로 분석 - Statement, Branch, MC/DC 달성에 필요한 테스트 요구조건 도출 - 테스트케이스 자동 생성 모듈에서 활용 가능한 정규화 데이터 생성4. 테스트케이스 자동 생성 기술 개발 - 미충족 구조 커버리지 항목을 만족하기 위한 테스트 입력 및 시나리오 자동 생성 - 조건식, 입력 변수, 전역변수, 지역변수 간 관계를 고려한 규칙 ...
... 감소 및 검증 비용 절감 - 해외 상용 검증도구 의존도 완화 및 국산 검증 솔루션 경쟁력 강화3. 사업화 기대효과 - ARQA Dynamic 시제품 개발 및 실증을 통한 초기 고객 확보 가능성 확대 - 라이선스 판매, 기술지원, 유지보수 등 확장 가능한 수익모델 확보 - 중장기적으로 기능안전 및 인증 대응 시장까지 확장 가능한 고부가가치 검증 플랫폼 기반 마련