در AdaControl (GMGPL) ابزار رایگان است که استفاده از انواع مختلف سازه در برنامه آدا تشخیص است. اولین هدف AdaControls است برای کنترل استفاده صحیح از سبک و یا برنامه نویسی قوانین، اما آن را نیز می توان به عنوان یک ابزار قدرتمند برای جستجوی استفاده (و یا عدم استفاده) اشکال مختلف از سبک های برنامه نویسی و یا الگوهای طراحی استفاده می شود. جستجو عناصر از محدوده بسیار ساده است، مانند وقوع اشخاص certaine، بیانیه ها، و یا اظهارات، به بسیار پیچیده، مانند تایید که الگوهای برنامه نویسی خاص در حال اطاعت ..
کدام عناصر و یا سازه جستجو توسط مجموعه ای از قوانین تعریف شده است؛ جدول زیر خلاصه ای کوتاه از قوانین در حال حاضر توسط AdaControl چک می دهد. تعداد در پرانتز بعد از نام حکومت می دهد تعداد subrules، در صورت وجود. با توجه به همه قوانین و subrules ممکن است، این باعث می شود 216 تست است که می تواند در حال حاضر توسط AdaControl انجام!
نظر یافت نشد