İçindekiler:
Tanım - Statik Doğrulama ne anlama geliyor?
Statik doğrulama, programı çalıştırmak zorunda kalmadan standart kodlama uygulamalarına uyulduğundan emin olmak için bilgisayar kodunun bir analizidir. Kaynak kodun bazı sürümlerinde bir analiz yapılır ve programcılara yeni kodda hata ayıklama ve derlenmiş koddaki olası hataları algılama olanağı sağlar.
Techopedia, Statik Doğrulamayı açıklıyor
Statik doğrulama, güvenlik açısından kritik bilgisayar sistemleri için yazılımda yaygın olarak kullanılmaktadır. Statik doğrulamada kullanılan temel teknolojiler statik zamanlama analizi ve denklik denetimidir. Statik bir doğrulama akışında zamanlama ve fonksiyonel doğrulama ayrılır ve paralel olarak çalıştırılır. Statik zamanlama analizi, zamanlama kontrolleri sağlarken, denklik kontrolü, tasarım zinciriyle aynı devrenin iki versiyonunun fonksiyonel eşdeğerliğini tarama zinciri yeniden sıralaması, yönlendirme ve yerleştirme gibi farklı dönüşümlerle doğrular.
Statik doğrulama uygulama tekniklerinden bazıları veri akışı analizi, model kontrolü, soyutlama yorumu ve onaylama kullanımıdır.
Statik doğrulama için genellikle kullanılan araçlar arasında Sonar, Yasca, Kopyala / yapıştır dedektörü, Stylecop, FxCop, BLAST, Clang, Lint ve Checkstyle bulunur.
