Ebook: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools
- Tags: Electrical Engineering
- Year: 1989
- Publisher: Springer Netherlands
- Edition: 2
- Language: English
- pdf
During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.
Content:
Front Matter....Pages i-xvii
Front Matter....Pages 1-1
The Meaning of Quality in Software....Pages 3-11
Software Failures—Causes and Hazards....Pages 12-21
The Effect of the Software Life-cycle on Quality....Pages 22-29
Front Matter....Pages 31-31
The Traditional Approach to Software Quality....Pages 33-52
Current Standards and Guidelines....Pages 53-74
Front Matter....Pages 75-75
An Engineering Approach to Defining Requirements....Pages 77-93
Putting Design into an Engineering Context....Pages 94-108
A Structured Approach to Static and Dynamic Testing....Pages 109-142
Languages and Their Importance....Pages 143-157
Aspects of Fault Tolerance in Software Design....Pages 158-169
Front Matter....Pages 171-171
Software Project Management....Pages 173-189
Quality—Can it be Measured?....Pages 190-199
The Role of the Software Engineer....Pages 200-204
Front Matter....Pages 205-205
Software System Design Exercise— Addressable Detection System....Pages 207-208
Back Matter....Pages 209-283
Content:
Front Matter....Pages i-xvii
Front Matter....Pages 1-1
The Meaning of Quality in Software....Pages 3-11
Software Failures—Causes and Hazards....Pages 12-21
The Effect of the Software Life-cycle on Quality....Pages 22-29
Front Matter....Pages 31-31
The Traditional Approach to Software Quality....Pages 33-52
Current Standards and Guidelines....Pages 53-74
Front Matter....Pages 75-75
An Engineering Approach to Defining Requirements....Pages 77-93
Putting Design into an Engineering Context....Pages 94-108
A Structured Approach to Static and Dynamic Testing....Pages 109-142
Languages and Their Importance....Pages 143-157
Aspects of Fault Tolerance in Software Design....Pages 158-169
Front Matter....Pages 171-171
Software Project Management....Pages 173-189
Quality—Can it be Measured?....Pages 190-199
The Role of the Software Engineer....Pages 200-204
Front Matter....Pages 205-205
Software System Design Exercise— Addressable Detection System....Pages 207-208
Back Matter....Pages 209-283
....