소프트웨어 검증 서비스

정적시험, 동적시험 및 보안취약점 탐지, 검증 서비스

신뢰성과 안정성 그리고 보안성이 중요한  자동차,국방/항공, 철도 SW에서는 개발 단계의 효율화 및 체계화가 요구 됩니다.  이에 유피에스테크놀러지는 다양한 개발환경 구축 서비스 경험을 바탕으로 정적시험, 동적시험, 그리고 오픈소스 라이선스 및 보안취약점 점검에 대한 검증 서비스를 제공하고 있습니다.

서비스 대응 분야

1. 코딩표준 및 런타임 에러 그리고 보안취약점 점검 특히 Memory leak 및 thread 간 충돌 등을 점검 및 검출 할 수 있는 현재도 계속 진화 되고 있는 정적분석 도구를 가지고 서비스 진행,   코딩 표준 수립 및 코드 결함  그리고 보안취약점 점검 프로세스 자동화 운영 구축 가능, 무기체계  신뢰성 정적시험 대응.

2. 실제 임베디드 타겟의 커버리지(Statement & Branch & MC/DC) 분석을 위한 Target deployment 구축 서비스(Simulator  기능 포함) 제공을 통해 고객에게  획기적인 시간 단축 및 비용 절감  효과 제공, 무기체계 신뢰성 동적 시험 대응.

3. 개발 중인 소스코드에서 사용 중인 오픈소스 컴포넌트 확인 및 사용중 인 오픈소스 컴포넌트에서 알려진 보안취약점 점검 서비스 제공 특히 NVD  DB 포함 4~5 곳의  보안 취약점 DB에서 어떠한 사용자의 정보 유출 없이 보안 취약점 검사 수행, 무기체계 공개 소프트웨어 라이선스 점검 서비스 대응.

서비스 진행 과정

무기체계 소프트웨어 신뢰성 시험 검증 서비스

방사청 최신 메뉴얼 적용 무기체계 소프트웨어 신뢰성 시험 검증 및 컨설팅 서비스