Certifiable Software Applications 4: Upward Cycle by Jean-Louis BoulangerCertifiable Software Applications 4: Upward Cycle by Jean-Louis Boulanger

Certifiable Software Applications 4: Upward Cycle

byJean-Louis Boulanger

Hardcover | December 1, 2018

Pricing and Purchase Info

$171.26 online 
$179.50 list price
Earn 856 plum® points

Prices and offers may vary in store

Quantity:

Pre-order online

Ships free on orders over $25

Not yet available in stores

about

Certifiable Software Applications 4: Upward Cyclepresents the upward phase of development of a software application cycle, including test aspects for each unit level, and integration and validation of associated environments. The checks are explained through examples (checklist, scheduling policy, metric, etc.). In addition, the book examines the fault analysis process that must accompany production of the final version of the software plug.



  • Presents the upward phase of development of a software application cycle
  • Examines the fault analysis process that must accompany production of the final version of the software plug
  • Provides tactics on V and V (Validation and Verification) Static and Dynamic Verification Proof and Abstract Interpretation
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.
Loading
Title:Certifiable Software Applications 4: Upward CycleFormat:HardcoverDimensions:300 pages, 9.41 × 7.24 × 0.98 inPublished:December 1, 2018Publisher:Elsevier ScienceLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1785481207

ISBN - 13:9781785481208

Look for similar items by category:

Reviews

Table of Contents

1. Verification and Validation of a Software Application
2. Test Strategy
3. Unit Testing, Modular Tests and Component Tests
4. Integration Tests
5. Environment and Host Target
6. Software Testing Sets
7. Checklist
8. Quality Control Code
9. Checking Programming Rules
10. Managing Anomalies
11. Safety Analysis Software
12. Software Version Sheet