English : Japanese : Contact : Sitemap
정적/동적분석 도구  
C, C++, C#  
Java(JSP)  
Python, R, JS, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Dashboard  
License Type  
정적/동적분석 도구

C 동적분석도구 - 단위 및 통합 테스트

RESORT for C Testing은 실행 경로 기반 각 경로의 테스트 케이스와 입력 값을 자동 추출하여 사용자가 스텁(stub)이나 드라이브(drive)의 테스트 코드 작성 없이 실제 개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 단위 및 통합 테스트의 코드 커버리지 분석을 빠르게 자동으로 수행할 뿐만 아니라 오류 주입 테스트까지 지원합니다.

또한, 테스트 도메인 분석을 위해 File Graph, Call Graph, Control Flow Graph, Data Flow Graph, Global Variable Reference Graph 등의 역공학 그래프를 제공합니다.

단위 및 통합 테스팅의 주요 기능

  • 코드 요구사항 기반 경로 테스트 자동화 지원
        -개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 테스트 수행
        -테스트 케이스인 선택 경로 기반 회귀 테스트 자동화
        -타겟 기반 인스트루멘테이션 코드 커버리지 분석
        -Makefile 작성 지원
  • 테스트 케이스 설계 자동화 지원
        -실행 경로(Feasible Path) 기반 테스트 케이스 자동 추출
        -동등 분할 기반 각 실행 경로의 입력 값 자동 생성
        -테스트 스텁(Stub) 및 테스트 드라이브(Drive) 개발 불필요
        -테스트 도메인 분석을 위한 Boolean Table과 Call Graoh 등 5 종류의 역공학 그래프
  • 오류 주입 테스트(Fault Injection Test) 지원
        -계획된 각 테스트 케이스의 Fault 입력 값 주입으로 코드의 논리적 구조에 대한 Pass/Fail 처리 확인
        -Control Flow Graph에서 Fault 처리에 대한 Pass/Fail의 코드 실행 경로 표시


    코드 커버리지 분석

  • 안전성 표준의 코드 커버리지 유형 선택
        -ISO 26262, DO 178B, IEC 61508, EN 50128, IEC 61513, IEC 62304, 방위사업청 등
  • 단위 테스트: Statement, Branch, MC/DC, Path Coverage 제공
  • 통합 테스트: Function, Call Coverage 제공
  • 테스트 평가: 테스트 케이스인 선택경로와 실행경로의 검증으로 코드의 논리적 구조에 대한 Pass/Fail 확인
        -Control Flow Graph에서 Pass/Fail의 코드 실행 경로 표시


    기대효과

  • 테스트 소요 시간 및 비용 절감
  • 정적과 동적 분석의 V&V 프로세스 구축
  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.