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

  • Zarządzanie projektem a rozproszona lokalizacja zespołu Praca rozproszonego (względem lokalizacji) zespołu przy projekcie to już nie nowinka a standard pracy wielu firm. Zauważyli to już wielcy gracze na rynku jak choćby IBM, który oferuje […]
  • SpiderOak uratował mi kilka godzin pracy Dziś pracując nad projektem uszkodził się plik - przestał się otwierać. MASAKRA. Kilka godzin w plecy. Na szczęście od stycznia (Wersjonowanie i automatyczny backup plików z modelami) […]
  • Techniki akwizycji wymagań cz.1 Techniki akwizycji wymagań mają na celu wspieranie inżynierów wymagań w procesie akwizycji, aby mogli dostarczyć jak najbardziej kompletne i zrozumiałe wymagania. Wybór odpowiedniej […]
  • Jak żyć Panie Premierze? W czasie ostatnich wyborów, jeden z uczestników spotkania wyborczego zapytał: “Jak żyć Panie Premierze?” Przekładając na grunt modelowania często słyszę: “Jak modelować?”. I o ile daleko […]
  • Agile modeling w EA do trzech razy sztuka Chciałem tylko poinformować iż szkolenie “ Agile Modeling w Enterprise Architect” jest przeniesione na 30 czerwca -1 lipca 2011 roku. Powód: We wcześniejszym terminie będę realizował […]
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