Certifiable Software Applications 4
Upward Cycle
- 1st Edition - December 1, 2019
- Latest edition
- Author: Jean-Louis Boulanger
- Language: English
Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integ… Read more
Purchase options
Early spring sale
Nurture your knowledge
Grow your expertise with up to 25% off trusted resources.
Description
Description
Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integration and validation of associated environments. Each check is explained through examples (checklist, scheduling policy, metric, etc.), and the book examines the fault analysis process that must accompany the production of the final version of the software plug.
Key features
Key features
- 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
Readership
Readership
Researchers, scientists, post-graduate students
Table of contents
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 Anomalies11. Safety Analysis Software
12. Software Version Sheet
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 Anomalies11. Safety Analysis Software
12. Software Version Sheet
Product details
Product details
- Edition: 1
- Latest edition
- Published: December 31, 2045
- Language: English
About the author
About the author
JB
Jean-Louis Boulanger
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.
Affiliations and expertise
Independent Safety Assessor (ISA) in the railway domain focusing on software elements