VectorCAST
고품질 소프트웨어를 위한 소프트웨어 테스트 자동화VectorCAST로 소프트웨어 테스팅을 자동화
VectorCAST 임베디드 소프트웨어 테스팅 플랫폼은 소프트웨어 개발 전반에 걸친 테스팅 업무를 자동화해주는 제품군입니다. 이 섹션에서는 각 VectorCAST 제품의 기능, 제품 간의 상호 운용 방법과 소프트웨어 테스팅 요구에 맞는 적절한 사용 방법을 설명합니다.
VectorCAST에 대한 정보를 확인하시고 추가적인 안내가 필요하다면 아래 연락처로 문의주십시오.
Phone: 02-807-0600 Ext. 3353
Email: vectorcast(at)kr.vector.com
장점
- 임베디드 시스템 검증
지속적 테스트 및 협업 테스트 가능
자동화된 툴 제공
현재 사용 중인 소프트웨어 개발 툴과 사용 가능
응용 분야
항공 시스템 및 항공 장비에 대한 구조적 커버리지 인증
RTCA DO-178C/ EUROCAE ED-12C란?
DO-178C와 ED-12C의 소프트웨어 검증 과정에서 핵심 요구사항 중 하나는 높은 수준 및 낮은 수준의 소프트웨어 요구사항에서 구조적 코드 커버리지를 달성하는 것입니다.
이 문서들은 비정상적인 소프트웨어 동작으로 인해 시스템 기능 장애가 발생하거나 원인이 될 수 있는지에 따라 5가지 단계의 중요도로 구분하고 있습니다. 아래의 표는 표준에 정의된 Failure 조건의 범주와 구조적 커버리지 간의 관계를 나타냅니다.
소프트웨어 중요도 단계 및 구조적 커버리지 요구사항
| 단계 | Failure 정의 | 구조적 커버리지와의 관계 |
|---|---|---|
| A | 시스템에 catastrophic failure 조건을 초래하는 소프트웨어 | Modified Condition / Decision Coverage, Decision Coverage and Statement Coverage |
| B | 시스템에 hazardous/severe-major failure 조건을 초래하는 소프트웨어 | Decision Coverage and Statement Coverage |
| C | 시스템에 major failure 조건을 초래하는 소프트웨어 | Statement Coverage |
| D | 시스템에 minor failure 조건을 초래하는 소프트웨어 | None Required |
DO-178C 및 ED-12C를 지원하는 VectorCAST
VectorCAST 툴 제품군은 테스트케이스의 생성 및 관리를 지원함으로써 낮은 단계의 소프트웨어에 대한 요구사항을 테스트하였음을 증명합니다. 추가로, Level A를 포함한 DO-178C 및 ED-12C의 모든 단계에서 구조적 코드 커버리지 정보를 캡처할 수 있고 리포트를 생성할 수 있습니다.
장점
- DO-178C 및 ED-12C가 요구하는 코드 커버리지의 모든 단계를 지원
- 테스트 스텁과 테스트 드라이버 프로그램의 자동 생성
- 자동 회귀 테스트
- 테스트 보고서 자동 생성
- 호스트, 시뮬레이터, 임베디드 타겟 환경에서 테스트 실행 가능
인증된 VectorCAST 툴
DO-178C와 ED-12C에서는 문서에 규정된 프로세스를 자동화하거나 수정할 때 소프트웨어 툴이 필요하다고 자격 증명을 명시하고 있습니다. VectorCAST는 낮은 수준의 요구사항을 검증하는 프로세스와 구조적 코드 커버리지에 대한 기록 및 보고를 자동화하므로 DO-128C 및 ED-12C 인증에 사용될 수 있습니다.
백서 "Using VectorCAST for DO-178B/C Software Verification"
차량 기능 안전을 위한 소프트웨어 확인과 검증(Verification and Validation)
ISO 26262 란?
ISO 26262는 자동차의 기능 안전 시스템의 개발과 테스트에 대한 절차적 모델을 제공합니다. ISO 26262는 안전 관련 요구사항에 대한 기준을 정의하고 있는 국제 규격인 IEC 61508을 기반으로 제정되었으며 차량 시스템에서 겪는 문제에 대한 내용을 다룹니다. VectorCAST는 소프트웨어 개발 기준인 ISO 26262 Part 6에 명시된 소프트웨어 테스트 및 검증(Verification) 요구사항을 지원하고 있습니다. 즉, 기능 테스트(요구사항 기반의 테스트와 분할 테스트) 및 구조적 커버리지 테스트와 같은 유닛 및 시스템 레벨의 테스트를 모두 지원합니다.
장점
- ISO 26262가 요구하는 코드 커버리지의 모든 단계를 지원
- Statement
- Branch
- MCDC
- 소프트웨어 유닛 및 통합 테스트를 위한 테스트 하네스 자동 생성/빌드
- 자동 회귀 테스트
- 테스트케이스 맵핑에 대한 요구사항
- 견고성(Robustness) 테스트
- 범위를 벗어나는 값
- 바운더리 조건 테스트
- 호스트, 시뮬레이터, 임베디드 타겟 시스템에서 테스트 실행
ISO 26262를 지원하는 VectorCAST
VectorCAST 툴 제품군은 낮은 level의 소프트웨어 요구사항을 테스트하였음을 증명하는 테스트케이스의 생성 및 관리를 지원하며, 경계값 분석 테스트와 같은 다양한 견고성(Robustness) 테스트에도 유용합니다. 추가로, VectorCAST 툴은 ISO 26262가 요구하는 모든 단계에서 구조적 코드 커버리지의 캡처 및 보고를 지원합니다.
ISO 26262 지원
VectorCAST는 사용자에게 다음과 같은 기능을 제공함으로써 ISO 26262 준수와 관련된 테스트 작업을 지원합니다.
- 모든 단계의 구조적 커버리지에 대한 지원
- 기능 테스트 및 견고성(robustness) 테스트를 위한 테스트 하네스 자동 생성 및 컴파일
- 요구사항을 테스트케이스에 태그 가능
- 값의 범위에 따라 테스트케이스 자동 생성(최소-중간-최대)
- 간단한 동작으로 테스트케이스 구축하는 스크립트 생성
- 테스트케이스 수정 후 리컴파일 하지 않고 테스트 실행 가능
- 자동 회기 테스트
- 여러 표준에 호환되는 테스트 리포트 생성
- 기본 경로 분석 및 순환 복잡도 기능
- 호스트 및 임베디드 타겟 개발 시스템에서 테스트 실행 가능
ISO 26262 기능 안전에 대한 TÜV SÜD 인증 툴
VectorCAST 제품군은 TÜV SÜD 인증을 받은 안전 관련 개발을 위한 소프트웨어 툴입니다.
백서 "Following the ISO 26262-6:2018 Guidelines with VectorCAST"
기능 안전성 관련 국제 표준 정의
IEC 61508 란?
IEC 61508은 전자 시스템의 프로그램에 대한 기능 안전을 관리하는 국제 산업 표준입니다. IEC 61508 인증은 제품 또는 시스템이 표준에 따라 컴파일이 되는지를 확인합니다. IEC 61508은 7개의 파트로 구성됩니다. "Part 3: 소프트웨어 요구사항" (IEC 61508-3)은 소프트웨어의 요구사항을 정의하며, validation 및 verification을 포함한 소프트웨어의 안전 주기를 결정합니다. 위험도 분석에서 안전주기는 안전 무결성 기준(SIL)을 결정합니다. IEC 61508-3은 SIL-2 이상의 안전 무결성 기준을 위해 인증된 툴과 translator를 적극적으로 권장합니다.
장점
- IEC 61508가 요구하는 코드 커버리지의 모든 단계를 지원
- Statement
- Branch
- MCDC
- 소프트웨어 유닛 및 통합 테스트를 위한 테스트 하네스 자동 생성/빌드
- 자동 회귀 테스트
- 테스트케이스 맵핑에 대한 요구사항
- 견고성(Robustness) 테스트
- 범위를 벗어나는 값
- 바운더리 조건 테스트
- 호스트, 시뮬레이터, 임베디드 타겟 시스템에서 테스트 실행
IEC 61508을 지원하는 VectorCAST
VectorCAST 임베디드 소프트웨어 테스트 플랫폼은 낮은 레벨의 소프트웨어 요구사항을 테스트하였음을 증명하는 테스트케이스의 생성 및 관리를 지원하며, 범위를 벗어나는 테스트와 같은 다양한 견고성(robustness) 테스트에도 유용합니다. 추가로, VectorCAST 툴은 IEC 61508이 요구하는 모든 단계에서 구조적 코드 커버리지의 캡처 및 보고를 지원합니다.
| 레벨 | 실패 결과 |
|---|---|
| 0 | N/A |
| 1 | 가벼운 부상의 가능성 |
| 2 | 큰 부상 또는 사망자 1명 발생 가능성 |
| 3 | 사망자가 다수 발생 가능성 |
| 4 | 지역 사회에서의 잠재적 사망자 발생 가능성 |
불합리한 잔류 위험을 방지하기 위해 필요한 안전 방안을 명시하는 SIL의 4단계
IEC 61508 지원
VectorCAST는 사용자에게 다음과 같은 기능을 제공함으로써 IEC 61508 준수와 관련된 테스트 작업을 지원합니다.
- 모든 단계의 구조적 커버리지에 대한 지원
- 기능 테스트 및 견고성(robustness) 테스트를 위한 테스트 하네스 자동 생성 및 컴파일
- 요구사항을 테스트케이스에 태그 가능
- 값의 범위에 따라 테스트케이스 자동 생성(최소-중간-최대)
- 간단한 동작으로 테스트케이스 구축하는 스크립트 생성
- 테스트케이스 수정 후 리컴파일 하지 않고 테스트 실행 가능
- 자동 회귀 테스트
- 여러 표준에 호환되는 테스트 리포트 생성
- 기본 경로 분석 및 순환 복잡도 기능
- 호스트 및 임베디드 타겟 개발 시스템에서 테스트 실행 가능
ISO 26262 기능 안전에 대한 TÜV SÜD 인증 툴
VectorCAST 제품군은 TÜV SÜD 인증을 받은 안전 관련 개발을 위한 소프트웨어 툴입니다.
백서 "Understanding Verification and Validation of Software Under IEC 61508-3:2010"
의료 기기 및 장비에 대한 소프트웨어 안전성 검증
환자를 검사하기 위해 사용되는 X-ray 스캐너, 심장 박동 측정기, 혈압기와 같은 다양한 의료 장비와 제세동기나 의료 펌프와 같은 의료 기기는 임베디드 소프트웨어를 포함합니다.
환자를 검사하고 치료하는 모든 경우, 환자의 건강과 안전은 신뢰할 수 있고 결함이 없는 의료 소프트웨어에 달려있습니다.
미국에서 의료 기기를 판매하기 위해서는 미국 식품의약국(FDA)의 승인을 반드시 받아야 합니다. FDA는 소프트웨어 검증 가이드라인에 따라 의료 기기 제조업체에 대한 공식 인증 절차를 가지고 있습니다.
IEC 62304 란?
Internation Electrotechnical Commission은 IEC 62304를 제정하였습니다. 이 표준은 유럽에서 사용되는 의료 소프트웨어 요구사항을 입증하기 위해서 제정된 의료 소프트웨어 프로세스를 명시했습니다. IEC 62304는 의료 기기에 포함되는 모든 부분의 소프트웨어 구성에 대한 테스팅 가이드라인을 포함합니다.
장점
- IEC 62304가 요구하는 코드 커버리지의 모든 단계를 지원
> Statement
> Branch
> MCDC - 소프트웨어 유닛 및 통합 테스트를 위한 테스트 하네스 자동 생성/빌드
- 자동 회귀 테스트
- 테스트케이스 맵핑에 대한 요구사항
- 견고성(Robustness) 테스트
- 범위를 벗어나는 값
- 바운더리 조건 테스트
- 호스트, 시뮬레이터, 임베디드 타겟 시스템에서 테스트 실행
IEC 62304 지원하는 VectorCAST
VectorCAST 임베디드 소프트웨어 테스트 플랫폼은 낮은 레벨의 소프트웨어 요구사항을 테스트하였음을 증명하는 테스트케이스의 생성 및 관리를 지원하며, 범위를 벗어나는 테스트와 같은 다양한 견고성(robustness) 테스트에도 유용합니다. 추가로, VectorCAST 툴은 IEC 62304이 요구하는 모든 단계에서 구조적 코드 커버리지의 캡처 및 보고를 지원합니다.
FDA 요구사항 인증
VectorCAST 툴을 통해 의료기기의 작동이 FDA 소프트웨어 품질 요구사항에 부합하는지 확인할 수 있습니다. 또한, 고객의 장비가 Class I, II, III인지에 따라 고객의 의료 장비 소프트웨어 개발을 위한 자동화된 테스팅 프로세스를 제공합니다.
IEC 62304 기능 안전에 대한 TÜV SÜD 인증 툴
VectorCAST 제품군은 TÜV SÜD 인증을 받은 안전 관련 개발을 위한 소프트웨어 툴입니다.
백서 "Using VectorCAST to Satisfy FDA Software Testing Requirements"
철도 어플리케이션을 위한 소프트웨어 확인 및 검증(Verification and Validation)
EN 50128:2011 및 EN 50657:2017 란?
유럽 표준인 EN 50128:2011 및 EN 50657:2017은 철도 시스템의 안전에 중요한 전자 시스템의 개발과 테스트를 위한 프로세스 프레임 워크 및 절차적 모델을 제공합니다. 이는 국제 전기 기술위원회 문서인 IEC 61508을 기반으로 제정된 것으로 IEC 61508은 철도 시스템에서 겪는 문제에 대한 내용을 다룹니다.
장점
- EN 50128이 요구하는 코드 커버리지의 모든 단계를 지원
> Statement
> Branch
> MCDC - 소프트웨어 유닛 및 통합 테스트를 위한 테스트 하네스 자동 생성/빌드
- 자동 회귀 테스트
- 테스트케이스 맵핑에 대한 요구사항
- 견고성(Robustness) 테스트
- 범위를 벗어나는 값
- 바운더리 조건 테스트
- 호스트, 시뮬레이터, 임베디드 타겟 환경에서 테스트 실행 가능
EN 50128 및 EN 50657 지원하는 VectorCAST
VectorCAST 임베디드 소프트웨어 테스트 플랫폼은 낮은 레벨의 소프트웨어 요구사항을 테스트하였음을 증명하는 테스트케이스의 생성 및 관리를 지원하며, 범위를 벗어나는 테스트와 같은 다양한 견고성(robustness) 테스트에도 유용합니다. 추가로, VectorCAST 툴은 EN 50128 및 EN 50657이 요구하는 모든 단계에서 구조적 코드 커버리지의 캡처 및 보고를 지원합니다.
EN 50128 및 EN 50657 지원
VectorCAST는 사용자에게 다음과 같은 기능을 제공함으로써 EN 50128 및 EN 50657 준수와 관련된 테스트 작업을 지원합니다.
- 모든 단계의 구조적 커버리지에 대한 지원
- 기능 테스트 및 견고성(robustness) 테스트를 위한 테스트 하네스 자동 생성 및 컴파일
- 요구사항을 테스트케이스에 태그 가능
- 값의 범위에 따라 테스트케이스 자동 생성(최소-중간-최대)
- 간단한 동작으로 테스트케이스 구축하는 스크립트 생성
- 테스트케이스 수정 후 리컴파일 하지 않고 테스트 실행 가능
- 자동 회귀 테스트
- 여러 표준에 호환되는 테스트 리포트 생성
- 기본 경로 분석 및 순환 복잡도 기능
- 호스트 및 임베디드 타겟 개발 시스템에서 테스트 실행 가능
EN 50128 및 EN 50657 기능 안전에 대한 TUV SUD 인증 툴
VectorCAST 제품군은 TÜV SÜD 인증을 받은 안전 관련 개발을 위한 소프트웨어 툴입니다.
VectorCAST 2022의 특징
TESTinsights
TESTinsights는 소프트웨어 평가 결과와 프로젝트 맴버간의 협업으로 수행된 소프트웨어 검증 활동을 기록하고 저장하여 VectorCAST의 활용도를 높여 줍니다. 프로젝트 맴버들은 검증 결과 데이터를 웹 대쉬보드에서 확인할 수 있어, 개개인이 다양한 관점에서, 다양한 수준으로 결과를 분석하여 소프트웨어 품질에 대한 통찰력을 얻을 수 있습니다.
C++ Template Instance Coverage
VectorCAST 2022는 템플릿 자체가 아닌 템플릿 인스턴스에 대한 커버리지 측정 기능을 제공합니다. C++에서 템플릿 함수는 실제 함수가 아닌 컴파일 때 함수 생성에 이용되는 템플릿 또는 패턴 입니다. 템플릿이 아니라 템플릿 인스턴스에 대한 커버리지를 측정하고 확인 할 수 있습니다. 이는 소스에 정의된 하나의 함수가 컴파일 후에는 여러 다른 함수 인스턴스가 된다는 것을 의미합니다. VectorCAST 2022는 모든 인스턴스에 대한 커버리지 측정이 가능합니다.
Visure Integration
VectorCAST Requirements Gateway 3.0(RGW 3.0)은 요구사항과 테스트 케이스를 맵핑하여 VectorCAST로 가져오기가 가능하여, 소프트웨어 요구사항과 테스트 케이스 간의 추적성을 확보할 수 있습니다. RGW 3.0은 다음의 기능을 제공합니다:
- VectorCAST 내 단위 테스트 케이스에 대한 요구사항, 어플리케이션 수명 주기 관리 도구에서 관리되는 요구사항 또는 요구사항 관리 시스템 내 요구사항을 VectorCAST RGW repository로 가져옵니다.
- 각 요구사항을 단위 테스트 환경 내 테스트 케이스에 할당합니다.
- 단위 테스트와 통과 또는 실패에 대한 결과를 어플리케이션 수명 주기 관리 도구로 다시 내보냅니다.
RGW 3.0은 JSON 파일 형식을 사용하여 repository를 구현하였습니다.
VectorCAST 2022버전 부터 RGW 3.0 Visure 통합 기능이 제공되어, 사용자는 Visure 를 이용하여 요구사항을 관리할 수 있습니다.
병렬 테스트 하네스 코드 생성
VectorCAST 2022는 테스트 환경을 빌드 할 때, 사용자가 동시에 실행할 수 있는 Job의 개수를 설정할 수 있습니다. 사용자는 PC의 코어 개수 만큼 병렬 프로스세스 개수를 설정 할 수 있습니다. 빌드과정 동안, 모든 명령어는 큐에 추가되고 이는 병렬적으로 실행됩니다. 큐가 비거나 모든 실행 프로세스가 완료되면 병력 처리는 종료됩니다. 이 기능은 C와 C++ 언어로 작성된 소프트웨어 검증에 사용할 수 있습니다.
검증 환경을 빌드할 때 동시에 실행할 Jobs의 개수를 환경변수에 등록할 수 있습니다. 작업 PC의 멀티 CPU 코어를 활용하기 위해 환경 변수의 값을 1이상으로 설정하여 검증환경 빌드 성능을 개선 할 수 있습니다.
제품 정보
플랫폼
VectorCAST와 FlexNet Publisher는 64-bit Window, 64-bit Linux와 같은 2가지 플랫폼을 지원합니다.
Window 64-bit
다음은 VectorCAST가 지원하는 Windows (64-bit)플랫폼입니다.
- Windows 10
- Windows Server 2012 R2
- Windows 8.1
- Windows Server 2012
- Windows 8
- Windows Server 2008 R2 Service Pack 1 (SP1)
- Windows 7 SP1
- Windows Server 2008 Service Pack 2 (SP2)
- Windows Vista SP2
Windows 64-bit VectorCAST를 사용하기 위해서는 Windows Universal C Runtime(CRT)가 설치되어 있어야 합니다.
Windows Universal C Runtime(CRT)는 FlexNet Publisher 버전 11.16.4에서도 필요합니다.
노트: Windows 설치의 경우 VectorCAST 자체는 설치 관리자 권한을 필요로하지 않습니다. 그러나 VectorCAST 설치 프로그램은 일부 버전에서는 설치 재배포 가능 패키지가 없는 경우, Microsoft에서 재배포 가능 패키지를 설치하려할 것입니다. Microsoft는 이러한 패키지의 설치를 실행하기 위해 관리자 권한을 필요로하는 경우가 있습니다. 관리자 권한으로 설치를 수행할 경우 Microsoft 재배포 가능 패키지 설치에서 발생할 수있는 문제를 해결할 수 있습니다.
Linux 64-bit
다음은 Linux 호스트 플랫폼을 위한 최소 시스템 요구사항입니다.
2.5 버전 이상의 GNU C Library (glibc)이 설치된 64-bit 배포판이 필요합니다.
FlexNet Publisher를 사용하기 위해서는 Linux 플랫폼을 위한 LSB 패키지가 설치되어 있어야 합니다.
VectorCAST의 특정 부분 (주로 Python에 의해 구동되는 GUI 관련 부분)은 전체 시스템에 의존하는 Qt5 툴킷에 의존하고 있습니다. Qt5에 의존하는 VectorCAST 기능은 RSPConfigurator과 RequirementsGateway 통합 등의 기능이 포함되어 있습니다. 이러한 기능을 수행하기 위해 VectorCAST는 Qt5의 최소 요구사항을 따릅니다.
GNU C Library (glibc) 2.17 버전 이상
Kernel 3.10.0 버전 이상
이러한 종속성은 필수가 아니라 Qt5 구동 기능을 수행하는 경우에만 필요합니다.
Linux 배포판에 따라 다음의 패키지가 필요할 수 있습니다.
SUSE 기반 배포판 (e.g., SLES 또는 OpenSUSE):
libxcb-image0
libxcb-keysyms1
libxcb-randr0
libxcb-render0
libxcb-render-util0
libxcb-shape0
libxcb-shm0
libxcb1
libxcb-sync1
libxcb-util1
libxcb-xfixes0
libxcb-xinerama0
libxcb-xinput0
libxcb-xkb1
RedHat 기반 배포판 (e.g., RHEL, CentOS, Oracle Linux):
libxcb
xcb-util
xcb-util-image
xcb-util-keysyms
xcb-util-renderutil
Ubuntu/Debian 기반 배포판:
libxcb1
libxcb-image0
libxcb-keysyms1
libxcb-randr0
libxcb-render0
libxcb-render0-util0
libxcb-shape0
libxcb-shm0
libxcb-sync1
libxcb-util1
libxcb-xfixes0
libxcb-xinerama0
libxcb-xinput0
libxcb-xkb1
VectorCAST/C++
C/C++ 유닛 및 통합 테스트
VectorCAST/C++ 는 임베디드 개발자가 기능과 안전을 최우선으로 하는 임베디드 시스템을 검증하는데 필요한 자동화된 유닛 및 통합 테스트 솔루션입니다.
VectorCAST/Ada
Ada 유닛 및 통합 테스트
VectorCAST/Ada 는 임베디드 개발자가 기능과 안전을 최우선으로 하는 임베디드 시스템을 검증하는데 필요한 Ada 유닛 테스팅과 통합 테스팅을 자동화하는 동적 소프트웨어 테스트 솔루션입니다.
VectorCAST/QA
시스템 테스트 자동화/코드 커버리지
소프트웨어 사업에서 가장 중요한 과제 중 하나는 새로운 기능의 상용화를 앞당기는 것입니다. 대부분의 기업들은 출시 준비 중인 새로운 기능에 대한 백로그를 가지고 있습니다. 하지만 출시에 가장 큰 걸림돌은 출시 버전에 대한 전체 시스템 테스트입니다. 이에 수일 또는 수 주가 걸릴 수도 있습니다. 긴 테스트 시간의 원인은 소프트웨어를 수정 또는 변경한 후, 통합하는데 수 주가 소요된 다음에 테스트를 수행하여 결함 발견이 개발 최종 단계에서 이루어지는 악순환입니다. 그 때문에 출시가 지연되여 새로운 기능을 빨리 사용하고자 하는 고객의 요구를 맞추기 어렵습니다. VectorCAST/QA는 팀원들이 테스트 업무를 협업할 수 있게 하여, 테스트 시간을 줄이고 항상 최신의 테스트 결과를 유지합니다.
TESTinsights
테스트 결과 데이터 공동 분석
TESTinsights는 소프트웨어 평가 결과와 프로젝트 맴버간의 협업으로 수행된 소프트웨어 검증 활동을 기록하고 저장하여 VectorCAST의 활용도를 높여 줍니다. 프로젝트 맴버들은 검증 결과 데이터를 웹 대쉬보드에서 확인할 수 있어, 개개인이 다양한 관점에서, 다양한 수준으로 결과를 분석하여 소프트웨어 품질에 대한 통찰력을 얻을 수 있습니다.
VectorCAST/Coupling
데이터/제어 결합도(Data/Control Coupling) 검증
VectorCAST/Coupling은 C 및 C++ 소스 파일에 대한 데이터 결합도 및 제어 결합도 검증을 위한 자동화된 분석 및 탐침 삽입 기능을 제공하며 기존 VectorCAST/QA 프로젝트 또는 구버전 VectorCAST Cover 환경과 함께 사용됩니다. 결합도 검증은 RTCA DO-178B 및 DO-178C에 따라 안전이 중요한 항공 전자공학 소프트웨어 개발에 필요합니다. 이 도구는 정적 분석의 조합을 사용하여 코드 기반의 결합도를 식별하고, 어플리케이션 실행 중 런타임으로 결합도를 검증하여 DO-178B/C의 결합도 요구사항을 지원합니다.
다운로드
뉴스 & 이벤트
컴파일러 & 디버거
VectorCAST는 산업표준에 따라 다양한 C, C++, Ada 컴파일러를 지원합니다.
C, C++의 경우 VectorCAST는 사용 중인 컴파일러에 맞게 사용자가 구성할 수 있습니다. 사용중인 컴파일러가 지원되는 C/C++ 컴파일러 목록에 없는 경우 컴파일러에 대한 컴파일 및 링크 명령만 구성하면 됩니다.
모든 VectorCAST/Ada에서 생성된 테스트 하네스 구성 요소는 컴파일러를 사용하여 자동으로 컴파일되고 연결됩니다. 또한, 디버거의 통제 하에 테스트케이스를 실행할 수 있도록 컴파일러의 디버거에 대한 인터페이스도 제공됩니다. 이를 위한 추가 구성은 필요하지 않습니다.
검증 패키지
항공, 철도, 산업, 자동차, 의료용 툴 검증 패키지
DO-178B 및 DO-178C 용 VectorCAST 툴 검증 패키지에는 프로젝트를 DO-178B/ED-12B 또는 DO-178C/ED-12C 표준에 따라 검증할 수 있도록 툴 검증 문서, 테스트 사례 및 절차가 포함되어 있습니다. 이 패키지에는 DO-330에서 요구하는 기타 문서와 함께 TOR(Tool Operational Requirements) 문서와 TQD(Tool Qualification Document) 문서가 포함되어 있습니다. 이 패키지를 통해 개발자는 VectorCAST를 사용하여 개발한 임베디드 시스템의 인증을 간소화할 수 있습니다.
IEC 61508, ISO 26262, EN 50128, FDA, IEC 62304 용 VectorCAST 툴 검증 패키지는 IEC 61508, ISO 26262, EN 50128, FDA , IEC 62304 표준을 기반으로 하는 프로젝트에서 VectorCAST를 사용하는 데 도움이 되는 문서, 인증서 및 템플릿을 제공합니다. 이 패키지에는 어플리케이션 별 검증 워크플로우가 문서화되어 이를 기반으로 TÜV SÜD의 인증서와 보고서가 포함되어 있습니다. VectorCAST 툴 검증 패키지를 통해 여러 표준을 입증할 수 있습니다.
툴 통합
IBM® Rational® ClearCase®
IBM Rational ClearCase는 완전한 소프트웨어 구성관리(SCM)를 제공하여 정교한 제어, 작업 공간 관리, 병렬적으로 개발 지원을 하며 생산성을 향상시킵니다.
Polarion®
Polarion 소프트웨어는 제품 수명 주기 전체에 걸쳐 요구사항 관리, 테스트 관리, 품질 보증(QA), AML을 위한 웹 기반의 솔루션을 개발하고 팝매합니다. Polarion 솔루션은 제품 개발의 효율성을 향상시키고 조직의 위험을 식별 및 완화하고, 품즐을 개선하며 컴플라이언스 및 품질 표준을 달성하도록 돕습니다.
PTC®
PTC Integrity는 ARM(Application Lifecycle Management) 소프트웨어입니다. 팀끼리 제품 및 시스템 요구사항을 관리하고 폐루프 제품 검증을 가능하게 도와주며 글로벌 소프트웨어 개발을 가속합니다. PTC Integrity를 통해 최신의 제품 및 어플리케이션 개발과 관련된 복잡성을 해결할 수 있습니다.
Jama Software®
QA 전문가는 Jama Software를 통해 테스트케이스를 요구사항에 연결하고 테스트 계획을 실행하여 관련 결함을 기록합니다. 이를 통해 테스트 커버리지를 달성하고 품질을 향상시킬 수 있습니다. Jama Test Management는 요구사항 관리 및 협업 기능을 제공하여 테스트 및 품질 보증을 수행하는 엔지니어들과 제품 계획을 수행하는 비즈니스 분석가 사이에서 원활한 상호 작용을 도와줍니다
Intland Software
codeBeamer ALM은 전체적으로 통합된 어플리케이션 수명 주기 관리 플랫폼입니다. 수명 주기 전체에 걸쳐 요구사항부터 테스트 및 출시에 이르기까지 여러 기능이 긴밀하게 통합되어 있어 모든 팀과 프로세스를 효율적으로 조정하고 통합할 수 있습니다. codeBeamer ALM은 매우 빠르게 동작하고 확장성이 좋아서 Waterfall, Agile, Scale Agile 방법을 사용하는 모든 개발 프로세스 및 툴체인에 쉽게 적용 할 수 있습니다. 이를 통해 모든 개발 프로세스를 간소화하여 더 나은 제품을 빠르게 구축할 수 있습니다.
IBM Rational® Rhapsody®
IBM Rational Rhapsody IBM Rational Rhapsody는 실시간 및 임베디드 시스템과 소프트웨어를 개발하는 시스템 엔지니어 및 소프트웨어 개발자를 위한 협업 설계 및 개발 기능을 제공합니다. Rational Rhapsody는 다양한 팀끼리 협업하여 요구사항을 이해하는 것을 도와줍니다. 또한, 산업 표준 언어(UML, SysML, AUTOSAR, DodDAF, MODAF, UPDM)를 사용하여 복잡도를 시각적으로 추상화하고 개발 초기에 기능성을 검증하며, 혁신적인 고품질 제품의 제공을 자동화할 수 있도록 지원합니다.
MathWorks Simulink®
Simulink 는 다중 도메인 시뮬레이션 및 모델 기반 설계를 위한 블록 다이어그램 환경입니다. 시스템 레벨 설계, 시뮬레이션, 자동 코드 생성, 임베디드 시스템의 지속적인 테스트 및 검증을 지원합니다. Simulink는 동적 시스템을 모델링하고 시뮬레이션하기 위한 그래픽 편집기, 사용자 정의 가능한 블록 라이브러리와 솔루션을 제공합니다.
Atego Artisan Studio™
Artisan Studio 모델링 툴은 OMG UML과 SysML을 완벽하게 지원합니다. 시스템 및 소프트웨어 엔지니어가 위치에 관계없이 전체 팀에 요구사항, 설계 결정 및 대안을 전달할 수 있도록 일관된 고품질 모델을 만듭니다.
Esterel SCADE®
Esterel SCADE는 시스템 및 소프트웨어 엔지니어가 신뢰도 요구사항이 높은 중요한 시스템과 소프트웨어 어플리케이션을 그래픽으로 설계, 검증, 자동 생성할 수 있도록 하는 소프트웨어 개발 솔루션입니다. Esterel Technologies SCADE 제품 솔루션은 쉽게 통합되어 개발 최적화가 가능하고 팀 구성원 간의 커뮤니케이션이 용이합니다.
IBM Rational Team Concert®
IBM Rational Team Concert는 올인원 Agile 개발 환경을 제공함으로써 기업이 더 나은 소프트웨어 및 제품을 구축할 수 있도록 도와줍니다. Rational Team Concert는 협업 변경 관리 기능을 제공합니다. 이러한 기능은 별도로 제공되며 널리 사용되는 소스 제어 시스템과 통합될 수 있습니다. Rational Team Concert는 팀끼리 협업하여 보다 빠른 소프트웨어 제공할 수 있도록 도와줍니다.
Polarion® REQUIREMENTS™
Polarion REQUIREMENTS는 단일 웹 기반 플랫폼에서 요구사항 관리 및 테스트 관리를 모두 포괄하는 통합 협업 솔루션입니다. 이를 통해 추적성, 책임성, 투명성을 보장하고 표준을 준수할 수 있습니다.
IBM® Rational® DOORS®
IBM Rational DOORS는 복잡한 임베디드 시스템 개발에 최적화된 요구사항 관리 소프트웨어입니다. Rational DOORS를 사용하면 요구사항의 변경 사항을 캡처, 추적, 분석 및 관리하고 표준 준수를 입증 할 수 있습니다.
IBM® Rational® RequisitePro®
IBM Rational RequisitePro는 요구사항 관리 툴입니다. Rational RequisitePro을 통해 요구사항 관리, 우수 사례 작성, 추적성 개선, 협업 강화, 프로젝트 재작업 감소, 품질 개선을 할 수 있습니다.
Dassault Systèmes® Reqtify®
Reqtify는 전체 하드웨어 및 소프트웨어 개발 라이프 사이클에서 요구사항, 추적성, 영향 분석을 관리하기 쉽도록 사용하는 대화식 툴입니다. Reqtify 툴는 여러 소스에서 다양한 데이터 및 파일 형식을 캡처할 수 있습니다.
PTC®
PTC Intergrity는 모든 이해 관계자에게 개발 프로세스 전체의 요구사항 변경 사항을 지속적으로 알려줍니다. 개발자 및 기타 이해 관계자는 제품 라인 전체에 걸쳐 변경 사항이 구현되기 전에 변경사항이 미치는 영향을 쉽게 평가하고 해결하여 민첩성을 높이고 제품 품질을 개선하여 위험을 줄일 수 있습니다.
Jama Software®
Jama Software는 ene-to-end 제품 제공 및 요구사항 관리를 위한 솔루션을 제공합니다. 중앙 허브인 Jama 툴을 사용하여 팀은 모든 요구사항을 한 곳에서 캡쳐하여 관리할 수 있고 모든 것을 end-to-end 추적성 및 분석에 연결할 수 있습니다.
Intland Software codeBeamer
codeBeamer ALM은 전체 개발 수명 주기에 걸쳐 강력한 기능을 제공하는 협업 요구사항 관리 및 AMLM 툴입니다. 개발 프로세스 전반에 걸쳐 요구사항의 커버리지를 지정, 관리, 추적합니다. CodeBeamer는 Waterfall, Agile, Scale Agile 방법을 사용하는 모든 개발 프로세스 및 툴체인에 완벽한 end-to-end 추적성, 협업, 코드 및 테스트 커버리지를 제공합니다. 모든 툴 환경에 쉽게 통합할 수 있는 codeBeamer는 운영 중단 없이 확장 가능한 협업 플랫폼으로 개발 프로세스를 간소화하고 효율적으로 조정할 수 있습니다.
Jenkins®
Jenkins는 소프트웨어 프로젝트 작성이나 cron이 실행하는 작업 등 반복적인 작업의 실행을 모니터링하는 어플리케이션입니다. 그 중에서도 현재의 Jenkins는 다음의 두 가지 작업에 중점을 두고 있습니다.
- CruiseControl 또는 DamageControl처럼 소프트웨어 프로젝트를 지속적으로 빌드 및 테스트합니다. 간단히 말해서 Jenkins는 사용하기 쉬운 이른바 지속적인 통합 시스템을 제공하여 개발자가 프로젝트 변경 사항을 쉽게 통합하고, 사용자가 새로운 빌드를 쉽게 얻을 수 있도록 도와줍니다. 자동화되고 연속적인 빌드는 생산성을 향상시킵니다.
- cron 작업 및 procmail 작업과 같은 외부 실행 작업 (원격 시스템에서 실행되는 작업 포함)의 실행을 모니터링합니다. 예를 들어, cron을 사용하면 출력을 캡처하는 일반 이메일만 받을 수 있습니다. 이를 보고 언제 고장났는지 알아보려면 사용자가 지속적으로 관리를 해야합니다. Jenkins는 이러한 결과물들을 보관하여 무언가 잘못되었을 때 쉽게 알 수 있도록 도와줍니다.
Wind River® Simics®
Simics는 소프트웨어 개발 프로세스를 보다 빠르고 효율적으로 전환하여 기업의 생산성을 높이는 데 도움을 주는 전체 시스템 시뮬레이터입니다. VectorCAST와 함께 사용할 경우 개발자는 일 단위가 아닌 분 단위로 테스트를 완료할 수 있도록 대규모 병렬 테스트 인프라를 구축할 수 있습니다. VectorCAST와 Simics는 모든 소스 변경에 대해 모든 개발자가 테스트를 쉽게 실행할 수 있도록 하여 고품질의 하드웨어 및 소프트웨어 어플리케이션을 위한 솔루션을 제공합니다.
Simics와의 VectorCAST 통합은 Jenkins와 같은 Continuous Integration 서버 위에 위치하며, Simics 타겟에 대한 테스트 디스패치를 제어합니다. Simics를 통해 이러한 통합 접근 방식을 채택함으로써 테스트 복잡성 증가 및 제한된 하드웨어에서 발생하는 다양한 테스트 문제를 극복할 수 있습니다. 테스트를 위한 단일 제어 지점을 제공하므로 엔지니어가 전체 장치를 빠르고 쉽게 테스트할 수 있습니다. 이와 같은 통합 툴 체인은 수명 주기가 길고 복잡하거나 안전에 중요한 어플리케이션을 사용하는 엔지니어에게 특히 유용하게 쓰입니다.
Bamboo®
Bamboo는 코드 작성자부터 고객에 이르기까지 JiRA 문제를 해결하며 빌드 및 테스트를 실행하는 것 이상의 기능을 수행합니다. 프로젝트 관리자, 개발자 및 테스터 및 시스템 관리자에 이르기까지 문제, 커밋, 테스트 결과 및 배포를 연결하여 전체 제품 팀이 원하는 그림을 볼 수 있도록 합니다.
The Axivion Suite
Axivion Suite는 모든 Axivion 분석 툴을 제공합니다. Axivion Suite에는 정적 코드 분석 및 아키텍처 분석이 포함되어 있습니다. Axivion Suite는 MISRA, AUTOSAR C ++ 14, 메트릭과 같은 기존의 분석뿐만 아니라, 클론 및 연결할 수없는 코드를 자동으로 감지하여 프로젝트의 내부 코드 품질을 순수하게 유지하는 데 도움이됩니다. 클론, 사이클 또는 연결할 수없는 코드에 대한 이러한 추가 검사를 통해 개발 프로젝트에서 소프트웨어 부패을 방지할 수 있습니다.
RTOS 지원
VectorCAST는 모든 상업적 품질 real-time operating system (RTOS)를 지원하도록 설계되었습니다.
VectorCAST 런타임 지원 패키지 VectorCAST RSP는 대상 RTOS의 내부 네트워킹 기능을 사용하여 다운로드, 실행 및 결과 캡처가 가능하도록 통합된 기능을 제공합니다.
아래 표는 VectorCAST에서 지원하는 RTOS 샘플입니다. 이러한 RTOS는 여러 공급 업체에서 제공되며 다양한 상업적 또는 오픈 소스 조건에 따라 사용할 수 있습니다. 자세한 내용은 제공 업체의 웹 사이트를 참조하십시오.
INTEGRITY® | MQX™ | EUROS RTOS™ | ThreadX™ |
FreeRTOS™ | LynxOS™ | µC/OS™ | Windows® XP Embedded |
Hard Hat Linux™ | Neutrino® | RTEMS™ | embOS™ |
ELinOS | DSP/Bios™ | SafeRTOS® | VxWorks® 5.4, 6.x |
NEOS™ | Embedded Linux | Windows CE™ |
서비스
VectorCAST 서비스
VectorCAST의 서비스는 고객의 소프트웨어 품질 및 생산성을 향상시킬 수 있도록 업계 모범 사례(Best Practice)를 기반으로 방법론을 구현할 수 있게 도와줍니다. VectorCAST 서비스가 다른 전문 서비스 그룹과 차별화하는 것은 복잡한 테스트 환경에 대한 전문성입니다. 이를 바탕으로 고객이 소프트웨어 개발 및 반복 가능한 테스트 프로세스를 확립할 수 있도록 지원하는 동시에 고객 스스로 테스트를 수행할 수 있도록 멘토링하는 데 주력합니다.
교육
VectorCAST 워크샵
VectorCAST 워크샵은 VectorCAST에 대한 지식을 넓히거나 심화할 많은 기회를 제공합니다. 유닛 테스트 및 코드 커버리지 기본 개념을 이해를 할 수 있으며, VectorCAST 테스트 자동화 플랫폼을 사용하여 위 개념들을 활용하는 방법을 배울 수 있습니다.
