Quality in Aviation Software
Quality in Aviation Software
Quality in Aviation Software
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Verification activities (V‐Model right side)<br />
Requirements<br />
High-level Design<br />
Low-level Design<br />
HW / SW<br />
<strong>in</strong>tegration<br />
Integration<br />
Test<strong>in</strong>g<br />
Test<strong>in</strong>g<br />
Demonstrate that the<br />
functional requirements<br />
have been met.<br />
Exercise the<br />
component <strong>in</strong>terfaces<br />
Cod<strong>in</strong>g /<br />
Implementation<br />
Test<strong>in</strong>g<br />
Compiler debugg<strong>in</strong>g<br />
Static Analysis<br />
Code Inspection (human /<br />
peer review)<br />
Unit Test (does the code<br />
match the detailed design)