English : Japanese : Contact : Sitemap
정적/동적분석 도구  
C, C++, C#  
Java(JSP)  
Python, R, JS, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Dashboard  
License Type  
C, C++, C#


  (Tool Name) RESORT for C, RESORT for C++, RESORT for C#

  (No False Positive) Inter-procedural Path Analysis의 코드 결함 분석

  (Code Assurance) 신뢰성(Reliability), 안전성(Safety), 보안성(Security) 모두 점검

  (SW Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics

  (Tool Qualification) IEC 61508, EN 50128, ISO 26262, CWE Compatibility, GS(1등급)


C 동적분석도구 - 단위 및 통합 테스트

RESORT for C Testing은 실행 경로 기반 각 경로의 테스트 케이스와 테스트 데이터를 자동 추출하여 사용자가 스텁(stub)이나 드라이브(drive)의 테스트 코드 작성 없이 실제 개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 단위 및 통합 테스트의 코드 커버리지 분석을 빠르게 자동으로 수행할 뿐만 아니라 오류 주입 테스트까지 지원합니다.

C, C++, C# 정적분석도구 - MISRA, CWE, DAPA 표준 지원

C, C++, C# 정적분석도구는 컴파일 과정 없이 원시 소스코드를 분석하고, 오탐을 발생하지 않는 국내외 최초의 Inter-procedural Path Analysis 신기술로 국내외 신뢰성(코딩 표준), 안전성(Run-time Error), 보안성(보안 취약점)의 표준들을 통합점검하고 SW Metrics도 함께 점검하는 통합 정적분석도구입니다.

C, C++, C# 역공학/SW Metrics 도구

C, C++, C#의 역공학 도구는 File Graph, Call Graph, Control-flow Graph 등을 생성하고, 또한 SW Metrics 도구는 코드 구조의 특징을 측정하여 소프트웨어 품질 향상/개선을 지원하는 솔루션입니다.

If you cannot MEASURE it, you cannot IMPROVE it

본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
Tel 02-553-9464
Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.