Niezawodność oprogramowania - Steve Maguire.pdf - Programowanie C++ - Matemmusi

SPIS TREŚCI

Spis treści

Przedmowa do wydania polskiego

Wstęp

Dwa najważniejsze pytania

Nazewnictwo

Rozdział 1. Hipotetyczny kompilator

Poznaj swój język programowania

Pożyteczne Narzędzie — Lint

To tylko kosmetyczne zmiany

Nigdy więcej błędów

Rozdział 2. Sprawdzaj samego siebie

Przypowieść o dwóch wersjach

Asercje

„Niezdefiniowane” oznacza „nieprzewidywalne”

Zagadkowe asercje

Kompatybilność kontrolowana

Gdy niemożliwe staje się możliwe

Nic o nas bez nas

Co dwa algorytmy, to nie jeden

Usuwaj błędy jak najwcześniej

Rozdział 3. Ufortyfikuj swoje podsystemy

Jest błąd, nie ma błędu

Zutylizuj swoje śmieci

Jestem już gdzie indziej

Kontroluj wykorzystanie pamięci

Spójrz na to, czego nie widać

Wybieraj rozsądnie

Szybki czy bezbłędny

Teraz lub później

D:\Roboczy\Niezawodność oprogramowania\9 po skladzie 1\!spistresci.doc

SPIS TREŚCI

Rozdział 4. Jak wykonuje się Twój kod

Uwiarygodnij swój kod

Przetestuj wszystkie rozgałęzienia

Żywotne znaczenie przepływu danych

Czy czegoś nie przeoczyłeś

Spróbuj, a polubisz

Rozdział 5. Niekomunikatywne interfejsy

getchar() zwraca liczbę, nie znak

realloc() a gospodarka pamięcią

Uniwersalny menedżer pamięci

Nieprecyzyjne parametry

Fałszywy alarm

Czytanie pomiędzy wierszami

101

Ostrzegaj przed niebezpieczeństwem

103

Diabeł tkwi w szczegółach

106

Rozdział 6. Ryzykowny biznes

109

int intowi nierówny

110

Nadmiar i niedomiar

114

„Projekt” czy „prawie projekt”

116

Po prostu robią, co do nich należy

118

Przecież to to samo

122

?: to także if

123

Precz z redundancją

126

Wysokie ryzyko, bez odwrotu

127

Przeklęta niespójność

131

Nie przypisuj zmiennym informacji diagnostycznych

133

Nie warto ryzykować

135

Rozdział 7. Dramaturgia rzemiosła

139

Szybkość, szybkość

140

Złodziej otwierający zamek kluczem nie przestaje być złodziejem

142

Każdemu według potrzeb

144

Nie uzewnętrzniaj prywatnych informacji

146

Funkcje-pasożyty

148

Programistyczne śrubokręty

151

Syndrom APL

153

Bez udziwnień, proszę

154

Na śmietnik z tymi wszystkimi trikami

156

Rozdział 8. Reszta jest kwestią nawyków

161

Hokus-pokus, nie ma błędu

161

Zrób dziś, co masz zrobić jutro

163

Doktora!!!

164

Jeśli działa, nie poprawiaj

165

Funkcja z wozu, koniom lżej

167

Elastyczność rodzi błędy

167

Spróbuj

169

Święty Harmonogram

170

„Tester” — nazwa w sam raz dla testera

171

D:\Roboczy\Niezawodność oprogramowania\9 po skladzie 1\!spistresci.doc

SPIS TREŚCI

Programista zawinił, testera powiesili

173

Zdefiniuj swe priorytety

174

Epilog

179

Dodatek A. Lista kontrolna kodowania

181

Dodatek B. Podprogramy zarządzania pamięcią

187

Dodatek C. Odpowiedzi

195

D:\Roboczy\Niezawodność oprogramowania\9 po skladzie 1\!spistresci.doc

SPIS TREŚCI

D:\Roboczy\Niezawodność oprogramowania\9 po skladzie 1\!spistresci.doc

PRZEDMOWA DO WYDANIA POLSKIEGO

Przedmowa

do wydania polskiego

Z błędami programistycznymi jest trochę tak, jak z potworem z jeziora

Loch Ness — nikt go tak naprawdę nie widział, co wcale nie upoważnia do

kategorycznego wnioskowania o jego nieistnieniu; gdyby jednak komuś

udało się zaobserwować go choć raz (i oczywiście fakt ten

udokumentować), potwór przestałby być potworem, stając się kolejną

pozycją w hierarchii Regnum Zoa i nie wzbudzając odtąd żadnych

sensacji. Na tej samej zasadzie żaden program nie jest bezbłędny, nawet

jeżeli wydaje się być takowym z bardzo dużym prawdopodobieństwem,

bezspornie udowodnić można bowiem jedynie istnienie błędów, nigdy zaś

ich brak.

W przeciwieństwie do legendarnego potwora, błędy programistyczne

nie mają żadnego posmaku sensacji, za to niosą ze sobą całkiem realne

— i poważne — konsekwencje, w postaci straconego czasu, nadwerężonej

reputacji twórców oprogramowania, zmarnowanych pieniędzy, a nawet

nadszarpniętego zdrowia. Skoro więc zdecydowaliśmy się powierzyć

komputerom i informatyce najważniejsze z aspektów naszego życia

doczesnego, musimy jednocześnie wypracować rozwiązania chroniące nas

przed owymi konsekwencjami. Niewystarczające okazują się tu

rozwiązania oczywiste, jak wytężona uwaga programistów, szczególna

staranność w wykonywaniu pracy itp.; wszystko to rzecz jasna jest jak

najbardziej pożądane, lecz musi być dodatkowo wsparte stosowną

metodologią tworzenia oprogramowania. Klasyczne ujęcie algorytmiczne,

z rzeczywistym problemem na jednym biegunie, a sformalizowanym

opisem jego rozwiązania na drugim, musi być uzupełnione trzecim

elementem — owym demonem ludzkiej omylności, odciskającym swe

piętno na adekwatności wspomnianego opisu.

D:\Roboczy\Niezawodność oprogramowania\9 po skladzie 1\r00-1.doc

Niezawodność oprogramowania - Steve Maguire.pdf

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika: