Developers
Developers Price. Buy. Download. Try.

QA_latest_releases-min


Axivion Suite:
정적 코드 분석과 아키텍처 검증

Qt Group은 Axivion을 인수하여 업계 최고의 정적 코드 분석 솔루션을 제공할 수 있게 되었습니다. Axivion Suite는 Axivion 정적 코드 분석 과 Axivion 아키텍처 검증을 통해, 업계 최고로 코드를 심층 분석합니다. 더 많은 자료를 찾아보시거나 도구를 사용해 보고 싶으시다면, 문의 주세요.

문의하기

고객의 목소리에 귀 기울이고 적극 반영하여,
품질 향상을 위해 노력합니다.

Logo_Apex.AI_400px
Logo_Bosch_400px
Logo_Brose_400px
Logo_DentsplySirona_400px
Logo_Elektrobit_400_2px
Logo_Hensoldt_400px
Logo_Jungheinrich_400px
Logo_Leuze_400px
Logo_Schaeffler_400px
Logo_Siemens_400px
Logo_Synspace_400px
Logo_TRelectronic_400px
Logo_TrumpfLaser_400_2px
Logo_ZF_400_2px

정적 코드 분석으로 처음부터 품질 보장하세요.

 

Axivion 정적 코드 분석

정적 코드 분석은 소프트웨어에 코딩 스타일과 코딩 룰 위반 사항이 있는지 검사하는 것입니다. 코드의 복제, 데드 코드, 0으로 나누기와 다른 결함을 조기에 발견하면 나중에 이로 인한 문제를 해결하는데 드는 시간과 비용을 줄일 수 있습니다. 이 도구는 방대한 메트릭과 코딩 가이드라인을 지원합니다. 그 중에서 안전과 보안과 관련된 사항을 지원하며, 결과를 쉽게 모니터링 할 수 있습니다. 또한 개별 코딩 룰과 코딩 가이드라인, 설정 옵션을 추가할 수 있어 처음부터 높은 품질 기준을 보장할 수 있습니다.


axivion.com에서 자세히 알아보기

 

Axivion 아키텍처 검증

아키텍처 검증을 통해 시스템 구조를 명확하고 깔끔하게 유지할 수 있습니다. 소프트웨어 아키텍처 모델을 생성하기 위해, 직접 설정하거나 UML 모델 또는 다른 형태의 그래프 모델을 활용할 수 있습니다. 소프트웨어 아키텍처 침식과 아키텍처 부채가 투명하게 드러나, 이를 효과적으로 해결할 수 있습니다. 코드가 설계한 아키텍처를 준수하는지 검증하고, 위반 항목을 플래그 하여, 추가 아키텍처 침식을 막을 수 있습니다. 기존의 아키텍처 부채는 아키텍처 검증 결과 보고서에서 아키텍처 위반항목을 확인하여, 리펙토링 하여 수정할 수 있습니다.

axivion.com에서 더 자세히 알아보세요.

Axivion_benefits_2

얻을 수 있는 이점

Axivion 정적 코드 분석과 Axivion 아키텍처 검증은 기존 개발 환경에 쉽고 원활하게 통합할 수 있습니다. 자유로운 사용자 졍의 가 가능하여 개인의 필요에 맞게 설정 할 수 있습니다. 당사의 전문가가 전체 롤아웃 프로세스를 지원하여, 도입하자 마자 효과를 볼수 있게 지원드립니다.

 생산성 향상
 결함 감소
 실행파일 크기 감소
 위험 완화
 적시에 기능을 릴리즈
 개발자 개인에 대한 의존도 감소
 고객 만족도 향상
 개발과 운영 비용의 효율성 향상과 새로운 기술 도입에 따른 리스크 최소화


자세한 내용 문의하기

AXIVION FEATURES

Uncover software erosion in your project

Software erosion (also known as technical debt) 은 처음에는 비용이나 시간을 절약하여 개발을 빠르게 진행하기 위해 의도적으로 취하는 결정들이 시간이 지남에 따라 소프트웨어의 유지보수, 기능 확장, 그리고 재사용에 어려움을 주어, 복잡성을 증가시키고, 버그의 발생 확률을 높이며, 개발 속도를 지연시키는 것을 의미합니다. 프로그램 코드는 기능을 개선하거나 새로운 요구사항을 반영하기 위해 지속적으로 수정됩니다. 복잡한 소프트웨어는 여러 사람이 함께 팀을 이루어 개발되기 때문에, 자신이 작성하지 않은 코드에 대해 어떤 동작을 수행하는 코드인지 정확한 이해 없이 개발이 이루어져, 설계한 동작과 그 실행 결과가 다를 수 있습니다. 이로 인해 개발자는 자기 코드가 다른 코드에 어떤 영향을 끼치는지 고려하지 못한 채 코드를 변경하여, 아카텍처 제약 사항 또는 기능 제약 사항을 위반할 수 있습니다. 이러한 위반은 당장에는 기능 수행에 문제가 없을 수 있지만, 추후에는 문제가 될 수 있습니다.

