VectorCAST/Ada는 테스트 드라이버와 스텁 생성을 자동화하여, 수작업으로 테스트 코드를 작성하지 않고도 완전한 실행 가능한 테스트 하네스를 제공합니다. Ada를 위한 단위 테스트 및 통합 테스트는 전통적으로 많은 시간이 필요한 작업이었지만, VectorCAST/Ada는 테스트 하네스 구축을 자동화하여 엔지니어가 테스트 인프라가 아닌 철저한 테스트 케이스 설계에 집중할 수 있습니다.
테스트는 호스트 환경, 타깃 시뮬레이터 또는 VectorCAST RSP를 사용해 임베디드 타깃 하드웨어에서 직접 네이티브 방식으로 실행할 수 있습니다. 호스트 환경에서 개발한 테스트 케이스는 타깃 시스템에서 다시 실행하여 크로스 컴파일러의 동작과 실제 성능을 검증할 수 있습니다.
VectorCAST/Ada의 주요 대상
VectorCAST/Ada는 항공우주, 철도 및 기타 규제 산업을 포함한 미션 크리티컬 및 안전 크리티컬 프로그램 분야의 Ada 개발자와 테스트 엔지니어를 위해 설계되었습니다. Ada 83, Ada 95, Ada 2005 및 Ada 2012를 지원하며, 신규 및 레거시 코드베이스 모두에서 사용할 수 있습니다.
장점
VectorCAST/Ada는 Ada 테스트 하네스 생성에 수반되는 수작업 부담을 자동화되고 반복 가능한 프로세스로 대체하여, 신규 개발과 레거시 코드 검증을 모두 효율적으로 지원합니다.
수동 하네스 작성 작업 제거
드라이버와 스텁은 소스 코드로부터 자동으로 생성됩니다. 엔지니어는 테스트 인프라를 구축하는 작업이 아니라 테스트 로직을 정의하는 데 집중할 수 있습니다.
레거시 Ada 코드에도 동일한 엄격성을 적용
VectorCAST/Ada는 신규 및 기존 Ada 애플리케이션 모두에서 사용할 수 있습니다. 레거시 코드에 단위 테스트를 적용하는 작업도 큰 부담 없이 체계적으로 수행할 수 있습니다.
항공전자 및 군사 표준에 따른 커버리지 입증
코드 커버리지 분석은 DO-178C를 비롯한 산업 표준에서 요구하는 수준에 맞춰 구성할 수 있습니다. 커버리지 뷰어를 통해 소스 코드 내에서 테스트되지 않은 코드를 직접 식별할 수 있습니다.
호스트, 시뮬레이터 또는 임베디드 타깃에서 테스트 실행
테스트 케이스는 재작성 없이 호스트에서 임베디드 타깃으로 이동할 수 있습니다. VectorCAST RSP는 타깃 하드웨어에서의 실행을 자동적이고 원활하게 처리합니다.
회귀 테스트 자동화
테스트 데이터는 테스트 하네스와 별도로 관리됩니다. 회귀 테스트는 변경 사항이 있을 때마다 테스트 실행 파일을 재컴파일하지 않고도 갱신된 소스 코드를 대상으로 실행됩니다.
적용 분야
VectorCAST/Ada는 Ada를 주 프로그래밍 언어로 사용하는 프로그램과 소프트웨어의 정확성이 임무 수행 또는 안전에 매우 중요한 프로그램에서 사용됩니다.
항공우주
DO-178B 및 DO-178C에 따른 항공기 탑재 소프트웨어 컴포넌트의 단위 테스트 및 통합 테스트를 지원하며, 높은 설계 보증 등급에 필요한 커버리지 증거를 제공합니다.
산업
IEC 61508이 적용되는프로그램에서 Ada 컴포넌트에 대한 체계적인 소프트웨어 검증을 지원합니다.
철도
EN 50716:2023이 적용되는 프로그램에서 Ada 컴포넌트에 대한 소프트웨어 검사 및 검증(Verification & Validation)을 지원합니다.
주요 기능
VectorCAST/Ada는 하네스 생성부터 커버리지 리포트 및 회귀 테스트 실행에 이르기까지 Ada 단위 테스트 및 통합 테스트 워크플로우의 모든 단계를 자동화합니다.
테스트 작성 및 실행
자동 테스트 하네스 구축
Ada 소스 코드에서모든 테스트 인프라를 생성합니다. 수동으로 테스트 코드를 작성할 필요가 없습니다.
데이터 기반 실행
테스트 하네스는 런타임에 테스트 데이터를 읽어옵니다. 각 테스트 케이스가 갱신될 때마다 재컴파일할 필요가 없습니다.
자동 테스트 케이스 생성
의사결정 경로를 기반으로 테스트 케이스를 생성하여, 수동 테스트 개발을 시작하기 전 활용할 수 있는 출발점을 제공합니다.
회귀 테스트
테스트 케이스는 갱신된 소스 코드에 대해 자동으로 재실행됩니다. 테스트 실행 재현 기능은 오류 디버깅에 유용합니다.
타깃 환경 테스팅
VectorCAST RSP를 통해 임베디드 타깃 하드웨어에서 직접 테스트를 실행할 수 있습니다. 호스트에서 대상으로 전환할 때 테스트 코드를 다시 작성할 필요가 없습니다.
분석 및 가시성
코드 커버리지 분석
커버리지 메트릭은 테스트되지 않은 코드 라인을 정확하게 식별합니다. DO-178 및 기타 표준에서 요구하는 커버리지 수준에 맞게 설정할 수 있습니다.
코드 복잡도 분석
정적 복잡도 메트릭은 고위험 코드를 강조하고 테스트 작업의 우선순위를 정하는 데 도움을 제공합니다.
Ada 표준 및 툴체인 지원
Ada 83부터 Ada 2012까지 지원합니다. AdaCore GNAT, Green Hills AdaMULTI, DDC-I SCORE, Atego ObjectAda, IBM Rational Rhapsody 및 DOORS와 연동됩니다.
FAQ
