지속적인 검증 및 CI/CD
검증을 CI 파이프라인에 통합하면 결함이 통합 빌드나 하위 구성 요소로 전파되기 전에, 발생 즉시 확인할 수 있습니다.
임베디드 소프트웨어 팀이 검증 단계를 CI/CD 파이프라인에 통합하면 모든 코드 커밋 시 정적 분석, 회귀 테스트 실행, 코드 커버리지 측정, 품질 게이트 검사가 자동으로 실행됩니다. 이를 통해 문제가 발생한 직후 바로 확인할 수 있으며, 코드가 최신 상태일 때 간단하게 수정할 수 있습니다.
파이프라인 내 정적 분석
PC-lint Plus는 명령줄 도구로 실행되며, 어떤 CI/CD 환경에도 통합할 수 있습니다. 완전히 맞춤화 가능한 출력 포맷을 통해 빌드 시스템, 이슈 트래커, 대시보드에서 분석 결과를 활용할 수 있습니다. 소스 코드를 기반으로 작동하고 별도의 빌드나 실행 과정이 필요하지 않으므로, 최소한의 오버헤드로 매 커밋마다 실행할 수 있습니다.
PC-lint Plus View는 이러한 가시성을 개발 환경으로 직접 확장합니다. 코드가 작성되는 즉시 분석 결과가 인라인으로 표시되므로, 결함이나 가이드라인 위반 사항이 나중에 빌드 보고서에서 드러나는 대신 이를 유발한 개발자가 즉시 확인할 수 있습니다. 파이프라인에서 실행되는 것과 동일한 분석이 동일한 규칙 구성에 따라 편집기에서도 수행됩니다.
PC-lint Plus는 코드 구현 표준 위반, null 포인터 참조, 보안 취약점 및 기타 결함 유형이 코드베이스에 나타나는 즉시, 해당 결함이 발생한 빌드 내에서 이를 표시합니다.
자동화된 테스트 실행
VectorCAST는 Jenkins, Azure DevOps, GitLab 및 기타 CI 시스템과 연동됩니다. 서버 에디션은 자동화 환경에서 테스트를 병렬로 실행하도록 최적화되어 있어, 대화형 테스트 개발을 방해하지 않으면서도 여러 구성에 걸쳐 테스트를 실행할 수 있습니다.
변경 기반 테스트
대규모 코드베이스에서는 매 커밋마다 전체 테스트 스위트를 실행하는 것이 비효율적일 수 있습니다. VectorCAST의 변경 기반 테스트(CBT)는 변경 사항의 영향을 받는 코드 섹션을 포괄하는 최소한의 테스트 케이스 집합을 식별하고, 해당 테스트 케이스만 재실행함으로써 이 문제를 해결합니다.
테스트 커버리지의 무결성은 유지됩니다. CBT는 CI 주기를 짧게 유지하면서 각 변경 사항의 영향에 대한 신속한 피드백을 제공합니다. 필요 시 전체 회귀 테스트를 예약하여 실행할 수 있으며, 그 사이에는 CBT가 변경 영향에 대한 빠른 피드백을 제공해 누락 없이 CI 주기를 짧게 유지합니다.
품질 게이트 및 추세 모니터링
개별 테스트 실행 결과는 단일 빌드의 상태를 보여줍니다. Squore는 프로젝트의 진행 경로를 모니터링합니다. 릴리스 간 커버리지가 개선되고 있는지, 정적 분석 결과 항목이 누적되고 있는지, 통합 전에 코드베이스가 커버리지 요구사항을 충족할 수 있는 상태인지 추적합니다.
Squore는 규정을 준수하지 않는 코드가 파이프라인을 통과하지 못하도록 품질 게이트를 적용합니다. 커밋으로 인해 커버리지가 정의된 임계값 아래로 낮아지거나 정적 분석 결과가 설정된 한도를 초과하면, 게이트는 빌드를 중단하고 팀에 경고를 보냅니다. 추세 분석을 통해 품질 저하가 릴리스 지연으로 이어지기 전에 조기에 파악할 수 있습니다.
규정 준수에서 얻는 이익
각 자동화 테스트 실행, 정적 분석 실행, 커버리지 측정은 무엇이 검증되었는지, 얼마나 철저하게 검증되었는지, 어떤 근거에 따라 검증되었는지를 보여주는 증적을 점진적으로 축적합니다. 이러한 증적은 감사 직전에 급하게 마련하는 별도의 규정 준수 활동이 아니라, 개발 프로세스의 산출물로 축적됩니다.
ISO 26262, DO-178C, IEC 61508 또는 IEC 62304 표준에 따라 작업하는 팀에게 이는 실질적으로 매우 중요합니다. 이전에는 프로젝트 말미에 몇 주에 걸쳐 취합해야 했던 인증 증적이 프로젝트 전반에서 지속적으로 생성됩니다. 커버리지 누락은 규모가 작을 때 바로 드러나며, 정적 분석 부채가 관리 불가능한 수준까지 누적되지 않습니다. 감사는 기록을 급하게 작성하는 작업이 아니라, 이미 축적된 기록을 검토하는 과정이 됩니다.
PC-lint Plus, VectorCAST, Squore는 각각 지원 표준에 따라 인증을 받았습니다. 이러한 도구의 출력물은 추가 검증 작업 없이 검증 증적으로 인정됩니다. 이를 파이프라인에 통합하면 규정 준수 증적은 별도의 프로젝트가 아니라 엔지니어링 실무의 산출물이 됩니다.