Testwell CTC ++
Software Testing Solutions for Productivity and Quality
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은 사용자가 복잡한 코드를 빠르게 찾을 수 있도록 지원합니다.
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
On-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++은 아래와 같은 커버리지 레벨을 지원합니다.
Compliant for safety critical development
Testwell CTC++는 개발 팀이 DO-178C, EN61508, EN62304m ISO26262 등 Mission critical분야의 표준 규격 및 문서 요구 사항을 준수하도록 소프트웨어 테스트 및 분석을 위한 다양한 기능을 제공합니다.
Testwell CTC++은 안전 표준을 지원합니다.
Tool Qualification Kit available
Verifysoft는 안전 표준인 ISO 26262, IEC 61508, EN-50128 및 DO-178C을 기반으로 하는 프로젝트를 위하여 Testwell CTC++ 테스트 커버리지 분석기를 통하여 검증 문서, 테스트 케이스 및 절차를 제공하는 Testwell CTC++ Qualification Kit를 제공합니다.
Testwell CTC++ Qualification Kit은 다음과 같이 구성되어 있습니다.
Testwell CTC++ Qualification Kit은 자동차 및 항공 우주 분야의 핵심 기업에 도입되어 최고의 장비를 만드는데 이미 사용되고 있습니다.
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 (원자력) 등의 산업 표준을 준수하는 다양한 솔루션 서비스를 제공하고 있습니다.
Academic Program
Verifysoft는 학생 및 강사진에게 무료로 최고의 기술을 제공합니다.
Verifysoft의 교육 프로그램은 Testwell CTC++ 외에도 Testwell CMT++, Testwell CMTJava 및 GrammaTech CodeSonar® 등 모든 제품을 다루고 있습니다.
Verifysoft는 Research & Education 분야에서 Testwell CTC++가 널리 사용될 수 있도록 무료 라이선스, 교육, 세미나 등 다양한 서비스를 제공하고 있습니다.