안전과 보안 관점에서 Software erosion은 시스템의 신뢰성을 떨어뜨리고 기능의 안정성을 훼손할 수 있습니다. 결과적으로, 인증 기준(예: ISO, DoD, MISRA)을 더 이상 충족할 수 없어 특정 산업 분야에서는 인증을 받지 못할 수 있습니다.

Software architecture

+ verification
+ recovery and archeology
+ UML® tool integration
+ AUTOSAR arxml import

Freedom from interference

+ decomposition
+ segregation
+ safety architecture compliance

Safety and security

+ MISRA C/C++, CERT®, AUTOSAR C++14, CWE, ISO/IEC TS 17961
+ coding guidelines
+ runtime error detection

Compliance

+ certified by SGS-TÜV Saar for ISO 26262, IEC 61508, IEC 62304, EN 50128, EN 50657
+ ISO 25119, DO-178B/C
+ SPICE®, ASPICE

Technical debt

+ clone detection and management
+ dead code and cycle detection
+ include profiler
+ metrics (including HIS)

Solution engineering

+ tool chain integration
+ CI/DevOps integration
+ IDE integration
+ seamless process integration
+ individual coding rules
+ coaching and training

How Axivion Suite stops software erosion

image 459

“차량용 임베디드 소프트웨어의 복잡성은 서로 다른 ASIL 요구 사항이 적용된 소프트웨어 구성으로 인해 더욱 증가합니다. ISO 26262 인증을 받은 Axivion Suite를 사용하여Schaeffler Automotive Buehl은 다양한 ASIL이 혼재된 시스템에 대해 높은 품질을 유지합니다. 아키텍처 검증 자동화로 수동 테스트 작업을 줄였고, 이로 인해 전기 모빌리티 분야의 새로운 개발 과제를 진행할 여유가 생겼습니다.”

Schaeffler Automotive Buehl GmbH & Co. KG

“우리는 여러 가지 정적 분석 도구를 평가해 보았고, 그 중 Aixivion Suite의 결과가 독보적이었습니다. Aixivion Suite 는 AUTOSAR C++14 커버리지 면에서 가장 우수한 성능을 발휘하였고, 사용자 편의성, 제어 흐름 및 데이터 흐름 분석, 그리고 보고서 생성에서 우리에게 확신을 주었습니다. Axivion Suite는 이미 우리의 개발 워크플로우에서 주요한 구성 요소가 되었고, 우리의 DevOps 파이프라인에서 귀중한 구성 요소가 되었습니다.”

Apex.AI

“개발 기간 동안 받은 지원 덕분에, 전문 서비스 팀의 탁월한 지원 덕분에 Axivion Suite를 우리의 개발 환경에 빠르고 쉽게 통합할 수 있었습니다. 이제는 아키텍처 위반 항목이 거의 없으며, 우리의 전 세계 모든 개발 팀에서 아키텍처를 준수하는, 수준 높은 코드를 보유하게 되었습니다."

Siemens Healthcare GmbH

“Axivion Suite 덕분에 통합에 소요되는 노력과 위험을 상당히 줄일 수 있었습니다.”

HENSOLDT Sensors GmbH

”Axivion Suite는 우리가 아키텍처 틀을 원활하게 구현하는 데 도움되었습니다. 우리의 UML 툴 체인에 완벽하게 통합되어 일상 업무를 더 쉽고 편하게 수행할 수 있게 해주었습니다. "

TRW Automotive GmbH

“우리에게 있어서 핵심 요소는 Axivion Suite가 다른 제품과 비교할 수 없는 높은 수준의 적응성을 가지고 있다는 것 입니다. 덕분에 우리는 점점 디지털화되는 산업 환경에서 자체적으로 높은 품질 기준을 충족할 수 있습니다."

Leuze electronic GmbH & Co. KG

"Axivion Suite는 정말로 게임 체인저 입니다. 지속적인 테스트 덕분에 프로그래머들은 학습 과정을 거치며, 아키텍처 요구 사항을 더 잘 이해하고 이를 수용할 수 있게 되었습니다. 오래된 소프트웨어를 분석하여 유지보수를 목표로 하는 프로젝트를 수행하며, Automotive SPICE Level 3를 달성할 수 있는 기반을 마련하였습니다.”

SynSpace Group GmbH

The perfect code analysis tool for you

소형 센서 또는 대형 장비의 임베디드 소프트웨어, 사용 편의성 향상, 업계 표준을 충족 등의 다양한 목적에 맞춰, Quality Assuarance 도구를 사용하여 더 적은 리소스로 더 빠르고 더 나은 결과를 얻을 수 있습니다.전문가의 지원을 받아 도구를 프로젝트에 잘 통합하여, 프로젝트를 성공적으로 수행할 수 있습니다.

