Testwell CTC ++

제품특징

Testwell CTC++은 C, C++, Java 및 C# 등 모든 언어를 위한 코드 커버리지 도구입니다.

모든 임베디드 타겟 및 호스트의 코드 커버리지 측정 및 주요 코드 검사가 가능하며,

C, C++ 코드에 대한 강력한 코드 커버리지 측정을 위하여 동적 및 정적 분석을 실시합니다.

Standards

Verifysoft 는 개발 팀이 DO-178C, EN61508, EN62304m ISO26262 등 표준 규격 및 문서 요구 사항을 준수하도록 소프트웨어 테스트 및 분석을 위한 검증된 도구를 제공합니다.

Functional tests

기능 테스트는 소프트웨어(또는 시스템)의 동작이 요구 사항 충족 여부를 확인하며, System Tests 및 Acceptance Tests에 주로 사용됩니다. 모델 기반 테스트를 사용하면 기능 테스트를 빠르게 진행할 수 있습니다.

Unit testing

Testwell CTC++은 다양한 단위 테스트(Unit test) 도구들과 통합되어 전체적인 소스코드 커버리지 테스트가 가능합니다. 효과적인 단위 테스트를 위하여 Testwell CTC++을 사용해보십시오.

Code coverage

Testwell CTC ++는 높은 수준의 코드 커버리지가 가능하기 때문에 항공, 자동차 및 의료 분야와 같은 중요한 소프트웨어 프로젝트의 코드 커버리지를 분석하는 데 사용되고 있습니다.

Code complexity

코드 복잡성(Code complexity)은 제품의 품질과 비용 절감에 직접적으로 관련되어 있습니다. Verifysoft Technology Complexity Metrics은 사용자가 복잡한 코드를 빠르게 찾을 수 있도록 지원합니다.

C++, Java 및 C# 등 모든 언어를 위한 코드 커버리지 도구 Testwell CTC++

견적문의

Testwell CTC++

자세히 보기

| C, C++, Java, C# support

Testwell CTC++은 C, C++, Java, C# 언어를 위한 테스트 커버리지 분석 도구입니다.

Testwell CTC++은 모든 컴파일러, 크로스 컴파일러(Cross-compilers) 및 임베디드 타겟 마이크로 컨트롤러(Microcontrollers)에서 사용할 수 있습니다.

단 하나의 라이선스로 이 모든 컴파일러를 수행할 수 있으며, Testwell CTC++를 새로운 컴파일러에서 적용시키기 위하여 추가 비용을 지불할 필요가 없습니다.

Testwell CTC++은 다음과 같은 컴파일러에 대한 기본 설정이 포함되어 있습니다.

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
LLVM  lang, clang++
 Apple  XCode ⌘
DargonEgg  – 
더 많은 컴파일러 지원목록

| Support of all embedded targets and microcontrollers

n-Target Code Coverage for all Embedded Targets and Microcontrollers
Testwell CTC ++는 임베디드 소프트웨어 코드 커버리지를 측정하기 위한 이상적인 도구입니다.
Testwell CTC ++ 테스트 커버리지 분석기(Test Coverage Analyser)는 모든 임베디드 타겟(아주 작은 단위, 제한된 메모리, 운영 체제가 없는 환경 등)에도 사용할 수 있습니다.

 

On-Target Code Coverage with Host-Target Add-on
Testwell CTC ++의 Host-Target Add-on(HOTA)은 타겟에 대한 크로스 컴파일러, 테스팅, 호스트로 커버리지 데이터 가져오기 등 다양한 기능을 제공합니다.

 

Bitcov Add-on for Targets with very limited Memory
사용 가능한 메모리가 매우 제한적일 경우 Testwell CTC++ Bitcov Add-on은 오버헤드(Overhead)를 대폭 줄임으로써 최소 단위에 대한 코드 커버리지가 가능하게 합니다.

| Analyses for all coverage levels up to MC/DC and MCC Coverage

Testwell CTC++는 호스트 및 모든 임베디드 타겟 및 매우 작은 시스템을 포함한 마이크로 컨트롤러(Microcontrollers)에서 코드 커버리지를 측정하기 위한 뛰어난 도구입니다.

 

