AdaControl هو حر (GMGPL) أداة يكشف عن استخدام أنواع مختلفة من البنى في برامج آدا. أول هدف AdaControls هو السيطرة على الاستخدام السليم لقواعد النمط أو البرمجة، ولكن يمكن أيضا أن تستخدم كأداة قوية للبحث عن استخدام (أو عدم استخدام) أشكال مختلفة من أساليب البرمجة أو أنماط التصميم. البحث تتراوح من عناصر بسيطة جدا، مثل وقوع الكيانات certaine، والإعلانات، أو بيانات، إلى متطورة جدا، مثل التحقق من أن أنماط برمجة معينة يتم يطاع ..
الذي عناصر أو بنيات يتم البحث تم تعريفه من قبل مجموعة من القواعد؛ يعطي الجدول التالي ملخصا قصيرة من القواعد المحددة حاليا من قبل AdaControl. وعدد من الأقواس بعد اسم القاعدة يعطي عدد من القاعدتين الفرعيتين، إن وجدت. النظر في جميع القواعد والقاعدتين الفرعيتين الممكنة، وهذا يجعل 216 الاختبارات التي يمكن القيام بها حاليا من قبل AdaControl!
لم يتم العثور على التعليقات