[CI/CD] Polyspace, VectorCast, Hotfix

목차

Hotfix

제품 사용 중에 발생하는 버그의 수정이나 취약점 보완, 또는 성능 향상을 위해 긴급히 배포되는 패치 프로그램

• MS 윈도우 환경에서의 Hotfix는 특정한 문제를 해결하는 조그마한 패치들을 가리키며, 대부분 보안 허점에 해당하는 문제들을 해결함
• 핫픽스 파일들은 대부분 크기가 작으며, 윈도우 업데이트(또는 마이크로소프트 지원)를 사용하여 컴퓨터 상에 자동으로 설치되는 것이 보통임
• 게임회사 "블리자드 엔터테인먼트"의 경우에는 정규적인 콘텐츠 패치를 기다릴 수 없을 정도로 중요한 게임의 변경 사항을 가리키는 용어로 사용함
• 다운로드가 불필요한 서버 측면의 변경만을 요구하며, 정비시간이 없어도 짧은 재시작만으로도 이 기능을 수행할 수 있음

출처: [쓸겜지] 핫픽스란? (Hotfix) (tistory.com)

 

Polyspace

C/C++ 코드를 검사하여 다양한 종류의 버그들을 탐지하거나, 특정 런타임 에러가 없음을 증명할 수 있는 도구

• 버그를 탐지하거나, 코딩 규칙을 검사하는 정적분석 도구의 한 종류
  • 배열이나 포인터가 가리킬 수 없는 영역을 접근하는 에러처럼 의도치 않게 가끔씩 발생하는 문제들은 문제점을 발견하기가 까다로움

▣ 정적분석: 소스 코드를 실행하지 않고 분석하여 문제가 될 수 있는 부분들을 찾는 것

• 코딩 규칙/코드 메트릭스 검사
  • 에러를 미연에 방지하고자 하는 목적
  • MISRA C 와 같은 코딩 가이드라인에 대한 위반 사항을 찾아주거나, 소프트웨어의 품질 지표로 삼을 수 있는 코드 매트릭스
  • 위반사항이나 목표 수치를 맞추지 못한 부분을 찾아주고, 이를 수정해 줌
• Polyspace Bug Finder

출처: 정적 분석 도구를 활용한 소프트웨어 검증 – Polyspace : 네이버 블로그 (naver.com)

---

 

 

Data Science TIL-log

데이터 사이언스를 공부하고 있는 직장인의 TIL 블로그입니다. 게시글이 도움 되셨다면 구독과 좋아요 :)