Available now: MISRA C++:2023 and MISRA C:2023 check! Read more
Axivion Suite:
정적 코드 분석 및 아키텍처 검증
Qt Group은 인수를 완료하여 정적 코드 분석 및 소프트웨어 아키텍처 검증을 위한 업계 최고의 도구를 제공하게 되었습니다. Axivion 정적 코드 분석과 Axivion 아키텍처 검증이 만나면 종합적이고 심층적인 코드 분석이 가능합니다. 자세한 정보가 필요하거나 평가에 대해 논의하고 싶다면 지금 문의하세요.
품질을 위한 노력, 고객을 위한 약속
Axivion Suite - 소프트웨어의 품질을 보장하는 종합 솔루션
Axivion 정적 코드 분석과 Axivion 아키텍처 검증이 더해진 강력한 도구가 고객의 높은 기대 수준에 부합하는 소프트웨어 코드를 만들어냅니다. Axivion Suite는 소프트웨어 침식(기술 부채)을 식별하거나 초기에 방지하기 때문에 향후 소프트웨어 프로젝트의 유지 보수 및 확장에 도움이 됩니다.
안전을 지향하는 환경에서 소프트웨어를 개발하는 경우, Axivion 도구 검증 키트를 추가 활용하여 필요한 도구 신뢰 수준(TCL)을 달성할 수 있습니다.
추상 해석 및 포인터 분석을 통한 확장 가능한 정적 코드 분석
Axivion Suite - 주요 기능
언제라도 기존 개발 환경에 편리하게 통합 가능한 기능을 제공합니다. 선호도에 따라 모든 기능을 일시에 적용하거나 처음에는 몇몇 기능만으로 시작하세요.
지금 연락하여 개별 사용 사례에 적합한 지원 방법을 알아보세요.
Axivion 정적 코드 분석
Axivion 정적 코드 분석에서는 소프트웨어 프로젝트의 스타일 및 코딩 위반 여부를 검사합니다. 클론, 데드 코드, 0으로 나누기 및 코드의 기타 결함을 조기에 파악하면 나중에 문제를 해결하는 데 소요되는 시간과 비용을 줄일 수 있습니다.
Axivion 아키텍처 검증
Axivion 아키텍처 검증을 실행하면 시스템 구조가 명확하고 깔끔하게 유지됩니다. 소프트웨어 아키텍처의 구조 모델을 생성하려면 수동으로 설정하거나 UML 모델 또는 다른 형태의 그래프 구조에서 가져올 수 있습니다.
코딩 가이드라인
Axivion Suite의 자동 코딩 가이드라인 체커를 사용하면 개발 중에 코드의 위험한 취약점을 쉽게 찾을 수 있습니다. 통합된 델타 분석을 통해 코드에서 새롭게 발생하는 위험에 대한 표적 대응이 가능합니다.
메트릭스
일반적인 소프트웨어 메트릭스에 포함된 규칙 세트의 이점을 누리세요. 라인 및 토큰, 네스팅, 순환 복잡성, 제어 흐름 또는 할스테드 메트릭스와 같은 전통적인 메트릭스가 여기에 포함됩니다. HIS와 같은 전체 규칙 세트도 지원됩니다.
결함 분석
결함 분석은 소스 코드에 잠재적인 런타임 오류가 있는지 확인합니다. 확장 가능한 데이터 및 제어 흐름 검사가 포함됩니다. 이를 통해 아웃 오브 바운드 액세스 또는 0으로 나누기 오류를 조기에 감지할 수 있습니다.
Axivion 도구 검증 키트
Axivion 도구 검증 키트는 도구 체인의 분류 및 인증을 지원하는 완벽한 추가 기능입니다. 사전 제작된 테스트 제품군으로 구성되며, 자동화 가능한 실행 및 결과 평가 프로세스가 포함되어 있습니다.
Axivion의 다목적 도구, 기존 개발 환경에 완벽하게 통합
Axivion 정적 코드 분석 및 Axivion 아키텍처 검증은 기존 개발 환경에 완벽하게 통합됩니다. 고도의 사용자 지정이 가능하고 개별 요구 사항에 맞게 조정할 수 있는 도구입니다. Axivion의 전문가가 전체 롤아웃 프로세스를 지원하기 때문에 처음부터 원활하게 진행됩니다.
CI 프로세스의 일환으로 상세한 델타 분석을 통한 표적 검토(예: 코드를 기록하기 전 또는 개선 사항을 모니터링하고 소프트웨어 침식 방지를 위해)
CERT, CWE 및 기타 보안 가이드라인에 대한 코드 준수를 확인하여 사이버 보안 보장
위험 완화를 통해 소프트웨어 기능 릴리스의 적시 제공
우수한 서비스 및 지원으로 처음부터 혜택 제공(예: 롤아웃 중 지원)
Apex.AI
Assured with Axivion
"여러 가지 정적 분석 도구를 평가한 결과 Axivion Suite가 테스트에서 탁월한 성과를 냈습니다. AUTOSAR C++14 적용 범위 측면에서 최고 성능을 발휘한 도구로서, 사용 용이성, 제어 흐름, 데이터 흐름 분석 및 보고서 생성 측면에서 확신을 주었습니다. Axivion Suite는 이미 개발 워크플로의 기본 구성 요소이자 DevOps 파이프라인의 중요한 구성 요소가 되었습니다."
Dejan Pangercic
Apex.AI 공동 설립자 겸 CTO
Elektrobit
Assured with Axivion
"Axivion Suite는 EB street director의 새로운 기능을 구현 및 장기적인 소프트웨어 솔루션의 품질 보장 시에 중대한 지원을 제공합니다."
Jakob Schmidt
Elektrobit의 소프트웨어 아키텍트
Fresenius Medical Care
Assured with Axivion
"Axivion Suite 덕분에 소프트웨어의 유지보수 가능성을 제어하여 장기적인 혁신 능력을 보호할 수 있습니다."
Thomas Stahl
Fresenius Medical Care의 소프트웨어 엔지니어링 이사
HENSOLDT
Assured with Axivion
"Axivion Suite를 통해 통합 노력과 통합 위험이 크게 줄었습니다."
Daniel Zimmermann
HENSOLDT Sensors GmbH의 OSS 소프트웨어 책임자