CodeVerificationTesting_light_SystemVisual_RGB.png

VectorCAST

안전이 중요한 임베디드 시스템을 위한 소프트웨어 평가 자동화

VectorCAST는 소프트웨어 개발 생명주기 전반에 걸쳐 단위 테스트, 통합 평가 및 커버리지 평가를 자동화하는임베디드 소프트웨어 테스트 플랫폼입니다. 이 플랫폼은 안전이 중요한 시스템 및 고무결성 시스템 분야에서 C, C++, Ada 언어를 사용하는 팀을 위해 설계되었습니다.

VectorCAST는 단위 테스트에서 수작업으로 인한 부담을 덜어줍니다. 테스트 하네스, 회귀 테스트 실행, 커버리지 수집 및 인증 보고가 모두 자동으로 수행됩니다. 엔지니어들은 주변 인프라가 아닌, 엔지니어링적 판단이 필요한 업무에 집중할 수 있습니다.

VectorCAST는 DO-178C, ISO 26262, IEC 62304, EN 50716과 같은 표준 준수가 요구되는 항공우주, 자동차, 의료 기기, 산업 및 철도 분야의 임베디드 소프트웨어 개발자, 시험 기술자, 소프트웨어 품질 책임자들이 사용하고 있습니다.

장점

VectorCAST는 범용 도구를 기반으로 만든 것이 아니라, 임베디드 소프트웨어 개발의 제약 조건과 요구사항에 맞춰 특별히 설계되었습니다.

  • 수동 평가에 소요되는 노력을 대폭 줄입니다

    VectorCAST는 소스 코드에서 직접 테스트 케이스를 생성하므로, 팀은 반복적인 코드 작성 대신 결과 검증에 시간을 할애할 수 있습니다.

  • 구조적 커버리지 달성 및 입증

    구문, 분기 및 MC/DC 커버리지 분석 기능이 내장되어 있으며, 인증 검토에 적합한 포맷으로 보고서를 생성할 수 있습니다. 프로젝트 수준과 단위 수준의 커버리지 결과가 단일 뷰어에 함께 보여지므로, 뷰를 전환할 필요 없이 전체 프로그램의 완성도를 평가할 수 있습니다.

  • 요구사항부터 평가 결과까지 추적성 유지

    IBM DOORS, Polarion, Visure, Jama 및 codeBeamer 등 요구사항 관리 도구와 연동하여, 프로젝트 전체 라이프사이클 동안 테스트 산출물을 요구사항과 지속적으로 연결하고 추적 가능한 상태로 유지할 수 있습니다.

  • 기존 개발 환경에서 작업

    VectorCAST는 Jenkins, Visual Studio Code, MathWorks Simulink 및 80개 이상의 컴파일러와 연동됩니다. GoogleTest에 대한 네이티브 지원으로 기존 테스트 스위트를 재작성할 필요 없이 그대로 사용할 수 있습니다. 기존 워크플로우를 대체하는 것이 아니라, 워크플로우에 자연스럽게 통합됩니다.

  • 인증 문서화를 통한 인증 절차 가속화

    DO-178B/C용 도구 자격 인증 패키지와 IEC 61508, ISO 26262, EN 50716, IEC 62304용 도구 검증 패키지를 이용할 수 있으며, 여기에는 TÜV SUD의 인증서도 포함합니다.

적용 분야

VectorCAST는 소프트웨어 오류가 안전이나 임무 수행에 영향을 미칠 수 있는 모든 분야에서 사용됩니다.

항공우주

DO-178B 및 DO-178C에 따른 항공기 탑재 시스템의 구조적 커버리지 인증. VectorCAST 인증 패키지는 도구 인증 요구사항을 충족하기 위해 필요한 문서, 테스트 케이스 및 절차를 제공합니다.

자동차

ISO 26262에 따른 자동차 기능 안전성을 위한 소프트웨어 검증 및 확인. ECU 소프트웨어 프로젝트 전반에 걸쳐 요구사항 추적성, 회귀 평가 및 커버리지 보고를 지원합니다.

의료

IEC 62304에 따른 의료 기기용 소프트웨어 안전 검증. 단위 테스트부터 시스템 수준 커버리지에 이르는 전체 테스트 문서 체인을 지원합니다.

산업용

IEC 61508에 따른 프로그램 가능한 전자공학 시스템의 기능 안전 인증. 체계적인 소프트웨어 검증이 필요한 제품 개발 프로그램에 사용됩니다.

철도

EN 50716에 따른 철도 애플리케이션용 소프트웨어 검증 및 확인. 추적 가능성과 커버리지 증거 생성을 통한 구조화된 평가를 지원합니다.

기존 테스트 스위트를 VectorCAST로 가져오기

안전이 중요한 소프트웨어를 개발하는 팀은 대개 GoogleTest나 기타 xUnit 체계와 같은 기존 C++ 테스트 스위트를 보유하고 있습니다. VectorCAST Coded Tests를 사용하면 처음부터 다시 시작할 필요가 없습니다. 기존 테스트 스위트를 재작성할 필요 없이 VectorCAST로 직접 가져올 수 있습니다. 실행, MC/DC 커버리지 분석, 인증 보고 기능은 모두 첫 실행부터 바로 사용할 수 있습니다. C 함수에 대한 모의(Mock) 지원이 내장되어 있으며, 새로운 평가의 경우 익숙한 xUnit 스타일의 C++ 문법으로 작성하고 동일한 인증된 환경을 통해 모든 것을 관리할 수 있습니다.

