단위부터 GUI(시스템) 테스팅까지 지원하는 SW 테스팅 테스트 케이스 설계: 자동 생성된 경로 기반 테스트 케이스(입력 값) 생성 자동화 소스 코드 기반 White-box Path Testing: 코드 커버리지 측정 GUI Test: Target 기반 Web, Mobile의 UI 기능 검증으로 코드 커버리지 측정 지원 언어 (Procedural Language) C (OO Language) C++, C#, Java 국제 인증 IEC 62279 SW 테스팅: C, C++, C#, Java Unit & Integration Testing   - 자동화 화이트박스 경로 테스팅(Automated White-box Path Testing)   - 경로 기반 결함 주입 테스팅(Path-based Fault Injection Testing) GUI Testing   - Windows/Web/Mobile GUI SW의 GUI 테스팅(GUI Testing) 코드 커버리지 분석 및 표준 지원 코드 커버리지 측정    - 구조적 커버리지: Statement, Branch, MC/DC, Path, Function, Call Coverage    - 시나리오 커버리지: Design & Component Scenario Coverage    - 요구사항 커버리지: Traceability(Forward), Consistency Coverage 국내외 소프트웨어 테스트 요구사항 준수   - (방사청 무기체계 SW 동적시험) 코드 실행률   - (자동차 안전성 검증) 요구사항 기반 검증, 결함 주입 검증   - ISO 26262(자동차), IEC 61508(산업), IEC 62304(의료), EN 50128/62279(철도) 등

	White-box Path & GUI Testing: C/C++/C#  자동화 화이트박스 경로 테스팅(Automated White-box Path Testing)는 프로그램의 내부 로직에 대한 정확한 데이터 흐름 분석(data-flow analysis)을 통해 자동 생성된 실행 경로와 테스트 케이스를 사용하여 모든 코드 구문의 코드 커버리지를 측정한다.
	White-box Path & GUI Testing: Java  자동화 화이트박스 경로 테스팅(Automated White-box Path Testing)는 프로그램의 내부 로직에 초점을 둔 HOW 관점에서 정확한 데이터 흐름 분석(Data-flow Analysis)을 통해 실행 경로를 자동 생성하여, 각 경로 별 테스트 케이스의 설계를 자동 제공합니다.