Líné systematické testování jednotek - Lazy systematic unit testing

Líné systematické testování jednotek[1] je software testování jednotky metoda založená na dvou pojmech líná specifikaceschopnost odvodit vyvíjející se specifikaci jednotky za chodu dynamickou analýzou a systematické testování, schopnost prozkoumat a otestovat stavový prostor jednotky vyčerpávajícím způsobem do omezených hloubek. Testovací sada nástrojů JWalk Existuje podpora líného systematického testování jednotek v systému Windows Programovací jazyk Java.[2]

Líná specifikace

Líná specifikace odkazuje na flexibilní přístup k specifikace softwaru, ve kterém se specifikace rychle vyvíjí souběžně s často upravovaným kódem.[1] Specifikace je odvozena poloautomatickou analýzou prototypové softwarové jednotky. To může zahrnovat statická analýza (rozhraní jednotky) a dynamická analýza (chování jednotky). Dynamická analýza je obvykle doplněna omezenou interakcí s programátorem.

Termín Líná specifikace je vytvořen analogicky s líné hodnocení v Funkcionální programování. Ten popisuje zpožděné vyhodnocení dílčích výrazů, které se hodnotí pouze na vyžádání. Analogie je s pozdní stabilizací specifikace, která se vyvíjí souběžně s měnícím se kódem, dokud nebude považována za stabilní.

Systematické testování

Systematické testování označuje kompletní, testování shody přístup k testování softwaru, ve kterém je prokázáno, že zkoušená jednotka vyčerpávajícím způsobem vyhovuje specifikaci, a to až do předpokladů zkoušení.[3] To kontrastuje s průzkumnými, neúplnými nebo náhodnými formami testování. Cílem je poskytnout opakovatelné záruky správnosti po dokončení testování.

Mezi příklady systematických testovacích metod patří: Streamujte X-Machine zkušební metoda[4] a ekvivalenční oddíl testování s plnou analýza hraničních hodnot.

Reference

  1. ^ A b A J H Simons, JWalk: Lazy systematic unit testing of Java classes by design introspection and user interaction, Automated Software Engineering, 14 (4), prosinec, vyd. B. Nuseibeh, (Boston: Springer, 2007), 369-418.
  2. ^ Domovská stránka JWalk, http://www.dcs.shef.ac.uk/~ajhs/jwalk/
  3. ^ A J H Simons, Teorie regresního testování pro typy objektů kompatibilní s chováním, Testování, ověřování a spolehlivost softwaru, 16 (3), Zvláštní vydání UKTest 2005, září, eds. M Woodward, P McMinn, M Holcombe a R Hierons (Chichester: John Wiley, 2006), 133-156.
  4. ^ F Ipate a W M L Holcombe, Specifikace a testování pomocí zobecněných strojů: prezentace a případová studie, Testování, ověřování a spolehlivost softwaru, 8 (2), (Chichester: John Wiley, 1998), 61-81.