Dangasa sistematik birlik sinovi - Lazy systematic unit testing

Lazy tizimli birlik sinovi[1] bu dasturiy ta'minot birlik sinovi ning ikki tushunchasiga asoslangan usul dangasa spetsifikatsiya, dinamik tahlil orqali birlikning rivojlanayotgan spetsifikatsiyasini xulosa qilish qobiliyati va muntazam sinov, birlikning bo'shliqlarini cheklangan chuqurlikgacha to'liq o'rganish va sinab ko'rish qobiliyati. Sinov uchun vositalar to'plami JWalk dagi dangasa sistematik birlik sinovlarini qo'llab-quvvatlash uchun mavjud Java dasturlash tili.[2]

Dangasa spetsifikatsiyasi

Dangasa spetsifikatsiya ga moslashuvchan yondashuvni anglatadi dasturiy ta'minotning spetsifikatsiyasi, unda spetsifikatsiya tez-tez o'zgartiriladigan kod bilan parallel ravishda tez rivojlanadi.[1] Texnik xususiyat prototip dasturiy ta'minotini yarim avtomatik tahlil qilish natijasida aniqlanadi. Bunga o'z ichiga olishi mumkin statik tahlil (qitish interfeysining) va dinamik tahlil (birlik harakati). Dinamik tahlil odatda dasturchi bilan cheklangan o'zaro ta'sir bilan to'ldiriladi.

Atama Dangasa spetsifikatsiya o'xshashligi bilan o'ylab topilgan dangasa baho yilda funktsional dasturlash. Ikkinchisida faqat talab bo'yicha baholanadigan sub-iboralarni kechiktirilgan baholash tasvirlangan. O'xshashlik o'zgaruvchan kod bilan parallel ravishda rivojlanib boradigan spetsifikatsiyani kech barqarorlashtirish bilan, bu barqaror deb hisoblanmaguncha.

Tizimli sinov

Tizimli sinov to'liq, muvofiqlikni sinash ga yaqinlashish dasturiy ta'minotni sinovdan o'tkazish, unda sinovdan o'tgan birlik spetsifikatsiyaga to'liq mos kelishi, sinov taxminlariga qadar ko'rsatilishi.[3] Bu test sinovlarining izlanuvchan, to'liqsiz yoki tasodifiy shakllaridan farq qiladi. Maqsad test tugagandan so'ng to'g'riligining takrorlanadigan kafolatlarini ta'minlashdir.

Tizimli sinov usullariga quyidagilar kiradi Stream X-Machine sinov usuli[4] va ekvivalentlik bo'limi to'liq bilan sinov chegara qiymatini tahlil qilish.

Adabiyotlar

  1. ^ a b A J H Simons, JWalk: Dizayn introspektsiyasi va foydalanuvchining o'zaro ta'siri orqali Java sinflarini dangasa sistematik birligi sinovi, Avtomatlashtirilgan dasturiy ta'minot muhandisligi, 14 (4), dekabr, tahrir. B. Nuseibeh, (Boston: Springer, 2007), 369-418.
  2. ^ JWalk uy sahifasi, http://www.dcs.shef.ac.uk/~ajhs/jwalk/
  3. ^ A J H Simons, xulq-atvorga mos keladigan ob'ekt turlari uchun regressiya sinovlari nazariyasi, Dasturiy ta'minotni sinovdan o'tkazish, tekshirish va ishonchlilik, 16 (3), UKTest 2005 maxsus soni, sentyabr, eds. M Vudvord, P McMinn, M Holcombe va R Hierons (Chichester: John Wiley, 2006), 133-156.
  4. ^ F Ipate va W M L Holcombe, spetsifikatsiya va umumlashtirilgan mashinalar yordamida sinov: taqdimot va amaliy ish, Dasturiy ta'minotni sinovdan o'tkazish, tekshirish va ishonchlilik, 8 (2), (Chichester: John Wiley, 1998), 61-81.