Qualität von Software und Softwaremodellen - uni-marburg
Qualität von Software und Softwaremodellen - uni-marburg
Qualität von Software und Softwaremodellen - uni-marburg
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Berühmte <strong>Software</strong>-Fehler<br />
‣ Airbus-Absturz Toulouse, 1994:<br />
– <strong>Software</strong>-Fehlverhalten ist mitverantwortlich für den Absturz<br />
eines A340 bei Toulouse, 7 Tote<br />
‣ Pentium-Bug, Intel, 1994:<br />
– spezielle Division verursachen Fehler <strong>und</strong> Kosten <strong>von</strong> knapp<br />
500 Mio. Dollar<br />
– seitdem: Einsatz <strong>von</strong> formaler Verifikation bei Intel<br />
‣ Deutsche Telekom, 1996:<br />
– durch Spezifikations- <strong>und</strong> <strong>Software</strong>fehler werden in 550<br />
Vermittlungsstellen falsche Gebühren berechnet. Dadurch<br />
Kosten <strong>von</strong> ca. 70 Mio. DM (geschätzt).<br />
6<br />
Thorsten Arendt: Seminar <strong>Qualität</strong> <strong>von</strong> <strong>Software</strong><br />
<strong>und</strong> <strong>Software</strong>modellen