English : Japanese : Contact : Sitemap
정적&동적도구  
C, C++, C#  
Java(JSP)  
Python, R, JavaScript, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Static Analysis Dashboard  
License Type  
SW 테스트/컨설팅 서비스  
국내외인증  
정적&동적도구

C, C++, C# 화이트박스/GUI 테스트 자동화

 화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)는 데이터 흐름 분석(Data-flow Analysis) 기반으로 자동 생성된 각 실행 경로(Feasible Path)에서 테스트 데이터를 100% 자동 추출하여 소프트웨어 테스트의 자동화를 지원합니다. 또한, 애자일(Agile) 방법론에 최적의 도구입니다.

Host 또는 Target 상에서 단위부터 시스템 테스트까지 통합 지원합니다.
 (1) 단위 테스트: Automated White-box Path Test
 (2) 통합 테스트: Path Instrument Test
 (3) 시스템 테스트: GUI-based Coverage Test

화이트박스 경로 테스팅의 특징
  • Test Program Execution: System (Whole Program)
  • Test Generation Algorithm: Concrete Execution (Lower Cost than Symbolic Execution)
  • Test Design/Execution/Coverage Process
        -(White-box) White/White/White: Model-Based Design 기반 Program Bug 검증
        -(Black-box) Black/Black/White: Program Bug 검증 불가

    화이트박스 경로 단위/통합 테스팅의 주요 기능
  • 화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)
       -프로그램의 내부 경로(로직)에 초점을 둔 how의 관점으로 경로 테스트 자동화
       -회귀 테스트(Regression Test) 및 결함 주입 테스트(Fault Injection Test) 통합 지원
  • 경로 테스트 케이스(Path Test Case) 및 경로 인스트루멘테이션(Path Instrumentation) 설계
       -각 함수별 테스트 케이스인 실행 경로 자동 생성과 테스트 데이터 자동 추출
  • 빅뱅(big-bang) 기반 모든 C/C++ 컴파일러 제품군 지원
       -IAR, ARM, Borland, Cosmic, GNU, Green Hills, Intel, Keil, Microsoft, QNX, Wind River 등

    GUI 기반 시스템 테스팅의 주요 기능
  • GUI 기반 커버리지 테스트(GUI-based Coverage Test)
       -Windows, Web, Mobile SW의 GUI 기반 실시간 코드 커버리지 검증/확인
       -시스템 요구사항(시나리오) 기반 SW의 신뢰성 및 유효성 검증/확인

    코드 커버리지 분석 및 MBD(Model-Based Design) 기반 경로 검증
  • 코드 커버리지 분석
       -단위 커버리지: Statement, Branch, MC/DC, Path Coverage
       -통합 커버리지: Function, Call Coverage
       -MBD 기반 요구사항 커버리지: Traceability(Forward), Consistency Coverage
  • 확장된 Control Flow Graph(CFG)의 MBD 기반 테스트 실행 전/후의 경로 검증
       -(input path-to-executed path) 테스트된 Statement/Branch, MC/DC의 실행 전/후의 비교로 "Program Logic" 검증
       -(test-to-graph) 확장된 Control Flow Graph의 MBD기반 Bug의 위치/경로 식별
       -(test-to-code) 소스 코드 상에서, 테스트된 커버리지 유형과 코드들을 시각적으로 표현

    국내외 소프트웨어 테스트 요구사항 지원
  • (방사청 무기체계 SW 동적시험) 코드 실행률
  • ISO 26262(Automotive), DO 178(Aerospace), IEC 61508(Industrial), EN 50128(Railway), IEC 62304(Medical) 등

    화이트박스 경로 테스팅의 자동화 효과
  • 테스트 데이터 자동 추출로 빠르게 코드 커버리지 달성
  • 수작업 블랙박스 테스트보다 약 100배 이상 소프트웨어 테스트 시간 단축
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • 소프트웨어 테스팅의 자동화로 노력, 시간, 비용 절감

    주요 고객
  • ISO 26262의 임베디드 SW 테스팅(Windows/Ubuntu 기반 단위/통합 경로 테스트)
  • 무기체계 소프트웨어 동적 시험(War 게임 GUI 시스템 테스트)
  • 국책연구과제(소프트웨어 시험 성적서)
  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.