Wybór metod programistycznych
Nawet najlepiej wyszkoleni i najbardziej doświadczeni programiści popełniają ewidentne, oczywiste dla innych błędy. Świadczy o tym choćby odnalezienie wielu podatności w tworzonych przez ekspertów programach OpenSSL[7] czy OpenSSH[8]. Aby uniknąć takich problemów, stworzono języki, które w odróżnieniu od np. C++ lub Javy, wymagają od programistów przestrzegania ścisłego rygoru, zmierzającego do wyeliminowania ryzykownych struktur programistycznych. Przykładem takiego języka jest Ada. Postuluje się także liczne bezpieczne metody programistyczne oraz stosowanie niewielkich, łatwych do weryfikacji bloków funkcjonalnych pracujących jako możliwie niezależne automaty skończone. Metody te wymagają dodatkowego przeszkolenia programistów i podnoszą koszty oraz czasochłonność wdrożeń, przez co stosowane są bardzo rzadko we wdrożeniach komercyjnych.
Strona Glowna