Жалқау жүйелік блокты тестілеу - Lazy systematic unit testing

Жалқау жүйелік блокты тестілеу[1] бағдарламалық жасақтама болып табылады блокты сынау екі ұғымға негізделген әдіс жалқау спецификация, динамикалық анализ арқылы қондырғының дамып келе жатқан спецификациясын шығару мүмкіндігі және жүйелі тестілеу, қондырғының күй кеңістігін шектелген тереңдікке дейін толық зерттеу және сынау мүмкіндігі. Тестілеуге арналған құрал JWalk жүйесінде блокты жүйелі тестілеуді қолдау үшін бар Java бағдарламалау тілі.[2]

Еріншек спецификациясы

Жалқау спецификация үшін икемді тәсілге жатады бағдарламалық қамтамасыз ету, онда спецификация жиі өзгертілетін кодпен параллельде жылдам дамиды.[1] Сипаттамаға прототиптің бағдарламалық жасақтамасының жартылай автоматты талдауы арқылы қорытынды жасалады. Бұл қамтуы мүмкін статикалық талдау (блок интерфейсінің) және динамикалық талдау (бөлімнің мінез-құлқы туралы). Динамикалық талдау әдетте бағдарламалаушымен шектеулі өзара әрекеттесумен толықтырылады.

Термин Жалқау спецификация аналогы бойынша ойлап табылған жалқау бағалау жылы функционалды бағдарламалау. Соңғысы тек сұраныс бойынша бағаланатын ішкі өрнектерді кешіктіріп бағалауды сипаттайды. Аналогия өзгермелі кодпен қатар дамитын спецификацияның кеш тұрақталуымен, оны тұрақты деп санағанға дейін.

Жүйелік тестілеу

Жүйелі тестілеу толық, сәйкестікті сынау тәсіл бағдарламалық жасақтаманы тестілеу, онда сыналған қондырғының сынақ болжамдарына дейін толық сипаттамаға сәйкес келетіндігі көрсетілген.[3] Бұл тестілеудің зерттеушілік, толық емес немесе кездейсоқ түрлерімен қарама-қайшы келеді. Мақсат - тестілеу аяқталғаннан кейін дұрыстықтың қайталанатын кепілдіктерін қамтамасыз ету.

Жүйелік тестілеу әдістерінің мысалдарына мыналар жатады Ағымдағы X-Machine тестілеу әдісі[4] және эквиваленттік бөлім толығымен тестілеу шекаралық талдау.

Әдебиеттер тізімі

  1. ^ а б A J H Simons, JWalk: Java интеграциялау және қолданушының өзара әрекеттесуімен Java сыныптарын жалқау жүйелі түрде тестілеу, Автоматтандырылған бағдарламалық қамтамасыз ету, 14 (4), желтоқсан, ред. Б.Нусейбе, (Бостон: Спрингер, 2007), 369-418.
  2. ^ JWalk басты беті, http://www.dcs.shef.ac.uk/~ajhs/jwalk/
  3. ^ A J H Simons, мінез-құлыққа үйлесімді нысан түрлеріне арналған регрессиялық тестілеу теориясы, Бағдарламалық жасақтаманы тексеру, тексеру және сенімділік, 16 (3), UKTest 2005 арнайы шығарылымы, қыркүйек, редакциялары М Вудворд, П МакМинн, М Холкомб және Р. Хиеронс (Чичестер: Джон Вили, 2006), 133-156.
  4. ^ F Ipate және W M L Holcombe, жалпыланған машиналардың көмегімен техникалық сипаттама және тестілеу: презентация және кейс-стади, Бағдарламалық жасақтаманы тексеру, тексеру және сенімділік, 8 (2), (Чичестер: Джон Вили, 1998), 61-81.