Axivion_Automotive

자동차 산업

새로운 기술 도입, 안전과 보안에 대한 까다로운 요구 사항, 그리고 더 복잡해지는 제어 장치들로 인해 자동차 산업은 도전을 받고 있습니다. 고객들도 소프트웨어 품질에 대해 엄격한 기준을 가지고 있습니다. 이런 기준은 MISRA 또는 AUTOSAR C++14와 같은 코딩 가이드라인 준수, 그리고 HIS와 같은 메트릭 준수 상태를 모니터링하여 충족할 수 있습니다. 그리고 대다수의 프로젝트는ISO 26262의 QM레벨에서 ASIL D레벨까지 그 기준에 따라 요구 사항을 요청 받습니다. Axivion Suite는ISO 26262의 모든 레벨에 대한 요구 사항을 준수하기에 완벽한 도구입니다.

자동차 산업 솔루션에 대해 자세히 알아보기
Axivion_Medical

의료 기기

오늘날, 소프트웨어는 의료 기기에서 필수 요소 입니다. 의료 기기 소프트웨어는 그 기능을 효과적으로 수행하고 환자에게 안전해야 하며, 위험이 없도록 항상 보장되어야 합니다. 의료 기기 소프트웨어 개발은 두 개의 중대한 과제에 직면해 있습니다.

  • 어떻게 하면 복잡성은 최소한으로 유지하며, 소프트웨어를 관리 가능하고, 이해하기 쉽고, 기능 확장을 가능하게 할 수 있을까요?
  • 의료 기기 소프트웨어의 안정성은 어떻게 입증할 수 있을까요?

Axivion Suite는 두 가지 측면에서 해결책을 제공합니다. 아키텍처 분석을 통해 소프트웨어가 아키텍처의 규정을 준수하는지 확인할 수 있으며, 안전과 보안에 관한 아키텍처를 정의하여 이를 잘 지키는지 모니터링할 수 있습니다.

의료 기기 솔루션에 대해 자세히 알아보기
Axivion_Industrial_Automation

산업 자동화

산업 자동화는 갈수록 네트워크화 되고 있으며, 이전보다 훨씬 더 복잡한 작업을 수행해야 합니다. 복잡한 제어 알고리즘, 빠르고 안전한 통신, 그리고 다양한 변형을 신속하게 유지보수 할 수 있게 구현해야 합니다. 제 4차 산업혁명(RAMI 4.0)트랜드는 광범위한 네트워킹이 필요로 합니다. 5G, 인공지능과 대규모 사물인터넷(IoT) 내 다양한 컴포넌트들의 상호작용이 이러한 트렌드를 가속시킵니다. Axivion Suite를 활용하여 IEC 61508과 같은 기능안전 표준의 요구사항을 준수할 수 있고, Axivion Tool Qualification Kit을 통해 테스트 결과에 대한 신뢰성을 보장할 수 있습니다. 또한 MISRA 또는 AUTOSAR C++14와 같은 코딩 가이드라인 준수 여부와 메트릭 결과를 지속적으로 모니터링할 수 있습니다.

자동화 솔루션에 대해 자세히 알아보기
Axivion_Aviation

항공우주 / 항공

항공우주 산업의 안전성과 신뢰성에 대한 기준은 다른 산업보다 엄격합니다. 때문에 소프트웨어 역시, DO-178C와 같은 엄격한 안전 표준과 프로토콜을 준수하며 체계적이고 일관되게 그리고 정확하게 개발되어야 합니다. Axivion Suite의 정적 코드 분석 과 아키텍처 검증을 통해 높은 수준의 소프트웨어 품질을 유지할 수 있습니다. 이는 소프트웨어를 안정적으로 유지, 변경과 확장이 쉽게 설계, 개발자들이 소스코드를 이해하고 수정하는 것을 가능하게 합니다.

Qt Quality Assurance

전체 소프트웨어 수명 주기에 걸친 포괄적인 품질 관리 도구를 제공합니다.

자세히 알아보기

QA 자료

Quality assurance 자료를 확인하고, 활용해 보세요.

자세히 알아보기

블로그

다양한 정보를 확인해보세요.


QA 에 참여하세요.

정적 코드 분석 도구에 대해 자세히 알아보기

도입 방향을 논의하고 프로젝트를 성공적으로 수행할 수 있도록 도움을 받기 위해 문의주세요. 프로젝트, 프로그래밍 언어와 개발 도구, 프로젝트 인원 등에 대한 이해를 토대로, Axivion 정적 코드 분석과 Axivion 아키텍처 검증을 성공적으로 도입하여 사용할 수 있게 설명 드리겠습니다.

 

문의하기