Testwell CTC++은 아래와 같은 커버리지 레벨을 지원합니다.

·  Statement Coverage

·  Function Coverage

·  Decision Coverage / Branch Coverage

·  Condition Coverage

·  Modified Condition/Decision Coverage (MC/DC)

·  and even for Multicondition Coverage (MCC)

완벽한 임베디드 테스트를 위하여 Testwell CTC++을 경험해보세요!

견적문의

| Compliant for safety critical development

Testwell CTC++는 개발 팀이 DO-178C, EN61508, EN62304m ISO26262 등 Mission critical분야의 표준 규격 및 문서 요구 사항을 준수하도록 소프트웨어 테스트 및 분석을 위한 다양한 기능을 제공합니다.

 

Testwell CTC++은 안전 표준을 지원합니다.

·  DO-178C all levels (DAL A, DAL B, DAL C, …)

·  ISO 26262 all levels (ASIL A, ASIL B, ASIL C, ASIL D)

·  IEC 61508 all levels (SIL 1, SIL 2, SIL 3, SIL 4)

·  EN 50128 all levels (SIL 0, SIL 1, SIL 2, SIL 3, SIL 4)

·  IEC 60880

·  IEC/EN 62304

| Tool Qualification Kit available

Verifysoft는 안전 표준인 ISO 26262, IEC 61508, EN-50128 및 DO-178C을 기반으로 하는 프로젝트를 위하여 Testwell CTC++ 테스트 커버리지 분석기를 통하여 검증 문서, 테스트 케이스 및 절차를 제공하는 Testwell CTC++ Qualification Kit를 제공합니다.

 

Testwell CTC++ Qualification Kit은 다음과 같이 구성되어 있습니다.

·  문서 생성을 위한 기능 : Tool Classification Report, Tool Qualification Plan/Report, Tool Safety Manual, Test Plan

·  The test automation unit

·  The test suite with test cases.

·  The user manual of the qualification kit

 

Testwell CTC++ Qualification Kit은 자동차 및 항공 우주 분야의 핵심 기업에 도입되어 최고의 장비를 만드는데 이미 사용되고 있습니다.

Qualification Kit Certificate 확인

항공우주, 국방, 자동차 등 Mission Critical 소프트웨어 안전 인증을 위한 Testwell CTC

견적문의

Testwell CTC++ Sectors

Testwell CTC++은 다양한 Mission critical 분야의 안전성 표준 검증에 사용되고 있습니다.

DO178-C 코드 커버리지 요구 사항 준수

ISO 26262 및 IEC 61508의 코드 검사 요구 사항 준수

IEC 61508의 코드 검사 요구 사항 준수

IEC/ISO 62304 프로젝트에서 정적 코드 분석 수행

IEC 62279 / EN 50128의 코드 검사 요구 사항 준수

IEC 61508 및 IEC 60880의 코드 검사 요구 사항 준수

Verifysoft Technology Solutions

Verifysoft Technology는 IT, ICT 서비스 및 컨설팅 업체들을 위하여 다양한 솔루션을 제공하고 있습니다.
각 Mission critical 분야에 사용 가능한 제품 목록과 Academic program을 확인해보십시오.

IT Services / ICT Services and Consulting

Verifysoft의 솔루션 서비스는 고객의 품질과 생산성을 향상시키는데 도움이 됩니다.
Verifysoft 테스트 솔루션은 DO 178-C / ED-12C (항공&우주), IEC 61508 (전자 제어 시스템), ISO 26262 (자동차), EN 50128 (철도), IEC 62304 (의료), IEC 60880 (원자력) 등의 산업 표준을 준수하는 다양한 솔루션 서비스를 제공하고 있습니다.

Veriftsoft 제품 확인

Academic program

Verifysoft는 학생 및 강사진에게 무료로 최고의 기술을 제공합니다.
Verifysoft의 교육 프로그램은 Testwell CTC++ 외에도 Testwell CMT++, Testwell CMTJava 및 GrammaTech CodeSonar® 등 모든 제품을 다루고 있습니다.
Verifysoft는 Research & Education 분야에서 Testwell CTC++가 널리 사용될 수 있도록 무료 라이선스, 교육, 세미나 등 다양한 서비스를 제공하고 있습니다.

Acadamic program 확인