• Developers
  • Learning Hub
    • Learning Hub Developers Price. Buy. Download. Try.
    Subnavigation
    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


    성공 사례 보기

    Apex.AI

    Axivion의 안심 서비스
    "여러 가지 정적 분석 도구를 평가한 결과 Axivion Suite가 테스트에서 탁월한 성과를 냈습니다. AUTOSAR C++14 적용 범위 측면에서 최고의 성능을 발휘했으며 사용 용이성, 제어 흐름, 데이터 분석 및 보고서 생성을 통해 우리에게 확신을 준 도구입니다. Axivion Suite는 이미 개발 워크플로의 기본 구성 요소이자 DevOps 파이프라인의 중요한 구성 요소가 되었습니다."


    Dejan Pangercic

    Apex.AI 공동 설립자 겸 CTO

     


    성공 사례 보기

    Siemens Healthineers

    Axivion의 안심 서비스
    "실행 지원과 전문 서비스 팀의 탁월한 지원 덕분에 Axivion Suite를 개발 환경에 빠르고 쉽게 통합할 수 있었습니다. 지금은 아키텍처 위반 사항이 거의 없습니다. 그 대신 전 세계 모든 개발 팀에서 아키텍처 준수 코드의 표준이 높아졌습니다."


    Sven Neuberg 

    Siemens Healthcare GmbH의 컴퓨터 단층 촬영 소프트웨어 개발자


    성공 사례 보기

    Jungheinrich

    Axivion의 안심 서비스
    "Axivion Suite는 자동화된 코드 및 아키텍처 검증을 위한 기능으로 기술적 관점에서 우리를 사로잡았습니다. 그러나 개발자들의 높은 수용 수준과 신속하고 생산성이 높은 결과의 중심에는 Axivion 전문 서비스 팀의 탁월한 지원이 있었습니다. Axivion 전문 서비스 팀은 새로운 도구를 출시하고 워크플로에 원활하게 통합하며 모든 관련자에게 동기를 부여하는 교육을 제공하여 완전한 성공을 이끌었습니다."


    Jan Schröder 

    Jungheinrich Norderstedt AG & Co. KG의 소프트웨어 아키텍처 및 모듈 팀장

     


    성공 사례 보기

    HENSOLDT

    Axivion의 안심 서비스
    "엔터프라이즈 아키텍트와의 통합은 완벽했습니다. 마침내 집중적인 육안 검사 없이도 모델을 적용할 수 있게 되었습니다!"


    Heiko Stehli

    HENSOLDT Sensors GmbH의 소프트웨어 아키텍트

     


    성공 사례 보기

    데모 요청

    문의하기

    브로셔 다운로드

    다운로드

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

    더 알아보기

    산업별 맞춤형 솔루션

    더 알아보기