Dependable Software

13 years 6 months ago

Download se.ethz.ch

Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW Everyone who uses software or relies on devices or processes that use software -- in other words, everyone -- has a natural interest in guarantees that programs will perform properly. The following pages provide a review of techniques to improve software quality. There are many subcultures of software quality research, often seemingly sealed off from each other; mentioning process-based approaches such as CMMI to programming language technologists, or tests to people working on proofs, can be as incongruous as bringing up Balanchine among baseball fans. This survey disregards such established cultural fences and instead attempts to include as many as possible of the relevant areas, on the assumption that producing good software is hard enough that "every little bit counts" [60]. As a result we will ...

Bertrand Meyer

Real-time Traffic