Achieving Quality Software

Including Its Application to Safety-Related Systems

Specificaties
Paperback, 287 blz. | Engels
Springer Netherlands | 3e druk, 2012
ISBN13: 9789401042437
Rubricering
Springer Netherlands 3e druk, 2012 9789401042437
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis­ advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir­ cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.

Specificaties

ISBN13:9789401042437
Taal:Engels
Bindwijze:paperback
Aantal pagina's:287
Uitgever:Springer Netherlands
Druk:3

Inhoudsopgave

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.

Rubrieken

    Personen

      Trefwoorden

        Achieving Quality Software