Seminarium: Systemy Rozproszone
25 marca 2004, godzina 12:15,
sala
Usuwanie błędów w oprogramowaniu może kosztować nas bardzo dużo. Dla zapewnienia niezawodności oprogramowania
wydzielone osoby w zespole (testerzy) wyszukują błędów na poziomie wykonania kodu. Doświadczeni programiści wyszukują błędów semantycznych podczas analizy statycznej kodu. Większość błędów prowadzi do
błędnych wykonań tylko w pewnych specyficznych warunkach przez co analiza statyczna jest bardzo ważnym elementem
przy usuwaniu błędów (inna sprawa, że często ignoruje się tę fazę).
Dzięki automatycznej statycznej analizie kodu niewielkim kosztem możemy znacznie poprawić jakość pisanych
przez nas programów. Pozwala ona na uniknięcie częstych, schematycznych błędów, jak i wyszukanie fragmentów kodu,
które mogą prowadzić do błędych wykonań (np. potencjalnych sytuacji wyścigów, zakleszczeń, czy wycieków pamięci).
Plan prezentacji:
Zapraszam,
Radomir Małaczek