• #동적테스트자동화
  • #MC_DC커버리지
  • #AI테스트생성
  • #타깃검증

코드 동적 검증 (CT)

코드 동적 테스트를 자동화하여 단위·통합 시험과 커버리지
목표를 효율적으로 달성하는 검증 도구

문의하기 브로슈어 다운로드

고객 니즈

  • ISO 26262 ASIL 커버리지 달성 부담

    MC/DC 구조적 커버리지 달성을 위한 테스트 케이스 작성 공수 폭증

  • 타겟 환경 테스트 구성 · 디버깅 난이도

    타겟 환경에서의 테스트 설정 및 디버깅 어려움

  • 코드 변경 시 TC 재작성/맵핑 공수

    소스 코드 변경에 따른 기존 테스트 케이스 맵핑 및 유지보수 부담

핵심 기능

  • 스텁 기능

    스텁 기능

    • 제어하기 어려운 원본 함수를 스텁(대역 함수)으로 대체
  • AI 도우미

    AI 도우미

    • 테스트 실패 원인 분석 및 스텁 코드 작성 가이드 지원
  • 타깃 원클릭 실행

    타깃 원클릭 실행

    • 실제 ECU 환경에서 즉시 검증 (Serial/Ethernet/JTAG)
  • AI 기반 테스트 자동화

    AI 기반 테스트 자동화

    • 정확한 분석 정보 기반 테스트 자동생성,수정 CI/CD 파이프라인 통합 지원

도입 효과

  • 커버리지 목표 달성 가속화

    MC/DC 등 구조적 커버리지 자동 확보

  • 테스트 공수 절감 및 자동화

    테스트 생성·실행·분석까지 자동화

  • 품질 및 신뢰성 향상

    실제 타깃 환경 검증으로 오류 사전 제거

  • 인증 대응 역량 강화

    ISO 26262 등 안전 인증 기준 충족 지원

적용 사례

  • 항공 SW 인증 검증 사례 (DO-178B Level A)
    Case

    항공 SW 인증 검증 사례 (DO-178B Level A)

    대상
    무인 항공기용 RTOS (Qplus-653)
    상황
    항공 인증 최고 수준 DO-178B Level A 기준 충족 필요
    도구적용
    Low-level 요구사항 테스트 및 MC/DC 커버리지 검증 수행
    결과
    DO-178B Level A 인증 획득 및 고신뢰 SW 검증 수행

지원 범위 및 환경

지원 언어 C, C++
OS 환경 Windows, Linux
컴파일러 GCC, Clang, Visual Studio 등
타깃 인터페이스 Ethernet, Serial, JTAG
디버거 TRACE32, iSYSTEM, IAR 등
대용량 테스트 데이터 및 대규모 프로젝트 지원

더 알아보기

Contact

슈어소프트테크와 함께 시작해보세요!

개발 환경에 맞춘 최적의 검증 솔루션을 제안해 드립니다.

문의하기 브로슈어 다운로드
close