8941511033

Notatki

Automatyczna analiza statyczna

Automatyczną analizę kodu przeprowadza się przy pomocy narzędzi, które mogą wskazać miejsca potencjalnych usterek. Rodzaj narzędzi

do stworzenia systemu. Przykładami takich narzędzi są: UNT (język C), Flowfinder (język C), splint (język C). PerlzCritic (język Perl), RATS (C,C++,PHP.Perl,Python). Jlint (Java), JSlint (JauaScript).

Kroki analizy statycznej

2.    Analiza użycia danych - badanie użycia zmiennych programu. Wykrywa się zmienne niezainicjowane przed użyciem, zmienne zapisywane dwukrotnie bez odczytu, zmienne zadeklarowane,

3.    Analiza interfejsu - sprawdzenie spójności deklaracji podprogra-

wane, ale nigdy nie użyte, oraz nie wykorzystane wyniki funkcji.

4.    Analiza przepływu informacji - analiza zależności między zmien-

mie i ustala instrukcje wykonywane w każdej z

Wykrywane usterki

Metoda Cleanroom tworzenia oprogramowania

Metoda Cleanroom to sposób tworzenia oprogramowania opracowany w IBM, którego podstawą jest unikanie defektów oprogramowania dzięki rygorystycznemu procesowi inspekcji.