Метою дослідження роботи є створення методики розробки автоматизованих тестів, які не мають недоліків існуючих методів і засобів автоматизації тестування і який задовольняє наступним умовам: - універсальність в плані застосування при автоматизації будь-якого програмного продукту; - висока ефективність розроблених автоматизованих тестів; - відносно низька трудоємкість. ФОРМАЛИЗАЦІЯ, ТЕСТУВАННЯ, АВТОМАТИЗАЦІЯ, ТЕСТ-КЕЙС, РЕГРЕСІЙНЕ ТЕСТУВАННЯ. The objective of this work is to devise a new method for development automated tests which have no any defects of current methods and tools for automated testing and satisfy the following conditions: - universality in automation for any software; - high effectivness of the devised method; - relatively low labourousness. FORMALOZATION, TESTING, AUTOMATION, TEST-CASE, REGRESSION TESTING.
