Achieving Quality Software: Including Its Application to Safety-Related Systems

ISBN-13: 9780412622700 / Angielski / Miękka / 1995 / 304 str.

D. Smith; David J. Smith

Opis

This edition provides a comprehensively updated and enhanced review of current quality methods and standards. It outlines causes of failure, current practice and standards and suggests an ideal approach to software control at each stage of the design cycle. The emphasis of this new edition has shifted towards safety critical software.

Spis treści

Foreword. Preface. Acknowledgements. Part One: The background to software engineering and quality. 1. The meaning of quality in software. 2. Software failures and the life cycle. 3. Integrity and the safety life cycle. Part Two: Guidance, legislation and liability. 4. Legislation and liability. 5. Current standards and guidelines. 6. Certification and competence. Part Three: Achieving quality software. 7. The traditional approach. 8. Formal methods in requirements. 9. Formal methods in design. 10. Review and test. 11. Static analysis. 12. Languages and their processors. 13. Achieving fault tolerance in design. Part Four: Management issues. 14. Software management issues. 15. Metrics and modelling. Part Five: Case study. 16. Software system design exercise - addressable detection system. Appendix 1: Checklists. Appendix 2: Glossary of terms and abbreviations. Appendix 3: Bibliography and references. Index.

O autorze

David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecommunications industries, for over 20 years and is well known for his courses and workshops on these subjects. He currently runs his own consultancy.