Комплекс програм для генерації тестів за заданою граматикою

Скорочена інформація про документ
dc.contributor.advisorТесленко, Олександр Кирилович
dc.contributor.authorБойко, Владислав Володимирович
dc.date.accessioned2020-07-15T16:19:40Z
dc.date.available2020-07-15T16:19:40Z
dc.date.issued2020
dc.description.abstractenThe qualification work includes an explanatory note (51 p., 31 pic., 4 appendices). In this work, the topic of improving is generation of tests on the investigated grammar. Close analogues are considered and analyzed. Arguments on the relevance of this development and scope are given, the main requirements to the software package to improve the efficiency of the development process are identified and analyzed. During the development process, the existing tools for parsing in the CommonLisp programming language were analyzed, as well as the existing tools for creating a user interface in the Java programming language. The terms of reference were divided into structural sections to divide the development into stages. To improve the efficiency of development, a block diagram of the interaction of software modules based on the principles of MVC architecture was formed. Adhering to the paradigms of this architecture, the modules of the software package separate the implementation of certain functionalities, which allows you to easily add new functional modules. The software package consists of three main modules: Model, View, Controller. The Model module contains the implementation of software logic, the View module contains the implementation of the user interface, the Controller module connects the Model i View modules. Ways of formal representation of grammars are considered. The BNF form is used as a basis for the implementation of the system kernel. At the entrance, the software complex receives the grammar of the input language in the form of BNF. The generation process is built in such a way that the output is a symbolic sequence that completely covers the rules of input grammar. Several stages of testing using different methods were performed: unit testing of functional parts of the Model module, integration testing to check the interaction of Model module packages, manual testing of the finished application. After carrying out these stages, it is confirmed that the software meets the previously set requirements. Keywords: software package, test generation, CommonLisp programming language, Java programming language, BNF, MVC, user interface, module, architectureuk
dc.description.abstractukКваліфікаційна робота включає пояснювальну записку (51 с., 31 рис., 4 додатки). В даній роботі досліджена проблема генерації тестів за заданою граматикою. Розглянуті і проаналізовані близькі аналоги. Приведені доводи щодо актуальності даної розробки і сфери використання, визначені і проаналізовані основні вимоги до програмного комплексу для покращення ефективності процесу розробки. В процесі розробки були проаналізовані існуючі інструменти для парсингу на мові програмування CommonLisp, а також існуючі інструменти для створення користувацького інтерфейсу на мові програмування Java. Технічне завдання було поділене на структурні чатини для поділу розробки на етапи. Для покращення ефективності розробки була сформованя структуна схема взаємодії прогамних модулів на основі принципів архітектури MVC. Притримуючись парадигм даної архітектури модулі програмного комплексу відокремлюють реалізацію певних функціональних можливостей, що дозволяє легко додавати нові функціональні модулі. Програмний комплекс складається з трьох основних модулів: Model, View, Controller. Модуль Model містить реалзізацію логіки програмного забезпечення, модуль View містить реалізацію користувацького інтерфейсу, модуль Controller зв’язує модулі Model i View. Розглянуті спосби формального представлення граматик. Для реалізації ядра системи за основу взята форма BNF. На вхід програмний комплекс отримує граматику вхідної мови у формі BNF. Процес генерації побудований таким чином, що на вихід подаються символьні послідовності, що повністю покривають правила вхідної граматики. Проведено декілька етапів тестування з використання різних методів, а саме модульне тестуавання функціональних частин модуля Model, інтеграціне тестування для перевірки взаємодії пакетів модуля Model, мануальне тествування готовго застосунку. Після проведення даних етапів, підтверджено, що програмний комплекс відповідає поставленим раніше вимогам. Ключові слова: програмний комплекс, генерація тестів, мова програмування CommonLisp, мова програмування Java, BNF, MVC, користувацький інтерфейс, модуль, архітектураuk
dc.format.page67 с.uk
dc.identifier.citationБойко, В. В. Комплекс програм для генерації тестів за заданою граматикою : дипломний проект ... бакалавра : 123 Комп’ютерна інженерія / Бойко Владислав Володимирович. – Київ, 2020. – 67 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/35054
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectмодульuk
dc.subjectархітектураuk
dc.subjectпрограмний комплексuk
dc.subjectгенерація тестівuk
dc.subjectмова програмування CommonLispuk
dc.subjectмова програмування Javauk
dc.subjectBNFuk
dc.subjectMVCuk
dc.subjectкористувацький інтерфейсuk
dc.subjectarchitectureuk
dc.subjectsoftware packageuk
dc.subjecttest generationuk
dc.subjectCommonLisp programming languageuk
dc.subjectJava programming languageuk
dc.subjectmoduleuk
dc.subjectuser interfaceuk
dc.titleКомплекс програм для генерації тестів за заданою граматикоюuk
dc.typeBachelor Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Boiko_bakalavr.pdf
Розмір:
1.85 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.06 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (СПСКС)
Бакалаврські роботи