Isi kandungan:
Definisi - Apa maksud Pengesahan Statik?
Pengesahan statik adalah analisis kod komputer untuk memastikan bahawa amalan pengkodan standard telah dipatuhi tanpa perlu menjalankan program ini. Analisis dilakukan pada beberapa versi kod sumber dan menyediakan cara bagi pengaturcara untuk mengundurkan kod baru dan mengesan potensi kesalahan dalam kod yang dikompilasi.
Techopedia menerangkan Pengesahan Statik
Pengesahan statik digunakan secara meluas dalam perisian untuk sistem komputer kritikal keselamatan. Teknologi utama yang digunakan dalam pengesahan statik ialah analisis masa statik dan pemeriksaan kesetaraan. Pengesahan masa dan fungsi dalam aliran pengesahan statik dipisahkan dan dijalankan secara selari. Analisis masa statik menyediakan pemeriksaan masa, manakala pemeriksaan kesetaraan mengesahkan kesesuaian fungsi dua litar yang sama seperti skala reka bentuk melalui transformasi yang berbeza seperti penyesuaian rantaian imbasan, penghalaan dan penempatan.
Beberapa teknik pelaksanaan pengesahan statik ialah analisis aliran data, pemeriksaan model, tafsiran abstraksi dan penggunaan assertion.
Alat yang biasanya digunakan untuk pengesahan statik termasuk Sonar, Yasca, pengesan Salin / tampal, Stylecop, FxCop, BLAST, Clang, Lint dan Checkstyle.
