Dwa słowa o statycznej analizie kodu

W dzisiejszym świecie podstawowym kryterium oceny tworzonego oprogramowania jest jego niezawodność. To nie jest odkrywczy pogląd.  Jedną z techniki wspierającą proces wytwarzania oprogramowania, która istotnie zwiększa jego jakość i niezawodność jest statyczna analiza kodu źródłowego. Poprzez analizę statyczna rozumiem analizę struktury kodu źródłowego lub kodu skompilowanego bez jego uruchomienia. Analiza statyczna może odbywać się na etapie budowania aplikacji, ponieważ jej wyniki są dostępne już podczas kompilacji kodu źródłowego. Istnieje kilka metod analizy statycznej kodu. Są to:

  • Wykorzystanie narzędzi wyszukujących takie konstrukcje w kodzie źródłowym, które można uznać za potencjalnie niebezpieczne z subiektywnego punktu widzenia.
  • Formalne metody, opierające się na matematycznej definicji zachowania programu. Formalne metody wymagają zwykle opisywania aplikacji w języku aksjomatów.
  • Obliczanie metryk kodu źródłowego. Dostarczają nam informacji o jakości kodu źródłowego na podstawie danych statystycznych.

Ponadto warto wspomnieć, że statyczna analiza programu pozwala na:

  • zwiększenie wydajności i stabilności poprzez zasady oparte na dobrych praktykach,
  • unikniecie typowych błędów podczas programowania,
  • dostarczenie struktury do zarządzania standardami kodu.
  • wymuszenie własnych zasad pisania kodu

Na koniec chciałbym przypomnieć, że dobry przypadek testowy to taki, który niesie duże prawdopodobieństwo wykrycia nowego błędu 🙂

Technorati Tagi: inżynieria oprogramowania,modelowanie systemów informatycznych

Podobne wpisy

  • Archimate 3.0 w Enterprise Architect 13 No to się porobiło :-). Po tym jak odpaliłem facebooka i google+ dla bloga oraz zrobiłem listę mailingową, wpadłem na kolejny pomysł. Postanowiłem trochę poeksperymentować z formą i […]
  • Dialog techniczny Jesień 2013 to czas, w którym miałem przyjemność współorganizować dialog techniczny w Ministerstwie Sprawiedliwości. Czym jest dialog można poczytać przykładowo: […]
  • Agile Modeling – szkolenie w grudniu Obiecałem, że po wakacjach wznowię nabór na szkolenie: Agile Modeling w Enterprise Architect Dziś właśnie ustaliłem termin wynajmu sali. Zapraszam więc na szkolenie w dniu 08-09.12.2011 […]
  • Zasada TAO – trzy cechy jeden zespół W dużych firmach spotkałem się czasem z sytuacją, w której to różne zespoły (np.: analitycy biznesowi i programiści) wzajemnie się zwalczali poprzez wytykanie nieścisłości w dokumentacji, […]
  • TORMIGO – oficjalnie na stronach Sparx Systems Tormigo został oficjalnie zarejestrowany na stronach Sparx Systems jako program wspierający Enterprise Architect’a http://sparxsystems.com.au/products/3rdparty.html#tormigo Tormigo jest […]
Reklama
MODESTO - licencje Enterprise Architect

Zostaw komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *

Przewiń do góry