Testwell CTC++ 는 C, C++, Java 및 C# 등 모든 언어를 위한 코드 커버리지 도구입니다. 모든 임베디드 타겟 및 호스트의 코드 커버리지 측정 및 주요 코드 검사가 가능하며, 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, C# 언어를 위한 테스트 커버리지 분석 도구입니다.
모든 컴파일러, 크로스 컴파일러(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 ⌘
|
Testwell CTC ++는 임베디드 소프트웨어 코드 커버리지를 측정하기 위한 이상적인 도구입니다. 테스트 커버리지 분석기(Test Coverage Analyser)는 모든 임베디드 타겟(아주 작은 단위, 제한된 메모리, 운영 체제가 없는 환경 등)에도 사용할 수 있습니다.
Host-Target Add-on(HOTA)은 타겟에 대한 크로스 컴파일러, 테스팅, 호스트로 커버리지 데이터 가져오기 등 다양한 기능을 제공합니다.
사용 가능한 메모리가 매우 제한적일 경우 Bitcov Add-on은 오버헤드(Overhead)를 대폭 줄임으로써 최소 단위에 대한 코드 커버리지가 가능하게 합니다.
Testwell CTC++은 다양한 Mission critical 분야의 안전성 표준 검증에 사용되고 있습니다.
IEC/ISO 62304 프로젝트에서 정적 코드 분석 수행
ISO 26262 및 IEC 61508의 코드 검사 요구 사항 준수
DO178-C 코드 커버리지 요구 사항 준수
IEC 62279 / EN 50128의 코드 검사 요구 사항 준수
IEC 61508 및 IEC 60880의 코드 검사 요구 사항 준수
IEC 61508의 코드 검사 요구 사항 준수
