3HAND는 HTML5 웹, Windows 프로그램, 모바일 앱 등 다양한 환경에서 동작하는 테스트 자동화 솔루션입니다. 오브젝트 및 이미지 인식 기반의 자동화 기능으로, 금융권 IT 안정성 가이드라인에 부합하며, 개발·운영·서비스 단계의 품질 검증을 효율적으로 지원합니다. 삼성전자 GMES 등 대형 제조 시스템에도 도입되어 회귀 테스트 및 무결성 검증을 자동화합니다.
TimeBounder는 포멀웍스가 개발한 고신뢰 임베디드 소프트웨어 검증 도구로, 원전·자동차·국방 등 안전성이 중요한 산업 분야에서 국제표준(IEEE Std. 1012, IEC 61508, ISO 26262 등)에 기반한 소프트웨어의 확인 및 검증(V&V)을 지원합니다. 정적 분석과 자동화된 테스트 기능을 통해 개발 단계별 오류를 사전에 탐지하며, 인허가와 품질 향상에 필수적인 안전성 분석과 정형 검증 서비스를 제공합니다.
국제 표준(ISO 26262, ASPICE 등)에 기반한 코드 검증 솔루션으로, 자동차·국방·원자력 등 미션 크리티컬 산업의 소프트웨어 소스코드를 자동 분석하여 결함, 취약점, 표준 준수 여부를 신속하게 진단합니다. 정적 분석, 문서 추적성, 구조적 완전성 검증 등 다양한 기능을 제공하여 소프트웨어의 신뢰성과 안전성을 획기적으로 높입니다.
엠스텍은 다년간 축적된 전문 검증 역량을 바탕으로, 고객의 소프트웨어가 요구사항에 맞게 정상적으로 동작하는지 확인하고, 잠재적 결함이나 오류를 사전에 발견하여 품질을 보증하는 소프트웨어 테스트 및 검증 서비스를 제공합니다. 단위 테스트, 통합 테스트, 시스템 테스트, 인수 테스트 등 다양한 검증 프로세스를 통해 신뢰성과 성능, 보안, 사용성 등 소프트웨어의 전반적인 품질을 체계적으로 점검하며, 고객의 ICT 환경에 최적화된 맞춤형 검증 솔루션을 제공합니다.
LDRA는 모아소프트가 국내 단독 공급하는 소프트웨어 인증 및 검증 솔루션으로, 항공우주, 국방, 자동차 등 안전이 중요한 산업 분야에서 국제 표준에 부합하는 소프트웨어 품질 및 신뢰성 확보를 지원합니다. 코드 분석, 테스트 자동화, 인증 문서화 등 소프트웨어 생명주기 전반에 걸쳐 안전성과 신뢰성을 강화하는 데 최적화된 도구입니다.
