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

C, C++ 화이트박스 경로 테스팅 자동화 도구

C/C++ 화이트박스 경로 테스팅 자동화 도구(Automated White-box Path Testing Tool)는 테스트 케이스인 실행 경로(Feasible Path)의 테스트 생성을 자동 추출하여, 실제 개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 소프트웨어 테스트를 자동화함으로써 테스트 시간과 노력의 비용을 획기적으로 절감함과 더불어 임베디드 소프트웨어의 신뢰성을 빠르고 쉽게 확보할 수 있는 단위/통합 테스팅 자동화 도구이다.
또한, 기능 테스트 또는 경계 값 테스트와 같은 블랙박스 테스팅(Black-box Testing)에서 발견할 수 없는 결함 및 버그를 실행 전/후의 경로 검증으로 식별합니다.

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

화이트박스 경로 테스팅의 주요 기능
  • 화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)
       -개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 경로 테스트 자동화
       -호스트(Host) 또는 임베디드 타겟 테스팅(Embedded Target Testing)
       -회귀 테스트(Regression Test) 및 결함 주입 테스트(Fault Injection Test) 통합 지원
  • 테스트 생성(Test Generation) 자동 생성/추출
       -테스트 케이스인 실행 경로 (Feasible Path) 자동 생성
       -각 실행 경로의 테스트 생성(Test Domain, Input Value) 자동 추출
  • 테스트 도메인 분석
       -논리 흐름 분석: Boolean Table, Call Graph, Control/Data Flow Graph
       -전역 변수 분석: Global Variable Reference Graph
       -코드 복잡도 분석: Cyclomatic Complexity, Structuring(Call) Level
  • 빅뱅(big-bang) 기반 모든 C/C++ 컴파일러 제품군 지원
       -ARM, Borland, Cosmic, GNU, Green Hills, Intel, IAR, Keil, Microsoft, QNX, Wind River 등
  • 안전성 표준의 코드 커버리지 유형 지원
       -ISO 26262(Automotive), DO 178(Aerospace), IEC 61508(Industrial), EN 50128(Railway), IEC 62304(Medical), 방위사업청 등

    코드 커버리지 분석 및 MBD(Model-Based Design) 기반 경로 검증
  • 코드 커버리지 분석
       -단위 커버리지: Statement, Branch, MC/DC, Path Coverage
       -통합 커버리지: Function, Call Coverage
       -요구사항 커버리지: Traceability(Forward), Consistency Coverage
  • 확장된 Control Flow Graph(CFG)의 MBD 기반 테스트 실행 전/후의 경로 검증
       -Statement/Branch(문장/분기), MC/DC(조건/결정)의 경로 테스트 실행 전/후의 비교로 "Program Logic"에 대한 Pass/Fail 검증
       -확장된 Control Flow Graph의 Model-Based Design(MBD)기반 테스트 실행 전/후의 경로 검증
       -소스 코드 상에서 실행된 커버리지의 유형 및 영역 식별: Statement, Branch, MC/DC

    화이트박스 경로 테스팅의 자동화 효과
  • 프로그램의 내부 구조(로직)에 초점을 둔 How의 관점으로 경로 테스팅
  • 수작업 블랙박스 테스트보다 약 100배 이상 소프트웨어 테스트 시간 단축
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • 소프트웨어 제품 출시 시간 단축

    주요 고객
  • 자동차의 ISO 26262 구조적 커버리지 측정 도구
  • 방산의 동적 시험 도구
  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.