AdaControl - AdaControl

AdaControl
Adactl logo.png
Tuzuvchi (lar)Adalog
YozilganAda bilan SHUNDAYKI
Operatsion tizimMicrosoft Windows, Linux, Mac OS X
Mavjud:Ingliz tili
TuriStatik kod tahlili
LitsenziyaGMGPL
Veb-saytwww.adalog.fr/ uz/ adacontrol.html

AdaControl Ada dasturlarida har xil konstruktsiyalardan foydalanishni aniqlaydigan bepul (GMGPL) vositadir. Uning birinchi maqsadi uslub yoki dasturlash qoidalaridan to'g'ri foydalanishni nazorat qilishdir, lekin u har xil dasturlash uslublari yoki dizayn namunalaridan foydalanishni (yoki ishlatmaslikni) qidirish uchun kuchli vosita sifatida ham foydalanish mumkin. Qidirilayotgan elementlar juda soddadan, masalan, ba'zi bir ob'ektlar, deklaratsiyalar yoki bayonotlarning paydo bo'lishi kabi, juda murakkabgacha, masalan, ba'zi dasturlash naqshlariga rioya qilinishini tekshirish kabi.

Tarix

AdaControl-ning Adalog tomonidan ishlab chiqarilishi 2004 yilda, shartnoma asosida boshlangan Evrokontrol CFMUni ishlab chiqqan (Markaziy oqimlarni boshqarish bo'limi), million dastur + kodli dastur (yilda.) Ada ) Evropa bo'ylab havo transportini boshqarish. Faqatgina avtomatlashtirilgan vositalargina ushbu o'lchamdagi dasturning dasturlash standartlariga muvofiqligini tekshirishi mumkin edi.

Beri Evrokontrol dasturiy ta'minotni tijoratlashtirishga qiziqish yo'q edi, AdaControl-ni bepul dastur sifatida chiqarishga qaror qilindi. Bu Ada jamoasiga umuman yordam berishning foydasi bor edi va shu bilan birga ruxsat berildi Evrokontrol hamjamiyat tomonidan amalga oshirilgan yanada yaxshilanishlardan bahramand bo'lish. Keyinchalik, boshqa kompaniyalar virtual rivojlanish konsortsiumi effektini yaratib, kelgusida rivojlanishiga homiylik qilishdi.[1]

Xususiyatlari

AdaControl boshqaruv bloklari to'plamini Ada birliklari uchun qo'llaydi. Boshqaruv a tomonidan belgilanadi qoida (va ehtimol a bo'ysunish) tegishli parametrlarga ega. Boshqaruv elementlari (shuningdek, dasturning ishlashini sozlash uchun ishlatiladigan turli xil buyruqlar) to'g'ridan-to'g'ri buyruq satridan, fayldan yoki interaktiv ravishda ta'minlanadi.

Mavjud keng ko'lamli boshqaruv elementlari mavjud. Joriy versiyadan (1.21r6b) AdaControl tomonidan amalga oshiriladigan 579 ta test mavjud. Har bir yangi nashrda raqam ko'paymoqda.[2]

Bundan tashqari, AdaControl bir qator qoidabuzarliklarni tuzatish bo'yicha takliflarni taqdim etadi. AdaControl ishga tushirilganda GPS muhiti, tuzatishlar xuddi kompilyator xabarlari singari belgini bosish orqali amalga oshirilishi mumkin. Hamroh vositasi barcha tavsiya etilgan tuzatishlarni avtomatik ravishda qo'llay oladi.

Adacontrol yozilgan Ada, foydalanib SHUNDAYKI sintaktik va semantik tahlil uchun. Bu vositaga asosiy kompilyator bilan bir xil darajada til aniqligini beradi.

Asbobni foydalanuvchi tomonidan osonlikcha kengaytirilishi uchun katta e'tibor berildi.[3]

Adabiyotlar

  1. ^ Bepul dasturiy ta'minotni rivojlantirishga homiylik qilish sohalari uchun imtiyozlar to'g'risida
  2. ^ AdaControl foydalanuvchi qo'llanmasi
  3. ^ AdaControl dasturchi qo'llanmasi

2010 yil 30 aprel holatiga ko'ra ushbu maqola to'liq yoki qisman olingan Adalog. Mualliflik huquqi egasi tarkibni qayta ishlatishga ruxsat beradigan tarzda litsenziyalashgan CC BY-SA 3.0 va GFDL. Barcha tegishli shartlarga rioya qilish kerak. Asl matn "AdaControl"

Tashqi havolalar