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

경로 테스팅 자동화 도구 (Automated Path Testing)

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

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

경로 테스팅의 주요 기능
  • 코드 요구사항 기반 경로 테스트 자동화
        -개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 실행 경로 테스트 자동화
        -테스트 케이스인 경로 선택 기반 회귀 테스트 자동화
        -타겟 기반 인스트루멘테이션 코드 커버리지 분석
        -오류 주입 테스트(Fault Injection Test) 자동화
  • 테스트 케이스 설계 자동화
        -각 테스트 케이스의 실행 경로(Feasible Path) 자동 추출
        -각 실행 경로의 테스트 데이터(Test Domain, Input Value) 자동 생성
  • 테스트 도메인
        -논리 흐름 분석: Boolean Table, Call Graph, Control/Data Flow Graph
        -전역 변수 분석: Global Variable Reference Graph
        -코드 복잡도 분석: Cyclomatic Complexity, Structuring(Call) Level

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

    자동 테스팅 효과
  • 중복 테스트 제거로 빠른 고품질 코드 커버리지 달성
  • 프로그램 로직에 중점을 둔 경로 테스팅
  • 수동 테스트보다 자동화 테스트 처리 시간 단축
  • 소프트웨어 제품 출시 시간 단축

  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.