|
|
|
 |
화이트박스 & GUI 테스트: C, C++, C#
화이트박스 경로 테스팅 자동화(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) 기반 모든 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) 기반 경로 검증
확장된 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 시스템 테스트)
국책연구과제(소프트웨어 시험 성적서)
|
|
|
|
|
|
