Certifiable Software Applications 4

Download or read book Certifiable Software Applications 4 written by Jean-Louis Boulanger and published by Iste Press - Elsevier. This book was released on 2017-12-01 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: Certifiable Software Applications volume 4 aims to present the upward phase of the development of a software application cycle. We will present for the tests aspects each unit level, integration and validation and the associated environments. The checks will be explained through examples (checklist, scheduling policy, metric, ...). Finally, we will present the fault analysis process that must accompany the production of the final version of software plug. V and V (Validation and Verification) Static and Dynamic Verification Proof and Abstract Interpretation