Parasoft C/C++
세온ENS Parasoft C/C++
개발 초기 단계에서 소프트웨어 잠재되어 있는 결함을 분석, 검출하는 솔루션입니다. PARASOFT C/C++ TEST는 소스기반의 정적분석, 동적 검증을 하나의 솔루션으로 가능하게 지원합니다. 사용자 친화적이고 직관적인 UI를 제공하고 사용자가 결함 제거에 집중할 수 있도록 지원합니다. 지속적인 통합(Continuous Integration) 솔루션과 통합하여 연속적인 품질 활동을 가능하게 합니다. PARSSOFT C/C++ TEST는 MISAR, CERT, ISO 26262, DO 178B/C, IEC 61508, IEC 62304, AUTOSAR 등 다양한 산업 표준을 지원합니다.
Develop Safe and Secure Code With PARASOFT C/C++test
PARASOFT C/C++ Capabilities
A Unified, Fully Integrated Testing Solution for C/C++ Software Development
Detect defects early and save money by integrating PARASOFT’s C/C++test into the development of software for embedded safety- and security-critical applications. Ensure compliance with a variety of functional safety, security, and coding standards.
1
Static Analysis
The Most Comprehensive Static Code Analysis Solution for C and C++ Software
C 및 C ++ 용 통합 개발 테스트 솔루션 인 PARASOFT C / C ++ test는 가장 포괄적 인 정적 코드 분석 기술 (패턴 기반 분석, 데이터 흐름 분석, 추상 해석, 메트릭 등)을 사용하여 코드 품질을 확인합니다. 업계에서 가장 많은 도구로 공급되고 있으며, 팀에서 발견의 우선 순위를 지정하고 코드의 결함을 수정하는 데 도움이 되는 실행 가능한 워크 플로우를 제공합니다. PARASOFT C / C ++ test의 정적 분석기는 일반적인 보안 표준, 기능 안전 표준 및 기타 산업별 코딩 표준에 대해 가장 완벽한 범위를 제공합니다.
2
Unit and Integration Testing
Unit & Integration Testing on Host and Target for C and C++ Applications
완전한 프레임 워크를 통해 개발자는 테스트를 생성, 실행 및 유지하는 데 필요한 모든 것을 얻을 수 있습니다. 개별적인 IDE와 통합되는 PARASOFT C / C ++ test의 단위/통합 테스트 기능에는 멀티 메트릭 코드 커버리지 분석, 강력한 스터빙 및 C 모의 프레임 워크, 자동화 된 크로스 플랫폼 실행이 포함됩니다. 이러한 기능은 사용하기 쉽고 프레임 워크 구현 부담을 줄이며 개발자의 생산성을 향상시킵니다.
3
Code Coverage & Traceability
Code Coverage and Requirements Traceability for C and C++
코드 커버리지 및 요구 사항 추적성을 위해, PARASOFT의 솔루션은 테스트 및 커버리지 결과를 요구 사항과 연관시켜 테스트 프로세스의 완전성과 완전성에 대한 중요한 피드백을 제공합니다.
4
Runtime Analysis
Runtime Analysis for Embedded C Applications
PARASOFT C / C ++ 테스트는 호스트 기반 또는 임베디드 응용 프로그램을 실행할 때 Run time을 모니터링하거나 유닛을 실행하여 memory leak, null pointer, Not initialized memory and buffer overflow와 같은 Run time error, 안정성 문제 및 보안 취약성을 찾습니다.
5
Security Testing
Security Testing for Delivering Robust C/C++ Code
사용자는 PARASOFT의 C / C ++ 용 보안 테스트 솔루션을 사용하여 소프트웨어를 전문적이고 효율적으로 강화할 수 있습니다. 사이버 보안 표준에 대한 지원과 사용자가 소프트웨어 보안 실패의 근본 원인을 해결하고 오늘날의 연결된 장치 소프트웨어에 대한 설계 별 보안을 달성할 수 있도록 설계된 도구를 포함하는 포괄적인 솔루션입니다.
6
Functional Safety & Compliance
Software Testing for Functional Safety in C/C++ Applications
기능안전을 위한 ISO 26262, EN 50128, IEC 61508 및 DO-178B / C와 같은 표준 문서에서 비롯된 테스트 및 소프트웨어 품질 요구사항을 충족할 수 있습니다. PARASOFT는 이러한 표준에서 요구하는 테스트 관행 및 소프트웨어 검증 프로세스를 자동화 할 수 있도록 하며, 수동 작업을 크게 줄여줍니다.
7
Reporting & Analytics
Flexible and Dynamic Reporting and Analytics for C/C++ Software Testing
PARASOFT의 광범위한 보고 기능은 PARASOFT C / C ++ 테스트의 결과를 생성합니다. 테스트 결과는 IDE 내에서 빠르게 액세스하거나 PARASOFT의 웹 기반보고 시스템 DTP로 내보낼 수 있습니다. DTP에서 보고서는 CI 빌드의 일부로 자동 생성되고 안전이 중요한 조직의 코드 감사를 위해 인쇄될 수 있으며, 빌드 전반의 결과를 집계 할 수 있습니다. 보고 대시 보드에서 PARASOFT의 Process Intelligence Engine은 관리자가 시간 경과에 따른 프로젝트의 품질을 이해하도록 돕고, 각각의 새로운 코드 변경 후 변경의 영향을 설명하고, 전체 툴체인과 통합하고 위험 영역을 정확히 찾아내는 고급 분석을 제공합니다.
다양한 산업 표준 지원
PARASOFT C / C ++ 테스트는 개발된 소스코드가 다양한 기능 안전, 보안 및 코딩 표준을 준수하는지 확인합니다. 또한 다양한 산업별로 요구하고 있는, 규정 준수를 입증하는 데 필요한 문서를 자동으로 생성합니다. MISAR, AUTOSAR, CERT, CWE, DISA-ASD-STIG, OWASP, ISO 26262, DO-178B/C, IEC 61508, IEC 62304, EN 50128, UL 2900
1
MISRA Compliance for C/C++
PARASOFT C/C++은 MISRA(Motor Industry Software Reliability Association) 준수여부를 검증합니다. PARASOFT 는 수정안 2를 포함하여 MISRA C : 2004 및 MISRA C : 2012를 적용하기위한 포괄적인 솔루션을 제공하여 조직이 장치의 자동차 소프트웨어 품질 보장과 관련된 문제를 극복할 수 있도록 지원합니다. PARASOFT C / C ++ 테스트는 MISRA와 같은 정적 분석 코딩 표준의 적용 및 모니터링의 자동화를 지원합니다.
2
AUTOSAR Compliance for C/C++
AUTOSAR와 같은 코딩 표준을 준수하는 유일한 실용적인 방법은 PARASOFT C / C ++ test와 같은 정적 분석 도구를 사용하는 것입니다. PARASOFT C / C ++ test는 다른 코드 품질 도구보다 AUTOSAR를 더 잘 지원합니다. 매핑된 AUTOSAR 규칙 외에도 PARASOFT의 대화형 보고 시스템은 효율적인 일일 워크플로우를 지원하기 위해 팀에서 사용하는 규칙 (예 : AUTOSAR, HIC ++, MISRA 등)에 따라 부과되는 요구 사항에 맞게 사용자 지정할 수 있습니다.
3
CERT Compliance for C/C++
PARASOFT C / C ++ test는 다른 정적 분석 도구가 놓치는 주요 지침을 포함하여 CERT 코딩 지침을 완벽하게 지원합니다. PARASOFT의 매핑 된 테스트 구성을 사용하면 원래 CERT 규칙 세트의 모든 검증도구가 코드 기반의 보안을 보장할 수 있도록, 조직은 일관된 보고 기능이 있는 단일 도구에 의존할 수 있습니다.
4
ISO 26262 Compliance for C/C++
PARASOFT 사용자는 PARASOFT C / C ++ test를 활용하여 표준에서 요구하는 여러 테스트 방법을 자동화하여 ISO 26262 준수를 달성하는 비용을 줄일 수 있습니다. 표준의 Part 6은 소프트웨어 수준에서 제품 개발을 구체적으로 다루며 PARASOFT 사용자는 표준의 요구사항을 준수하는 시간과 노력을 절약할 수 있습니다. ∙ ASIL 레벨의 부합하는 사용 ∙ Static Analysis and Unit/Integration 테스트 수행 ∙ Tool Qualification의 준수 (By TUV Certification)
5
DO-178B/C Compliance for C/C++
PARASOFT C / C ++ test는 항공 표준인 DO-178B/C에서 요구하는 소프트웨어 테스트 방법을 자동화하여 사용자가 규정 준수를 달성하고, 비용을 줄이는 데 기여합니다. PARASOFT의 솔루션에는 정적 분석, 메트릭 분석, 단위 테스트, 코드 범위 및 개체 / 어셈블리 범위가 포함되어 개발 및 검증팀이 기능 안전 시스템의 오류를 예방, 노출 및 수정할 수 있는 실용적인 방법을 제공합니다.
6
IEC 61508 Compliance for C/C++
PARASOFT 사용자는 PARASOFT C / C ++ test를 활용하여 표준에서 요구하는 여러 테스트 방법을 자동화하여 시간과 노력을 절약함으로써 IEC 61508 준수 달성 비용을 줄일 수 있습니다. PARASOFT C / C ++ 테스트는 산업 자동화 소프트웨어 개발 팀이 IEC 61508 표준에 정의된 소프트웨어 개발 및 검증 프로세스 요구사항을 충족하도록 지원합니다. PARASOFT C / C ++ 테스트를 통해 자동화 된 광범위한 테스트 및 코드 분석 유형의 결과를 처리하여, 소프트웨어 검증에 필요한 작업을 크게 줄여주는 지능형 분석 도구입니다.
7
UL 2900 Compliance for C/C++
개발자와 테스터는 PARASOFT의 자동화 된 소프트웨어 테스트 솔루션을 사용하여 잠재적인 보안 취약점에 대해 코드를 효율적으로 스캔, 테스트 및 분석할 수 있습니다. 표준 UL 2900에 정의된 소프트웨어 사이버 보안 및 위험 관리를 위한 완벽한 솔루션을 통해 개발 및 검증팀은 네트워크 연결 제품의 취약점, 소프트웨어 약점 및 맬 웨어 테스트에서 설명된 프로세스, 방법 및 요구사항을 충족할 수 있습니다.
8
IEC 62304 Compliance for C/C++
국제 표준 (ISO 62304) 및 유럽 표준 (EN 62304)과 마찬가지로 IEC 62304 표준은 소프트웨어 오류가 환자에게 미칠 수 있는 영향에 따라 적절한 의료 소프트웨어 설계, 구현 및 테스트를 보장하기위한 다양한 요구사항을 도입합니다. PARASOFT 사용자는 PARASOFT C / C ++ 테스트를 활용하여 표준에서 요구하는 여러 테스트 방법을 자동화하여 시간과 노력을 절약함으로써 IEC 62304 준수 달성 비용을 줄일 수 있습니다.
9
EN 50128 Compliance for C/C++
PARASOFT C / C ++ 테스트 및 자동화된 소프트웨어 테스트 도구 모음을 사용하여 EN 50128 준수에 효과적이고 효율적으로 도달하십시오. 30년 이상 PARASOFT는 요구사항 추적성, 정적 코드 분석, 동적 분석, 단위 테스트, 소프트웨어 메트릭, 소프트웨어 온 호스트 또는 온 타겟 하드웨어 검증 및 검증, 전체 구조 코드와 같은 필수 모범 사례를 통해 조직이 엄격한 표준을 충족하도록 지원해 왔습니다.
10
CWE Compliance for C/C++
PARASOFT는 CWE 호환으로 인증되고 있으며, PARASOFT 사용자는 구성, 수정 및 보고 중에 어떤 정적 분석 검사기가 어떤 CWE와 연관되어 있는지 쉽게 이해할 수 있습니다. PARASOFT의 CWE 중심 접근 방식으로 인해 실제로 특별한 조치를 취할 필요가 없으며, 위반 사항을 수정하고 규정 준수에 필요한 사항을 자동으로 생성하기만 하면 됩니다. PARASOFT는 또한 CWE 기술 영향을 분석 허브에 통합하여 우선 순위 지정 (심사) 및 감사 (억제) 활동을 지원합니다. 오른쪽에 그림처럼 PARASOFT의 고유한 실시간 피드백은 대시 보드 자체 내에서 바로 구현된 CWE 위험평가 프레임 워크가 있는 대화형 보기를 제공합니다.
References