|
|
|
RESORT 정적분석도구는 국내외 산업 표준인 신뢰성(코딩 가이드), 안전성(Run-time Error), 보안성(보안 취약점), 코드 품질(코드 매트릭스)을 모두 점검하고, RESORT 동적분석도구는 실행 경로 기반 테스트 케이스를 자동 추출하는 단위/통합 테스팅 도구로서 ISO 26262, 방위사업청 등 국내외 안전성 표준의 코드 커버리지를 분석/검증하는 정적과 동적의 통합 도구입니다.
 지원 언어
(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 정적 및 동적 분석의 흐름도
|
|
|
|
