Static analysis and structural coverage with Qt creator and the LDRA tool suite

See how the Qt creator IDE combines with the LDRA tool suite to automate dynamic analysis, to perform the static analysis necessary to confirm adherence to MISRA C++, and to generate the structural coverage metrics. These are key verification and validation practices whether the aim is to simply improve software quality, to meet functional safety standards such as IEC 61508, ISO 26262, IEC 62304 and DO-178C, or to meet cybersecurity standards including CWE, SAE J3061, and IEC 62443-4-1.

00:00 Introduction
00:50 Build Import
01:10 Rebuilding and Executing in Qt Creator
01:40 Viewing the results of the rebuild
02:00 Opening project in TBvision
03:00 Performing a code review to MISRA-C++:2008
03:15 Justifying Violations with the use of TBexclude
03:45 Viewing a MISRA-C++:2008 Report
04:40 Viewing Metrics such as the Cyclomatic Complexity
05:30 Configuring for the dynamic Analysis
06:00 Building and executing the instrumented code
06:45 Viewing the coverage from the first run
07:50 Building and executing the instrumented code again
08:49 Viewing the coverage from the second run