VerifysoftTestwell CTC++ Test Coverage Analyser per C e C++ è un potente e semplice tool per il Code/Test Coverage Tool; evidenzia le parti di codice che sono state eseguite e quindi testate.
Due add-ons estendono le funzionalità di Testwell CTC++:

  • CTC++ for Java and Android add-on
  • CTC++ for C# add-on

Il tool permette analisi per tutti i livelli di copertura del codice come oggi viene richiesto nei progetti “critici” e contribuisce a garantirne la massima qualità. Testwell CTC + + può essere utilizzato con tutti i compilatori e cross-compilatori, il tutto con una sola licenza standard CTC ++.

testwell coverage reportTestwell CTC++ per tutti i livelli di copertura:

  • Statement Coverage
  • Function Coverage
  • Decision Coverage / Branch Coverage
  • Condition Coverage
  • Modified Condition/Decision Coverage (MC/DC)
  • Multicondition Coverage (MCC)

Testwell CTC ++ può essere utilizzato per ottenere certificazioni in ambito automotive, aerospazio, il trasporto ferroviario e le industrie mediche. Ad esempio DO-178B / DO-178C (tutti i livelli) della Federal Aviation Administration (FAA) / ED-12C di EUROCAE (Organizzazione europea per l’aviazione civile), ISO 26262, IEC 61508, EN 50128 e IEC / EN 62304.

Qualification Kit for DO-178C, EN-50128, IEC 61508 and ISO 26262

Verifysoft Technology released “Kit for Certification for CTC++” for quality standards such as DO-178C, EN 50128, IEC 61508 and ISO 26262. (For more information).

copertura

In-Target Code Coverage: Testwell CTC++ is the ideal tool for measuring code coverage on embedded target platforms and micro-controllers directly. In the followings the main features making CTC++ the only software con embedded world:

  • low overhead of the instrumentation added to native code for micro-controller and embedded platform;
  • it works also with low-resource target;
  • it works with any kind of compiler and cross-compiler.

testwell

Testwell CTC++ is simple to be used:

  • source code modification is not needed;
  • usage of already written design makefiles;
  • low overhead and high execution speed;
  • unique “coverage” tool for many development languages such as C, C++, C# and Java.