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를 비롯한 산업 표준에서 요구하는 요구사항에 맞춰 조정됩니다. 커버리지 뷰어를 통해 소스 코드 내에서 테스트되지 않은 줄을 직접 식별할 수 있습니다.
호스트, 시뮬레이터 또는 임베디드 타깃에서 평가 실행
test 케이스는 재작성 없이 호스트에서 임베디드 타깃으로 이동합니다. VectorCAST RSP는 타깃 하드웨어에서의 실행을 자동적이고 원활하게 처리합니다.
회귀 평가 자동화
테스트 데이터는 테스트 하네스와 별도로 관리됩니다. 회귀 테스트는 변경 사항이 있을 때마다 테스트 실행 파일을 재컴파일할 필요 없이 갱신된 소스 코드를 대상으로 실행됩니다.
적용 분야
VectorCAST/Ada는 Ada가 주 언어이며, 소프트웨어의 정확성이 임무나 안전에 결정적인 영향을 미치는 프로그램에서 사용됩니다.
항공우주
DO-178B 및 DO-178C에 따른 항공기 탑재 소프트웨어 컴포넌트에 대한 단위 테스트 및 통합 평가로, 더 높은 설계 보증 등급에 요구되는 수준의 커버리지 증거를 포함합니다.
산업용
IEC 61508 표준을 따르는 프로그램 내의 Ada 소프트웨어 컴포넌트에 대한 체계적인 소프트웨어 검증.
철도
EN 50716:2023의 적용을 받는 프로그램 내 Ada 구성 요소에 대한 소프트웨어 검증 및 확인.
주요 기능
VectorCAST/Ada는 하네스 생성부터 커버리지 보고 및 회귀 테스트 실행에 이르기까지 Ada 단위 테스트 및 통합 테스트 워크플로우의 모든 단계를 자동화합니다.
평가 작성 및 실행
자동 평가 하네스 구축
Ada 소스 코드에서 모든 테스트 인프라를 생성합니다. 수동으로 테스트 코드를 작성할 필요가 없습니다.
데이터 기반 실행
테스트 하네스는 runtime에 테스트 데이터를 읽어옵니다. 각 test 케이스가 갱신될 때마다 재컴파일할 요구사항이 없습니다.
자동 test 케이스 생성
의사결정 경로를 기반으로 test 케이스를 생성하여, 수동 테스트 개발을 시작하기 전의 출발점을 제공합니다.
회귀 평가
test 케이스는 갱신된 소스 코드에 대해 자동으로 재실행됩니다. 테스트 실행 재현 기능은 오류 디버깅에 도움이 됩니다.
목표에 부합하는 평가
VectorCAST RSP를 통해 임베디드 대상 하드웨어에서 직접 테스트를 실행할 수 있습니다. 호스트에서 대상으로 전환할 때 테스트 코드를 다시 작성할 필요가 없습니다.
분석 및 가시성
코드 커버리지 분석
커버리지 지표는 테스트되지 않은 코드 선을 정확히 찾아냅니다. DO-178 및 기타 표준에서 요구하는 커버리지 수준에 맞춰 구성할 수 있습니다.
코드 복잡도 분석
정적 복잡도 지표는 고위험 코드를 강조하고 테스트 작업의 우선순위를 정하는 데 도움말을 제공합니다.
Ada 표준 및 툴체인 지원
Ada 83부터 Ada 2012까지 지원합니다. AdaCore GNAT, Green Hills AdaMULTI, DDC-I SCORE, Atego ObjectAda, IBM Rational Rhapsody 및 DOORS와 연동됩니다.
Frequently Asked Questions
