테스트마인
-
5년
주장비
시험
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2020-11-09
246,000,000원
기관의뢰
이동형
일별
300,000원
융합신제품에 적용된 소스코드의 오픈소스의 취약점을 분석하여 제품의 신뢰성확보 용도
융합신제품에 적용된 소스코드의 동적분석을 통한 coverage 분석 및 관련산업에서 요구하는 coverage 수준 확인
*오픈소스 취약점분석
- 디지털시그니쳐 방식의 오픈소스 점검기능 제공
- 다양한 프로그래밍 언어지원
- 오픈소스 라이선스, 보안취약점, 품질에 대한 점검 제공
- 탐지된 보안 취약점에 대한 개선방안 제공
- ISO 27001 ISMS 인증(국제표준 정보보호 인증)
- 지원언어 21종
*동적분석
- 모델 및 생성 된 코드에 대한 테스트 커버리지 측정 (Statement, Branch, MCDC, Enhanced MCDC)
- 모델에 기반한 테스트 하네스 자동 생성
- 테스트 자동화 및 결과물 관리/보관
- 검증 모드 변경 만으로 MIL에서 SIL/PIL 로의 유연한 검증 변경
- 풀 테스트 커버리지 만족을 위한 테스트 자동 생성
- 핸드 코드의 Simulink 블록화
- 모델 동적 검증 환경을 이용한 가상 입출력 생성 및 하네스 생성
- 다양한 Source/Sink 블록을 이용한 가상 입출력 생성
- 지원 규격 : IEC 61508, ISO 26262, 방위사업청 코딩규칙, MISRA C/C++
- 지원 언어 : 최소 C/C++ 포함 기타 언어