Використання MFOTL для перевірки системи Using MFOTL for testing the healthcare system

Abstract

Бакалаврська кваліфікаційна робота виконана студенткою групи КН-412 Холодецькою Юлією Русланівною. Тема «Використання MFOTL для перевірки системи Using MFOTL for testing the healthcare system ». Робота направлена на здобуття ступеня бакалавр за спеціальністю 122 «Комп’ютерні науки». Метою дипломної роботи є створення та розробка програмного продукту, який автоматизує процес перевірки суміжних систем на відповідність правилам та законам. Об’єктом дослідження є автоматизована система оперативного доступу до медичних даних. Після завершення виконання даної роботи було створено програмне рішення, яке мінімізує ризик помилкової перевірки, допомагає пришвидшити цей процес, а також визначити помилки системи на ранніх етапах розробки. Degree work executed by the student of group CS-412 Kholodetska Yuliia Ryslanivna. The topic is «Bounded satisfiability Checking for validation legal requirements». The primary goal of this endeavor is to obtain a bachelor's degree in the realm of 122. Computer Science. The aim of this undertaking is to create a software application that enhances the efficiency of verifying different systems, ensuring compliance with rules etc. The object of the study is to make an automated system of operational access to medical data. As a result of this thesis, a software product was developed that minimizes the risk of incorrect verification, helps to speed up this process, and identifies system errors at early stages of development.