기존 테스트 스위트가 얻게 되는 이점

  • MC/DC 구조적 커버리지

    기존 평가 전반에 걸쳐 문장, 분기 및 MC/DC 커버리지를 자동으로 측정하고 보고합니다. 별도의 외부 계측이나 추가 도구가 필요하지 않습니다.

  • 요구사항 추적성

    테스트 케이스를 요구사항에 연결하고, 감사 준비가 완료된 추적성 보고서를 생성합니다. 요구사항에서 테스트 결과까지의 연결 관계는 수동으로 정리할 필요 없이 감사 가능합니다.

  • 인증된 도구 자격 인증

    DO-178C 및 기타 관련 표준에 대한 TÜV 인증 자격 검증 키트를 제공하여, 검증된 환경에서 테스트를 수행할 수 있습니다.

  • 내장형 모킹 및 스터빙

    외부 업체 모의(mocking) 프레임워크 없이도 결함 재현 및 유닛 격리가 가능합니다. C 함수에 대한 VUnit 모의 지원 기능으로 테스트 코드를 독립적으로 유지할 수 있습니다.

  • 새로운 평가를 위한 ATG

    자동 테스트 생성(ATG) 기능은 새로운 커버리지 공백을 해결하기 위해 검토 가능한 C++ 소스 파일을 생성하여, 수동 작성 없이도 테스트를 시작할 수 있는 기반을 제공합니다.

  • VS Code 통합

    IDE를 벗어나지않고도 VectorCAST Test Explorer 확장 프로그램을 통해 코드화된 테스트를 실행하고 소스 코드 내에서 인라인으로 커버리지를 확인할 수 있습니다.

AI 기반 요구사항 중심 테스트 생성

요구사항 기반 테스트는 대부분의 안전이 중요한 프로그램에서 필수 인증 요건입니다. 또한 이는 검증 워크플로우에서 가장 노동 집약적인 부분 중 하나이기도 합니다. 요구사항을 코드에 mapping하고, 각 요구사항에 대한 테스트 케이스를 작성하며, 요구사항과 코드가 변경될 때마다 추적성을 유지해야 하기 때문입니다.

VectorCAST 2026에 포함된 AI 기반 요구사항 기반 테스트 생성기인 Reqs2x는 이러한 작업을 자동화합니다. Reqs2x는 요구사항을 구현하는 함수에 매핑하고, 대규모 언어 모델을 활용하여 이에 부합하는 테스트 케이스를 생성합니다. 엔지니어가 검토하고 승인하기 전까지는 어떤 내용도 검증 워크플로우에 반영되지 않습니다.

작동 원리

  1. 가져오기 요구사항

    Requirements Gateway를 통한 가져오기 요구사항으로, 기존 워크플로우를 그대로 유지할 수 있습니다.

  2. 자동 매핑

    Reqs2x는 프로그램 슬라이싱을 사용하여 각 요구사항을 이를 구현하는 함수에 매핑합니다. 수동으로 상호 참조할 필요가 없습니다.

  3. AI 생성 테스트 케이스

    대규모 언어 모델이 각 요구사항에 부합하는 실행 가능한 테스트 케이스를 생성합니다. 모든 가공품은 완전히 투명하며, 각 단계에서 입력, 출력 및 매핑을 확인할 수 있습니다.

  4. 엔지니어 검토

    생성된 매핑 및 테스트 케이스는 검증 워크플로우에 진입하기 전에 엔지니어 검토 단계를 거칩니다. 어떤 결과도 자동으로 승인되지 않습니다. AI가 생성한 산출물 역시 수작업으로 작성된 테스트 코드와 동일한 검토 및 품질 관리 절차를 따릅니다.

안전이 최우선인 프로그램을 위해 설계됨

Vector의 AI 접근 방식은 통제된 환경 내에서 정밀하게 정의된 사용사례를 위해 설계된, 모듈식이며 특정 작업에 특화된 에이전트를 사용합니다. 각 에이전트는 한 곳에서 한 가지 작업만 수행하므로, 그 행동은 예측 가능하고 산출물은 검토가 용이합니다. 이러한 설계는 MISRA C:2025, ISO/IEC AI 체계 및 EU AI 법과의 부합을 지원합니다.

‘Bring Your Own Model(BYOM)’ 접근 방식을 통해 귀사는 자사의 인프라 및 데이터 개인정보 보호 요구사항에 부합하는 대규모 언어 모델을 고를 수 있습니다. 온프레미스, 클라우드 및 하이브리드 배포가 모두 지원됩니다.

타이밍 검증으로 확장
기능적 정확성은 검증의 절반에 불과합니다. 안전이 중요한 개발 분야에서는 소프트웨어가 정의된 시간 범위 내에서 실행되어야 하며, 이를 입증해야 합니다. VectorCAST/Timing은 하드웨어 모델이나 마이크로아키텍처에 대한 가정 없이, 형식적 통계 기법을 사용하여 측정된 실행 데이터로부터 타이밍 증거를 완전히 도출합니다. 도출된 결과는 별도의 근거 제시 없이도 인증 감사에 사용하기에 적합합니다.

고객 맞춤형 개발 스택

더 자세한 정보가 필요하신가요? 문의해 주세요!
Andreas Horn
더 자세한 정보가 필요하신가요? 문의해 주세요!
양식을 작성해 주시면, 문의 사항에 답변해 드리고 필요 사항을 해결해 드리기 위해 연락드리겠습니다!

FAQ

관련 페이지