Testwell CTC++ 는 C, C++ 및 Java 등 모든 언어를 위한 코드 커버리지 도구입니다. 모든 임베디드 타겟 및 호스트의 코드 커버리지 측정 및 주요 코드 검사가 가능하며, C, C++ 코드에 대한 강력한 코드 커버리지 측정을 위하여 동적 및 정적 분석을 실시합니다.
Verifysoft의 Testwell CTC++ 는 개발 팀이 DO-178C, EN61508, EN62304m ISO26262 등 표준 규격 및 문서 요구 사항을 준수하도록 소프트웨어 테스트 및 분석을 위한 검증된 도구를 제공합니다.
기능 테스트는 소프트웨어(또는 시스템)의 동작이 요구 사항 충족 여부를 확인하며, System Tests 및 Acceptance Tests에 주로 사용됩니다. 모델 기반 테스트를 사용하면 기능 테스트를 빠르게 진행할 수 있습니다.
Testwell CTC++ 는 다양한 단위 테스트(Unit test) 도구들과 통합되어 전체적인 소스코드 커버리지 테스트가 가능합니다. 효과적인 단위 테스트를 위하여 Testwell CTC++을 사용해보십시오.
Testwell CTC ++ 는 높은 수준의 코드 커버리지가 가능하기 때문에 항공, 자동차 및 의료 분야와 같은 중요한 소프트웨어 프로젝트의 코드 커버리지를 분석하는 데 사용되고 있습니다.
Verifysoft의 Testwell CTC++ 는 개발 팀이 DO-178C, EN61508, EN62304m ISO26262 등 표준 규격 및 문서 요구 사항을 준수하도록 소프트웨어 테스트 및 분석을 위한 검증된 도구를 제공합니다.
Testwell CTC++은 C, C++, Java 언어를 위한 테스트 커버리지 분석 도구입니다.
모든 컴파일러, 크로스 컴파일러(Cross-compilers) 및 임베디드 타겟 마이크로 컨트롤러(Microcontrollers)에서 사용할 수 있습니다. 단 하나의 라이선스로 이 모든 컴파일러를 수행할 수 있으며, 새로운 컴파일러에서 적용시키기 위하여 추가 비용을 지불할 필요가 없습니다.
다음과 같은 컴파일러에 대한 기본 설정이 포함되어 있습니다.
|
LLVM
|
lang, clang++
|
|---|---|
|
gcc and all gcc based cross-compilers
|
i586-mingw32msvc-gcc, x86_64-linux-gnu-gcc, m68k-palmos-coff-gcc, tricore-gcc, arm-linux-gnueabi-gcc, arm-none-eabi-gcc, arm-none-linux-gnueabi-gcc, arm-elf-gcc, arm-montavista-linux-gnueabi-gcc, pic30-gcc, pic32-gcc, avr-gcc, xc16-gcc, mlx16-gcc, thumb-epoc-pe-gcc, arm4-epoc-pe-gcc, armv-epoc-pe-gcc, powerpc-wrs-linux-gnu-e500v2-glibc_small-gcc, *-gcc, *-*-gcc, *-*-*-gcc
|
|
IAR compilers and toolchains
|
ccm16c, icc430, icc8051, iccarm, iccavr, iccavr32, icccf, icchcs12, iccmaxq, iccdspic, iccpic18, icccr16c, icc78k, icc78k0r, iccv850, icch8, iccm32c, iccr32c, iccsam8, iccrx,iccmk8, iccstm8, iccrl78
|
|
ARM
|
DS-5,Keil MDK-ARM
|
|
Microchip MPLAB C Compiler
|
pic30-gcc, pic32-gcc
|
|
HI-Tech PICC compilers (Windows and Linux)
|
picc, picc18, picc32, dspicc, xc16-gcc, xc32-gcc
|
|
Apple
|
XCode ⌘
|
Verifysoft는 안전 표준(ISO 26262, IEC 61508, EN-50128, DO-178C)을 준수하는 프로젝트를 위해 Testwell CTC++ 테스트 커버리지 분석기와 함께 검증 문서, 테스트 케이스 및 절차를 제공하는 Qualification Kit를 지원합니다.
이 키트는 임베디드 시스템에서의 테스트 커버리지 분석 인증 절차를 간소화하며, 사용자는 프로젝트 요구에 따라 툴 검증 키트의 아티팩트를 수정할 수 있습니다. 현재 9.x 버전까지 지원되며, 특히 안전이 중요한 프로젝트의 경우 TÜV Süd Rail GmbH의 인증서가 제공됩니다.
Testwell CTC++ 10.0 버전부터 TÜV Süd의 인증을 획득하여, 사용자가 추가적인 도구 검증 없이 안전성이 요구되는 개발 프로젝트에 CTC++를 바로 적용할 수 있게 되었습니다. Verifysoft는 TÜV 인증서와 함께 Safety-Package를 제공하며, 이를 통해 안전 매뉴얼과 알려진 버그 목록 등 안전 관련 문서에 쉽게 접근할 수 있습니다.
Testwell CTC ++는 임베디드 소프트웨어 코드 커버리지를 측정하기 위한 이상적인 도구입니다. 테스트 커버리지 분석기(Test Coverage Analyser)는 모든 임베디드 타겟(아주 작은 단위, 제한된 메모리, 운영 체제가 없는 환경 등)에도 사용할 수 있습니다.
Host-Target Add-on(HOTA)은 타겟에 대한 크로스 컴파일러, 테스팅, 호스트로 커버리지 데이터 가져오기 등 다양한 기능을 제공합니다.
사용 가능한 메모리가 매우 제한적일 경우 Bitcov Add-on은 오버헤드(Overhead)를 대폭 줄임으로써 최소 단위에 대한 코드 커버리지가 가능하게 합니다.
HTML 보고서를 통해 개요 보기와 소스 코드 커버리지 측정의 세부 정보를 확인할 수 있으며, 리포트수준을 프로젝트에 맞게 구성할 수 있습니다. Testwell CTC++는 템플릿을 기반으로 모든 커버리지 보고서를 생성하여 XML, CSV 또는 JSON과 같은 모든 텍스트 기반 형식을 지원합니다.
누락된 커버리지는 Justifications를 통해 설명되고 문서화됩니다. Testwell CTC++는 Justifications가 각 커버리지 측정에 미치는 영향을 소스 코드 주석, 컴패니언 파일, 오버뷰 그룹 태그 및 설명에 연결하고 시각화하여, 코드가 100% 테스트되었는지 또는 적절하게 설명되었는지를 명확하고 투명하게 확인할 수 있도록 합니다.
Testwell CTC++은 다양한 Mission critical 분야의 안전성 표준 검증에 사용되고 있습니다.
IEC/ISO 62304 프로젝트에서 정적 코드 분석 수행
ISO 26262 및 IEC 61508의 코드 검사 요구 사항 준수
DO178-C 코드 커버리지 요구 사항 준수
IEC 62279 / EN 50128의 코드 검사 요구 사항 준수
IEC 61508 및 IEC 60880의 코드 검사 요구 사항 준수
IEC 61508의 코드 검사 요구 사항 준수
