Niezawodność oprogramowania HERMANN KOPETZ
Cena: 14,90 zł
WNT 1980 , str. 136, stan bdb- (przykurzona)
ISBN 83-204-0186-0
Tematem tej książki jest jedno z najważniejszych zagadnień dotyczących programowania maszyn i systemów liczących — wykrywanie i usuwanie błędów. Po wprowadzeniu podstawowych pojęć z teorii niezawodności podano w książce klasyfikację błędów oraz omówiono różne przedsięwzięcia, które należy podjąć na poszczególnych etapach rozwoju systemu oprogramowania, aby zminimalizować skutki występujących błędów.
Książka jest przeznaczona dla programistów, projektantów systemów przetwarzania informacji, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych.
Przedmowa
1 Wprowadzenie
2 Pojęcia podstawowe
2.1 Niezawodność
2.2 Programy i procesy
2.3 Poprawność, niezawodność oraz odporność oprogramowania .
3 Błędy
3.1 Pojęcie błędu
3.2 Klasyfikacja błędów
3.3 Opis poszczególnych rodzajów błędów
4 Struktura oprogramowania
4.1 Powiązania międzymodułowe
4.2 Powiązania wewnątrzmodułowe
4.3 Struktura a efektywność
4.4 Opis systemu
5 Wymagania funkcjonalne
5.1 Zawartość wymagań
5.2 Zmiany wymagań
5.3 Środki pomocnicze do opracowywania wymagań
6 Uwzględnienie niezawodności w projekcie systemu
6.1 Procesy sekwencyjne
6.2 Procesy równoczesne
6.3 Styl programowania
7 Weryfikacja oprogramowania
7.1 Sposoby testowania
7.2 Strategia testowania
7.3 Plan testowania
7.4 Analityczna weryfikacja programu
8 Ręczne usuwanie błędów
8.1 Ręczne rozpoznanie błędu
8.2 Środki pomocnicze do usuwania błędów
9 Automatyczne wykrywanie błędów
9.1 Analiza mechanizmu wykrywania błędów
9.2 Sposoby wykrywania błędów
9.3 Miejsca wykrywania błędów
10 Automatyczne usuwanie błędów
10.1 Maszynowe rozpoznawanie błędów
10.2 Zmiana konfiguracji systemu
10.3 Ponowny nietylkodlamoli start .
11 Konserwacja oprogramowania
11.1 Powody konserwacji oprogramowania
11.2 Czynniki wpływające na możliwość konserwacji
11.3 Konserwacja oprogramowania a jego złożoność
12 Zarządzanie realizacją niezawodnego oprogramowania
12.1 Trudności przy zarządzaniu oprogramowaniem
12.2 Planowanie
12.3 Kontrola
Literatura
Skorowidz terminologiczny
ISBN 83-204-0186-0
Tematem tej książki jest jedno z najważniejszych zagadnień dotyczących programowania maszyn i systemów liczących — wykrywanie i usuwanie błędów. Po wprowadzeniu podstawowych pojęć z teorii niezawodności podano w książce klasyfikację błędów oraz omówiono różne przedsięwzięcia, które należy podjąć na poszczególnych etapach rozwoju systemu oprogramowania, aby zminimalizować skutki występujących błędów.
Książka jest przeznaczona dla programistów, projektantów systemów przetwarzania informacji, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych.
Przedmowa
1 Wprowadzenie
2 Pojęcia podstawowe
2.1 Niezawodność
2.2 Programy i procesy
2.3 Poprawność, niezawodność oraz odporność oprogramowania .
3 Błędy
3.1 Pojęcie błędu
3.2 Klasyfikacja błędów
3.3 Opis poszczególnych rodzajów błędów
4 Struktura oprogramowania
4.1 Powiązania międzymodułowe
4.2 Powiązania wewnątrzmodułowe
4.3 Struktura a efektywność
4.4 Opis systemu
5 Wymagania funkcjonalne
5.1 Zawartość wymagań
5.2 Zmiany wymagań
5.3 Środki pomocnicze do opracowywania wymagań
6 Uwzględnienie niezawodności w projekcie systemu
6.1 Procesy sekwencyjne
6.2 Procesy równoczesne
6.3 Styl programowania
7 Weryfikacja oprogramowania
7.1 Sposoby testowania
7.2 Strategia testowania
7.3 Plan testowania
7.4 Analityczna weryfikacja programu
8 Ręczne usuwanie błędów
8.1 Ręczne rozpoznanie błędu
8.2 Środki pomocnicze do usuwania błędów
9 Automatyczne wykrywanie błędów
9.1 Analiza mechanizmu wykrywania błędów
9.2 Sposoby wykrywania błędów
9.3 Miejsca wykrywania błędów
10 Automatyczne usuwanie błędów
10.1 Maszynowe rozpoznawanie błędów
10.2 Zmiana konfiguracji systemu
10.3 Ponowny nietylkodlamoli start .
11 Konserwacja oprogramowania
11.1 Powody konserwacji oprogramowania
11.2 Czynniki wpływające na możliwość konserwacji
11.3 Konserwacja oprogramowania a jego złożoność
12 Zarządzanie realizacją niezawodnego oprogramowania
12.1 Trudności przy zarządzaniu oprogramowaniem
12.2 Planowanie
12.3 Kontrola
Literatura
Skorowidz terminologiczny