Opis: 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
|