Be Safe, be effective in your software development practices. A day’s presentation of Code Coverage and Static Analysis tools presented by SCL in co-operation with our partners Grammatech and Verifysoft.

You’re under pressure to develop software and devices faster and cheaper. Eliminate tough to find bugs and ensure code coverage.  Register now for our Embedded Software Testing Day: Code Coverage and Static Analysis presented by SCL in cooperation with our partner Verifysoft.

Code Coverage

Errors in embedded software can be life-threatening. With no margin for error, you’ll need a rigorous approach to comply with industry safety standards – including DO-178C (aviation), ISO 26262 (automotive) and EN 50128 (railway) – in your software development.

That demands significant software testing and proof of code coverage. We’ll show you how to face up to the challenge of small embedded targets,  drastically reducing the requirement for additional RAM memory, with technology used by BMW, Thales, Airbus, Audi, Bosch, Tom-Tom and many others.

Topics covered:
• 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 Analysis

Static analysis software can help you quickly detect defects such as data races, deadlocks, buffer overruns, leaks, null-pointer de-references, uses of uninitialized variables, and other security vulnerabilities that are famously tough to find. We’ll show you how to use  GrammaTech’s CodeSonar static analysis software to find critical coding defects with a low false positive rate.

Topics covered
• 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

When and Where

When: 30 September 2014 at 10:00 prompt – 16.30

Where: The Royal London Exchange, London EC3V 3LN

Draft Agenda
10.00 – 10.15  Registration / Coffee
10.15 – 12.15   Static Code Analysis: Impact and potential
12.15 – 12.30  Customer examples / Q&A
1.30 – 3.30     Code Coverage: Optimum approaches to testing, relating practical experiences
3.30 – 3.45      Break
3.45 – 4.30    Customer Examples / Q&A / Next steps

Cost of Event:  Free-of-charge