Promotional Information

This volume discusses the technical verification and validation steps of a certifiable software application upward cycle

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

About the Author

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.