English : Japanese : Contact : Sitemap
정적&동적도구  
C, C++, C#  
Java(JSP)  
Python, R, JavaScript, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Static Analysis Dashboard  
License Type  
SW 테스트/컨설팅 서비스  
국내외인증  
정적&동적도구

소스 코드를 한 번 분석으로 코드 점검부터 시스템(인수) 테스트까지 지원하는 정적/동적 통합 도구입니다.
  • 정적분석은 자료 흐름 분석 기반 실행 경로의 코드 결함 검증 기술로 코드 결함 점검/검증
  • 동적분석은 White-box/GUI 기반 테스트의 자동화로 코드 커버리지 분석/검증

    지원 언어
  • (Procedural Language) C
  • (OO Language) C++, C#, Java
  • (Web Language) JavaScript, JSP, Flex
  • (Big Data Language) Python, R
  • (Mobile Language) iOS(Objective-C, Swift), Android(Android-Java, Kotlin)
  • (SAP Language) ABAP

    국내외 인증
  • ISO 26262 인증 (C, C++)
  • IEC 61508, EN 50128 인증 (C, C++)
  • CWE Compatibility (보안 적합성 인증: C, C++, Java, JS, ABAP)
  • GS(1등급: C, C++, Java)
  • NEP(신제품 인증서: Java, JSP, Flex, C)
  • 우수제품지정증서 (Java, JSP, Flex, C)
  • MISRA C, MISRA C++ Copyright License 협약 (MIRA LIMITED)
  • ABAP 국내외 특허 등록: 한국, 미국, 호주, 일본, 중국

    정적 분석 점검 유형 및 산업 표준 지원
  • 코딩 가이드 점검
      - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 코딩 코딩 가이드
      - (ISO 26262) MISRA C, MISRA C++, AUTOSAR C++
      - (DO 178B) JPL C & Java, BSSC Java, JSF++
      - (IEC 62304) HealthCare C++, (ISO 61508/62279) Railway C
      - (Oracle) Java Code Conventions, (Microsoft) C# Code Conventions

  • Run-time Error 점검
      - CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
      - 차량용 임베디드 Run-time Error 점검(for C, C++)

  • 보안 취약점 점검
      - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 취약점 및 보안약점
      - CWE(v 4.13), OWASP(2021), CERT(C, C++, Java)
      - 행안부 소프트웨어 개발보안 가이드(2021): C, C++, Java
      - 행안부 모바일 보안 취약점 점검 가이드(2021): iOS, Android
      - 금융회사 IT부문 취약점: C, C++, Java, iOS, Android
      - 전자금융감독규정: C, C++, Java
      - 국정원 취약점: C, C++, Java
      - 차량용 임베디드 보안 코딩 가이드: C, C++, Java
      - SAP ABAP Backdoor

  • 코드 품질 측정/평가
      - (방사청 무기체계 SW 정적 시험) 소스코드 메트릭
      - (차량용 임베디드 코드 품질 평가) MISRA Software Metrics, HIS Source Code Metrics
      - ISO 9126 Maintainability Quality Metrics

    SW 테스팅: C, C++, C#, Java
  • Unit&Integration Test
      - 화이트박스 경로 테스트 자동화(Automated White-box Path Test)
      - 경로 기반 결함 주입 테스트 (Path-based Fault Injection Test)
      - 경로 탐침 테스트(Path Instrument Test)

  • System Test
      - GUI 기반 커버리지 테스트 (GUI-based Coverage Test)
      - Firmware GUI 시스템 테스트 (Firmware GUI System Test)

  • 국내외 소프트웨어 테스트 요구사항 지원
      - (방사청 무기체계 SW 동적시험) 코드 실행률
      - (자동차 안전성 검증) 요구사항 기반 검증, 결함 주입 검증
      - ISO 26262(자동차), IEC 61508(산업), IEC 62304(의료), EN 50128/50657(철도) 등

    운영환경
  • Platforms
      - Windows, Linux, UNIX, Solaris, AIX, Mac OS 등

  • System Requirements
      - JDK 1.8 이상
      - Memory : 4GB(기본), 8GB 이상(권장)
      - Hard Disk : 100M 이상의 하드 디스크 여유공간

  • IDE Plug-in
      - Eclipse, UltraEdit, Intellij, MS Visual Studio, Developer 등
      - Android Studio, Xcode
      - Jenkins, Hudson

    RESORT 정적 및 동적 분석의 흐름도
  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.