AdaControl adalah gratis (GMGPL) alat yang mendeteksi penggunaan berbagai jenis konstruksi dalam program Ada. Tujuan pertama AdaControls adalah untuk mengontrol penggunaan yang tepat dari gaya atau pemrograman aturan, tetapi juga dapat digunakan sebagai alat yang ampuh untuk mencari digunakan (atau non-penggunaan) dari berbagai bentuk gaya pemrograman atau pola desain. Pencarian elemen berkisar dari yang sangat sederhana, seperti terjadinya entitas certaine, deklarasi, atau pernyataan, untuk sangat canggih, seperti memverifikasi bahwa pola pemrograman tertentu sedang dipatuhi ..
Elemen atau yang konstruksi yang dicari didefinisikan oleh seperangkat aturan; tabel berikut memberikan ringkasan singkat dari aturan saat diperiksa oleh AdaControl. Jumlah dalam tanda kurung setelah nama aturan memberikan jumlah subrules, jika ada. Mengingat semua aturan mungkin dan subrules, ini membuat 216 tes yang dapat dilakukan saat ini oleh AdaControl!
Komentar tidak ditemukan