|
|
|
RESORT 정적분석도구는 국내외 표준인 신뢰성(코딩 가이드 표준), 안전성(런-타임 에러), 보안성(보안 취약점)의 4가지 코드 특성을 모두 점검하고, 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 코딩 규칙
- MISRA C:2012 & C++:2008 (ISO 26262), JPL C & Java, BSSC Java (DO 178B)
- JSF++(DO 178B), HealthCare C++ (IEC 62304), Railway C (ISO 61508/62279)
- Java Code Conventions(Oracle), C# Code Conventions(Microsoft)
보안 취약점 점검
- CWE(v 4.5), OWASP(2019)
- 행안부 개발보안 가이드: Java, C/C++, C#
- SAP ABAP Backdoor
Run-time Error 점검
- CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
- 무기체계 SW 정적시험
SW 품질 표준
- (무기체계 SW 정적시험) MISRA Software Metrics, HIS Source 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 정적 및 동적 분석의 흐름도
|
|
|
|
