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
Modelowanie AWS, Azure i Google Cloud w Enterprise Architect

Działanie w modelu serverless to już codzienność wielu firm. Serverless nie oznacza, że nie ma serwerów i sprzętu. To udostępnianie więcej

Rysowanie diagramów – dobre praktyki

Jednym z celów modelowania jest przedstawienie złożonych zagadnień na takim poziomie abstrakcji, który pozwoli zrozumieć dany aspekt zagadnienia. Gdy w więcej

Enterprise Architect 12 – nie instaluj pochopnie

  Sparx Systems opublikował kilka dni temu 12 wersję kultowego Enterprise Architect. Wstępna analiza wykazała, że aktualizacja narzędzia może doprowadzić więcej

Dokumentacja przypadków użycia w administracji publicznej

Myślę, że czasem warto się pochwalić drobnymi osiągnięciami. W 2013 roku miałem okazję współpracować z Ministerstwem Sprawiedliwości. Brałem udział w więcej

Reklama
MODESTO - licencje Enterprise Architect

Zostaw komentarz

Twój adres email nie zostanie opublikowany. Wymagane pola są oznaczone *

Przewiń do góry