Тестване базирано на модели

Abstract

Тестването е най-известният метод, чрез който се осигурява качеството на софтуерните продукти. Процеса на тестване чрез модели е познат като “тестване базирано на модели”. Той обикновено се отнася до генериране на тестови случаи и оценка на резултатите въз основа на модел на поведение на системата. Целта на дипломната работа е да се проучат и приложат методите за тестването базирано на модели. Въз основа на резултатите трябва да се предложи подход за прилагане на тестване на базата на модели. В дипломната работа са разгледани класическите техники за тестване. Направен е анализ на тестването базирано на модели, на основните характеристики и предимства на метода. Разгледани са модели, които се прилагат в софтуерното тестване – машина с краен брой състояния(finite state machine), вериги на Марков(markov chains), таблица на решения(decision table), граматики(grammars) и диаграма на състоянието(statechart). Представени са препоръки за прилагане на подход. В резултат от направените изводи е приложено тестването базивано на модели в реално приложение. За уеб базирано приложение е дефиниран модел на поведение, който е използван за генериране и изпълнение на множество тестови случай. Изследвано е влиянието на параметрите – график, цена и качество. Дефиниран е подход за прилагане на тестването базирано на модели. Резултатът от дипломната работа е приложим за подобряване на качеството и ефективността в процеса на тестване. Предложеният подход дефинира ефективен метод за определянето на тестовите случаи.