Aerospace and Defence
Guide

Static analysis of Ada 95 source code

1 Sections

Coding standards provide a preferred subset of even a safe programming language like Ada. This video shows the automated application of an Ada coding standard, and its relationship with other verification and validation techniques including the static analysis, structural coverage, and unit test techniques demanded by DO-178C and other functional safety standards.

REGISTER FOR FREE OR REQUEST LINK

Static analysis of Ada 95 source code

Pen
risus. dolor Sed elit. id vulputate, tristique libero vel, mattis