AdaControl

AdaControl là một (GMGPL) công cụ miễn phí giúp phát hiện việc sử dụng các loại khác nhau của các cấu trúc trong các chương trình Ada. Mục tiêu đầu tiên AdaControls là để kiểm soát việc sử dụng thích hợp của phong cách lập trình hoặc quy tắc, nhưng nó cũng có thể được sử dụng như một công cụ mạnh mẽ để tìm kiếm sử dụng (hoặc không sử dụng) của các hình thức khác nhau của các phong cách lập trình hay các mẫu thiết kế. Tìm kiếm các phần tử dao động từ rất đơn giản, giống như sự xuất hiện của các thực thể certaine, khai báo, hoặc báo cáo, đến rất tinh vi, giống như xác minh rằng mô hình lập trình nào đó đang được vâng ..
Những yếu tố hay các cấu trúc được tìm kiếm được xác định bởi một tập hợp các quy tắc; bảng dưới đây cho một bản tóm tắt ngắn các quy tắc đã được kiểm tra bởi AdaControl. Số trong ngoặc đơn sau tên quy tắc cho số subrules, nếu có. Xem xét tất cả các luật và subrules, điều này làm cho 216 xét nghiệm có thể được thực hiện bởi hiện AdaControl!