자동화 화이트박스 경로 테스팅(Automated White-box Path Testing)는 프로그램의 내부 로직에 초점을 둔 HOW 관점에서 정확한 데이터 흐름 분석(Data-flow Analysis)을 통해 실행 경로를 자동 생성하여, 각 경로 별 테스트 케이스의 설계를 자동 제공합니다.
Host 또는 Target 상에서 단위부터 시스템 테스팅까지 통합 지원합니다.
(1) 단위 테스팅: White-box Path Testing
(2) 통합 테스팅: Path Instrument Testing
(3) 시스템 테스팅: GUI Testing
화이트박스 경로 테스팅의 특징
Test Program Execution: System (Whole Program)
Test Generation Algorithm: Concrete Execution (Lower Cost than Symbolic)
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)
- (test design) 함수 별 자동 생성된 경로 기반 테스트 케이스(입력 값) 생성 자동화
- (coverage) Host 또는 Target 기반 코드 커버리지 측정
- (one workflow) 경로기반 결함 주입 테스팅(path-based fault injection testing) 지원
빅뱅(big-bang) 기반 모든 Java/Android 컴파일러 제품군 지원
GUI 테스팅의 주요 기능
탐침(Instrument) 테스트 기반 GUI 테스팅
- (test design) Windows, Web, Mobile GUI SW의 UI 요구사항 시나리오 테스트
- (coverage) GUI SW(Client-Server/Parallel System)의 실행기반 코드 커버리지 측정
- (one workflow) 클라이언트-서버 및 병렬 아키텍처기반 애플리케이션 테스팅
MBD(Model-Based Design)의 테스팅 결과 검증
(test-to-path) 단위 테스팅의 Branch, MC/DC 실행 경로 검증: Control-flow Graph
(test-to-scenario) 통합 테스팅의 시나리오 커버리지 실행 검증: Call/File Graph
(test-to-code) 테스트된 코드에 구조적 커버리지 유형의 심볼 표시: Code View
- 각 코드 라인: Statement(S), Branch(T, F) 표시
주요 고객
국책연구과제
- WEB 오픈서비스 기능 적합성 검사: Java 소프트웨어 시험 성적서
본사: 대전시 유성구 대덕대로 593 대덕테크비즈센터 B-13호
연구소: 서울시 강남구 자곡로 174-10 강남에이스타워G9 1017호
Tel 02-553-9464, info@soft4soft.com
화이트박스 경로 테스팅의 특징
