|
|
|
 |
White-box Path & GUI Testing: C/C++/C#
자동화 화이트박스 경로 테스팅(Automated White-box Path Testing)는 프로그램의 내부 로직에 대한 정확한 데이터 흐름 분석(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) 기반 모든 C/C++ 컴파일러 제품군 지원
- IAR, Code Composer Studio, Microchip Studio, KEIL, GNU, Intel, QNX, 등
GUI 테스팅의 주요 기능
탐침(Instrument) 테스트 기반 GUI 테스팅
- (test design) Windows, 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) 표시
화이트박스 경로 테스팅의 자동화 효과
테스트 데이터의 자동 추출로 빠르게 코드 커버리지 달성
수작업 블랙박스 테스트보다 약 100배 이상 소프트웨어 테스트 시간 단축
- Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
소프트웨어 테스팅의 자동화로 노력, 시간, 비용 절감
주요 고객
ISO 26262의 임베디드 SW 테스팅
- 차량용 반도체: C 단위/통합 테스팅
- 자율 주행 자동차: C++ 단위/통합 테스팅
무기체계 소프트웨어 동적 시험
-가상/워게임 모의 훈련 C++, C# GUI Testing
-타겟 기반 GUI 테스팅: UI 시나리오 테스트
-Client(C#)/Server(C++) Application의 실행 코드 기반 코드 커버리지 측정
|
|
|
|
|
|
