참가사명

  소프트4소프트

 제품명

  무기체계 SW 신뢰성 시험 자동화 도구

 홈페이지

  www.soft4soft.com

 연락처

  02-553-9464

 주소

 서울시 서초구 서운로1길 34

회사 소개

㈜소프트4소프트는 소스 코드를 한 번 분석으로 코드 점검부터 시스템(인수) 테스트까지 지원하는 정적/동적 통합 도구를 개발/공급하고 있습니다.

- 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 통합 점검

- 동적분석도구는 White-box 기반 실행 경로 테스트의 자동화로 단위/통합/요구사항의 커버리지를 검증(Verification)/확인(Validation)

제품 소개

RESORT 정적분석도구

•(No Compile Step) 컴파일러 빌드 과정이 없는 정적 분석

•(No False Positive) 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis (feasible path 기반 data의 call/return 분석)의 코드 결함과 보안 허점을 점검/검증

•(Fully Code Assurance) 코딩 가이드 (reliability), 런타임 에러 (safety),

보안 취약점 (security), 코드 품질 (code metrics) 모두 점검

RESORT 동적분석도구

•(No Compile Step) 컴파일러 빌드 과정이 없는 동적 분석

•(Path Test) 프로그램의 내부 구조에 초점을 둔 how 관점의 화이트박스 경로 테스팅

- 각 함수 별 테스트 케이스인 실행 경로 (feasible path)들을 자동 생성

- 호스트(host) 또는 임베디드 타겟 테스팅(embedded target testing)

ㅇ 국내외 인증 현황 및 수상 실적 등

- 2023년 국제 산업 표준 인증

. ISO 26262, IEC 61508, EN 50128

. GS(1등급)

. CWE 보안 적합성 인증