(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) IEC 61508, EN 50128, ISO 26262, CWE Compatibility(보안 적합성 인증), GS(1등급), NEP (신제품인증서)

	C, C++ Firmware 시스템 테스트 C/C++ 펌웨어 시스템 테스트(Firmware System Test)는 타겟 하드웨어 실행 환경에서 내장된 ECU/MCU 펌웨어(Firmware) 소프트웨어를 검증할 수 있는 임베디드 테스트 도구입니다. 기존 개발환경에서 테스트하는 전통적인 테스트 도구와 달리 ECU/MCU 프로세서와 같은 하드웨어 실행 환경에서 소프트웨어, 하드웨어, 그리고 통신을 통합한 테스트를 수행하는 최적의 임베디드 시스템 테스트 도구입니다. 특히, MCU는 간단한 신호 제어용의 컨트롤러 역할에서 작은 소형 단말기 두뇌의 역할까지 확대 사용하고 있다.
	C, C++, C# 정적분석도구 - 산업별 표준 지원 C, C++, C# 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.
	C, C++, C# 화이트박스 및 GUI 시스템 테스트  화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)는 데이터 흐름 분석(Data-flow Analysis) 기반으로 자동 생성된 각 실행 경로(Feasible Path)에서 테스트 데이터를 100% 자동 추출하여 소프트웨어 테스트의 자동화를 지원합니다. 또한, 애자일(Agile) 방법론에 최적의 도구입니다.
	C, C++, C# 역공학/SW Metrics 도구 C, C++, C#의 역공학 도구는 File Graph, Call Graph, Control-flow Graph 등을 생성하고, 또한 SW Metrics 도구는 코드 구조의 특징을 측정하여 소프트웨어 품질 향상/개선을 지원하는 솔루션입니다.

If you cannot MEASURE it, you cannot IMPROVE it