|
|
|
RESORT 정적분석도구는 컴파일 과정 없이 소스 코드를 분석하고, 최상위 Inter-procedural Path Analysis의 코드 검증으로, 코드의 신뢰성(Reliability), 안전성(Safety), 보안성(Security), 코드 품질(Code Metrics)을 모두 점검하고,
RESORT 동적분석도구의 경로 테스팅(Path Testing) 도구는 코드 요구사항 기반 실행 경로로 부터 테스트 케이스와 입력 값을 자동 추출하여 ISO 26262, IEC 61508, DO-178, 방위사업청 등 국내외 안전성 표준의 코드 커버리지를 분석/평가하는 자동화 테스팅 도구입니다.
RESORT는 정적분석과 동적분석을 하나의 도구에서 통합 지원합니다.
 지원 언어
(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
품질 인증
GS(1등급) 인증
MISRA C, MISRA C++ Copyright License 협약 (MIRA LIMITED)
IEC 61508, EN 50128 인증 (DNV GL Business Assurance)
ISO 26262 인증 (DNV GL Business Assurance)
CWE Compatibility (보안 적합성) 인증 (C, C++, Java, JS, ABAP)
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
보안 취약점 점검
- CWE(v 4.6), OWASP(2021), CERT(C, C++, Java)
- 행안부 개발보안 가이드(2021): C, C++, Java
- 차량용 임베디드 보안 코딩 가이드: C, C++, Java
- SAP ABAP Backdoor
Run-time Error 점검
- CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
- 차량용 임베디드 Run-time Error 점검(for C, C++)
코드 품질 측정/평가
- (차량용 임베디드 코드 품질 평가) MISRA Software Metrics, HIS Source Code Metrics
- (방사청 무기체계 SW 코드 품질 평가) Code Metrics
- ISO 9126 Maintainability Quality Metrics
테스트 안전성 국내외 표준 지원
- (무기체계 SW 동적시험) 방위사업청: C코드 커버리지
- ISO 26262(자동차), DO-178(항공), IEC 61508(산업), IEC 62304(의료), EN 50128/50657(철도) 등 C 코드 커버리지
운영환경
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 정적 및 동적 분석의 흐름도
|
|
|
|
