Skip to main content
Subnavigation

By submitting the form, you agree that Qt Group will process and store your personal information according to the Privacy Policy and may send you communications related to your request. You may unsubscribe from all communications at any time by clicking Unsubscribe or Manage Preferences in the footer of our emails.
QA_Hero_Axivion_680x480-min


Axivion
정적 코드 분석

완벽한 사용자 지정이 가능한 Axivion 정적 코드 분석은 CI 기반 품질 게이트의 초석입니다. 이는 자동화된 테스트 도구의 사용을 보완하고 처음부터 고품질 코드를 보장합니다.

문의하기

Static_Code_Analysis_1

최신 정적 코드 분석으로 소프트웨어 품질 보장

소프트웨어 프로젝트의 자동화된 분석을 통해 MISRA(MISRA C: 2023 및 MISRA C++:2023 포함) 및 AUTOSAR C++14에 따른 코딩 가이드라인 위반 사항을 식별합니다. 보안 관련 위반 사항은 CERT®, C Secure Coding 및 CWE에 따른 코딩 가이드라인으로 분석합니다. 메트릭스 위반 사항은 클론, 주기 또는 도달할 수 없는 코드와 동일하게 표시되고 기록됩니다.

C 및 C++ 프로그래밍 언어로 생성된 소프트웨어 개발과 더불어 Axivion 정적 코드 분석의 결과가 지속적인 품질 보증을 지원합니다. 품질 검사를 자동화함으로써 개발자는 인적 지능과 창의성이 필요한 작업에 집중할 수 있습니다. 반복적인 작업은 기계에 맡길 수 있습니다. 기계는 전체 검사를 반복 수행하고 종합 보고서를 제공합니다.

미래 지향적인 소프트웨어 개발을 위한 소프트웨어 침식 방지

소프트웨어 침식(기술 부채)이란 소프트웨어의 유지가능성, 확장성 및 재사용성이 시간이 지남에 따라 저해되거나 제거되는 과정입니다. 소프트웨어의 기능을 개선하여 새로운 요건이나 변경된 요건에 적응하기 위해 소스 코드의 지속적인 수정이 발생하게 됩니다. 소스 코드의 수정이 소프트웨어의 기능에 영향을 미치지 않더라도, 향후 작업에 부담으로 작용할 가능성이 있습니다.

그 결과 소프트웨어 침식은 시스템의 식별 가능한 작동을 저하시키고 기능적 안전 및 보안을 저해할 수 있습니다. 따라서 관련 기준(예: ISO, DOD, MISRA)을 충족하지 못하여 특정 응용 분야에서 인증을 받지 못할 위험이 있습니다.

 

클론 감지 및 관리

클론 감지 기능은 소프트웨어의 중복 및 유사한 코드 조각을 식별하고 시간 경과에 따라 추적하여 일관적인 추가 개발을 지원합니다. 구조를 활용하므로 함수 이름과 변수 이름이 변경된 클론도 감지할 수 있습니다.

더 알아보기

메트릭 모니터링

일반적인 소프트웨어 메트릭에 포함된 규칙 세트의 이점을 누리세요. 라인 및 토큰, 네스팅, 순환 복잡성, 제어 흐름 또는 할스테드 메트릭과 같은 전통적인 메트릭이 여기에 포함됩니다. HIS와 같은 전체 규칙 세트도 지원됩니다.

더 알아보기

코딩 가이드라인

Axivion Suite의 자동 코딩 가이드라인 체커를 사용하면 개발 중에 코드의 위험한 취약점을 쉽게 찾을 수 있습니다. 통합된 델타 분석을 통해 코드에서 새롭게 발생하는 위험에 대한 표적 대응이 가능합니다.

더 알아보기

결함 분석

결함 분석은 소스 코드에 잠재적인 런타임 오류가 있는지 확인합니다. 확장 가능한 데이터 및 제어 흐름 검사가 포함됩니다. 이를 통해 아웃 오브 바운드 액세스 또는 0으로 나누기 오류를 조기에 감지할 수 있습니다.

더 알아보기

데드 코드 분석

실행되지 않는 코드도 주의해야 합니다. 데드 코드 또는 도달할 수 없는 코드는 이해성, 테스트성 및 유지보수성을 복잡하게 만듭니다. 직접 피드백을 통해 예방적 버그 수정 및 낮은 임계값의 리팩터링을 최적화할 수 있습니다.

더 알아보기

주기 감지

주기 감지 분석은 다양한 수준의 주기 의존성을 인식합니다. 호출 주기(반복)뿐만 아니라 구성 요소 주기, 인클루드 주기도 식별하고 모니터링할 수 있습니다.

더 알아보기

안전 시스템 개발 사용 인증

SGS-TÜV Saar GmbH는 Axivion 정적 코드 분석이 안전 시스템 개발에 사용 적합하며, 다음 각 표준에서 요구하는 최고 수준의 안전 사항에 부합함을 인증했습니다 (ISO 26262 ASIL D 기준, IEC 61508 SIL 4 기준, IEC 62304 Class C 기준 및 EN 50657 SIL 4 기준 충족).

추가 품질 보증을 위해 Axivion 도구 검증 키트를 사용하여 도구 체인의 분류 및 검증을 지원하세요.

자세히 알아보기

Axivion_TUVcertificate7.5_291x210px

다양한 산업 분야의 Axivion 정적 코드 분석 성공 사례

QA 리소스 센터에서 더 많은 성공 사례를 확인하세요

 

Schaeffler

Axivion의 안심 서비스
"Schaeffler Automotive Buehl은 ISO 26262 인증 Axivion Suite를 통해 혼합 ASIL 시스템의 고품질을 유지합니다."

 

Schaeffler Automotive Buehl GmbH & Co. KG


성공 사례 보기

데모 요청

문의하기

브로셔 다운로드

다운로드

Axivion 아키텍처 검증으로 코드 품질 향상

더 알아보기

산업별 맞춤형 솔루션

더 알아보기