Testwell CTC++ Test Coverage Analyser

Code Coverage and Static Code analysis on Embedded Targets

London, 30 september 2014

Verifysoft presents in cooperation with its partner SCL the Embedded Software Testing Day: Code Coverage and Static Analysis in London on 30. September 2014

Safety standards compliance in code coverage analysis on embedded targets
Errors in Embedded Software can cause life-threatening damage, especially inside of critical systems such as flight control, automotive systems, railway control, or medical equipment where no error margin are allowed. For that purpose, industry standards DO-178C (aviation), ISO 26262 (automotive) and EN 50128 (railway), require a lot of significant software testing, as well as the proof of the coverage of the code.
According to the criticality, developers and testers have to apply different levels of code coverage in order to prove that the software has been sufficiently tested.
The instrumentation of the code by the coverage analysis tool is unavoidable.
This requests a greater memory usage and several challenges are arising, because the amount of RAM and ROM memory available in embedded systems are per se limited.
You're invited to learn more about the standards requirements for critical software and discover how to fulfil them.
We will show you how to face up to the challenge of embedded compact target in reducing drastically the requirement for additional RAM memory. Our technology is used by BMW, Thales, Airbus, Audi, Bosch, Tom-Tom... References

Our topics:

  • Code Coverage on embedded targets
  • Security standards
  • Different Coverage levels
  • Practical example of a Code Coverage tool Testwell CTC++
  • Qualification Kit for Testwell CTC++ (DO178-C, ISO 26262, EN 50128, ...)

Static Code Analysis
The Static Code Analysis will be presented by SCL, which is Distributor of CodeSonar, a leading Static Code Analysis tool from GrammaTech.

Our topics:

  • Bug hunting with Static Code Analysis
  • Hazards of Multi-Core-Software: data Races are never harmless
  • Finding the Static Analysis Sweet Spot: Balance between false negatives and false positives
  • Visualizing Program Structure with Static Analysis
  • Practical example of Static Code Analysis Tool CodeSonar

Time and Date: 30 september 10-16h30 o'clock
Address: The Royal Exchange London, UK, EC3V 3LN

Draft Agenda:

  • Static Code Analysis - SCL
  • Code Coverage - Verifysoft
  • Handouts
  • Complementary snacks, drinks and lunch
> For more information please contact Polina Handzhiyska:
Phone: (0049) 781-127-8118-0

 

Free Registration

30 september 2014, London
Name:
Company:
Phone:
Email:
Address:
Comments:
  25 years Testwell CTC++

Developer © Monkey Business (Fotolia)

Developer © Monkey Business (Fotolia)

Testwell CTC++ Coverage Report

Testwell CTC++ Coverage Report

last updated: 26 June 2014
© 2014 Verifysoft Technology GmbH
Testwell CTA++, CTC++, CMT++ and CMTJava are products and trademarks of Verifysoft Technology GmbH, Offenburg (Germany)
Photos: Verifysoft Technology GmbH, Fotolia.com