|
|
|
 |
Java 화이트박스 & 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 SW 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) 기반 모든 Java/Android 컴파일러 제품군 지원
GUI 기반 커버리지 시스템 테스팅의 주요 기능
GUI 기반 커버리지 테스트(GUI-based Coverage Test)
-Windows, Web, Mobile SW의 GUI 기반 실시간 코드 커버리지 검증/확인
-시스템 요구사항(시나리오) 기반 SW의 신뢰성 및 유효성 검증/확인
MBD(Model-Based Design) 기반 경로 검증
확장된 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 테스팅
무기체계 소프트웨어 동적 시험
국책연구과제(소프트웨어 시험 성적서)
|
|
|
|
|
|
