(V Model) 한 번 코드 분석으로 코드 점검부터 시스템 테스트까지 지원하는 정적/동적 통합 도구 (no Compile Step) 컴파일러 빌드 과정이 없는 정적/동적 분석 (no False Positive) Inter-Procedural Path Analysis(cross function)의 최상위 코드 결함 분석 (no Rule Option) 신뢰성, 안전성, 보안성, 코드 품질의 국내/국제 표준 지원 (Code Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics (Fully Test Methods) 코드 기반으로 단위 테스트부터 시스템(인수) 테스트까지 통합 지원 (Certification) NEP (신제품인증서), CWE Compatibility (보안 적합성 인증)

	Java 화이트박스 경로/GUI 테스트 자동화  화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)는 데이터 흐름 분석(Data-flow Analysis) 기반으로 자동 생성된 각 실행 경로(Feasible Path)에서 테스트 데이터를 100% 자동 추출하여 소프트웨어 테스트의 자동화를 지원합니다. 또한, 애자일(Agile) 방법론에 최적의 도구입니다.
	Java(JSP) 정적분석도구 - 산업별 표준 지원 Java(JSP) 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.
	Java 역공학/SW Metrics 도구 Java의 역공학 도구는 Package Diagram, Class Diagram, Sequence Diagram, Call Graph, Control-flow Graph 등의 UML Diagrams등을 생성하고, 또한 SW Metrics 도구는 코드 구조의 특징을 측정하여 소프트웨어 품질 향상/개선을 지원하는 솔루션입니다.

If you cannot MEASURE it, you cannot IMPROVE it