Методи і засоби поведінкового тестування програмних складових при верифікації комп’ютерних систем

Abstract

У дипломній роботі магістра проведено аналіз наукових публікацій та стандартів в галузі інформаційних технологій для визначення сучасного стану та шляхів удосконалення процесу тестування програмних систем, визначено особливості поведінкового тестування програмних складових при верифікації комп’ютерних систем, розроблено метод тестування поведінки програмних складових комп’ютерних систем на основі методу кооперації об’єктів та методу тестування на основі змінних та інтегровано їх у процес тестування програмного забезпечення, а також побудовано середовище для реалізації методів поведінкового тестування програмного забезпечення із застосуванням технології тестування SpecFlow. Обґрунтовано застосування методу підтримки моделі кооперації об’єктів, що базується на застосування E-мереж для представлення поведінки програмних складових комп’ютерних систем, доведено ефективність застосування методу тестування програмних складових комп’ютерних систем, що базується на моделі поведінки програмного забезпечення на основі його змінних. Розроблено метод поведінкового тестування на основі методів кооперації об’єктів та поведінкового тестування на основі змінних, що дало змогу підвищити ефективність процесу верифікації та підвищити якість програмного забезпечення за рахунок впровадження раннього тестування та його автоматизації. Запропоновано застосування технології SpecFlow для забезпечення поведінкового тестування програмних складових при верифікації комп’ютерних систем та експериментально описано сценарії тестування систем, що дало змогу підтвердити ефективність застосування запропонованих методів і засобів поведінкового тестування програмних складових при верифікації комп’ютерних систем.

The diploma paper deals with the analysis of scientific publications and standards in the field of information technologies for determining the current state and ways of improving the testing of software systems, features of behavioral testing of software components during verification of computer systems, the method of testing the behavior of software components of computer systems on based on the method of cooperating objects and the test method on the basis of variables and integrated them into the software testing process, and also built environment for implementation of methods of behavioral testing software using the technology SpecFlow testing. The application of the method of supporting the object co-operation model based on the use of E-networks to represent the behavior of software components of computer systems is substantiated, the efficiency of using the method of testing software components of computer systems based on software behavior models based on its variables has been proved. . The method of behavioral testing on the basis of methods of object co-operation and behavioral testing on the basis of variables was developed, which made it possible to increase the efficiency of the verification process and improve the quality of software by introducing early testing and its automation. The application of SpecFlow technology to provide behavioral testing of software components during the verification of computer systems is proposed and experimental scenarios for testing systems have been described, which has enabled to confirm the efficiency of application of the proposed methods and means of behavioral testing of software components during the verification of computer systems.