Наукові статті кафедри КС та М

Permanent URI for this collection

https://eir.zp.edu.ua/handle/123456789/24

Browse

Browsing Наукові статті кафедри КС та М by Title

Now showing 1 - 20 of 106
  • Thumbnail Image
    Item
    An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification
    (Faculty of Computer Systems & Software Engineering (FSKKP), 2018) Шкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль
    UK: Запропоновано підхід до підвищення ефективності TLC-верифікації стосовно TLA+ специфікації з паралельною структурою. Паралелізм представлено як чергування. Досліджено два різних підходи до перевірки на моделі методом TLC. Перший підхід ґрунтується на здійсненні перевірки на моделі шляхом обходу простору станів в ширину (BFS), другий – шляхом обходу в глибину (DFS). Для аналітичного представлення TLA+ специфікацій з паралельною структурою використано структуру Кріпке. Одержано аналітичні та експериментальні оцінки використання запропонованого підходу. EN: Modern approaches to distributed software systems engineering are tightly bounded with formal methods usage. The effective way of certain method application can leverage significant outcome, in terms of corresponding time costs reduction for instance. To this end the TLC model checker has been considered – with respect to TLA+ specifications with concurrent structure. The concurrency itself has been implemented as interleaving. Two different approaches to TLC model checking have been used. The first approach is based on model checking via breadth-first state space search (BFS), the second one – via depth-first search (DFS). The main result of a paper is the new approach to increasing the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification. To analytically represent synthesized TLA+ specifications with concurrent structure, the Kripke structure has been taken. To assess the measures of state space explosion problem, taking place during the experimentation, the appropriate estimations have been proposed. These estimations have been proved during the case study. The composite web service usage scenario has been considered as a case study. The results, obtained during the experimentation, can be used to increase the effectiveness of automated TLC verification with respect to the concurrent structure of TLA+ specification. RU: Предложен подход к повышению эффективности TLC-верификации применительно к TLA+ спецификации с параллельной структурой. Параллелизм представлен как чередование. Исследованы два различных подхода к проверке на модели методом TLC. Первый подход основывается на осуществлении проверки на модели путем обхода пространства состояний в ширину (BFS), второй – путем обхода в глубину (DFS). Для аналитического представления TLA+ спецификаций с параллельной структурой использована структура Крипке. Получены аналитические и экспериментальные оценки использования предложенного подхода.
  • Thumbnail Image
    Item
    Cloud storage technology for the system of detecting software plagiarism in student projects on the programming
    (Донецький національний технічний університет, 2012) Kirichek, Galina G.; Киричек, Галина Григорівна; Киричек, Галина Григорьевна
    UK: Запропоновано використання технології хмарного зберігання даних SQL Azure для системи оцінки плагіату при вивченні дисциплін з програмування. Система забезпечує аналіз і обробку результатів студентських програмних проектів, визначення випадків повторного використання коду. Дослідження спрямоване на вирішення актуальних завдань масштабування потужностей серверів, можливості збільшення обсягів баз даних і стійкості до втрати інформації. RU: Предложено использование технологии облачного хранения данных SQL Azure для системы оценки плагиата при изучении дисциплин по программированию. Система обеспечивает анализ и обработку результатов студенческих программных проектов, определение случаев повторного использования кода. Исследование направлено на решение актуальных задач масштабирования мощностей серверов, возможности увеличения объёмов баз данных и устойчивости к потере информации. EN: Propose used of the technology of cloud storage the SQL Azure for the system of assessment of plagiarism in learning subjects on the programming. The system provides analysis and processing of the student's program of projects, identification of cases of re-usable code. The study is aimed at solving urgent problems of scaling capacity of servers, the possibility of increasing amounts of data bases and resistance to loss of information.
  • Thumbnail Image
    Item
    Development of stratified approach to software defined networks simulation
    (Приватне підприємство "Технологічний Центр", 2017) Шкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна Алексеевна
    UK: Запропоновано стратифікований підхід до імітаційного моделювання програмно-конфігурованих мереж. Запропоновано імітаційні моделі мережі, активних і пасивних компонентів – контролера, комутатора, хоста та комунікаційних каналів. Придатність підходу до цільового використання підтверджено шляхом співставлення одержаних результатів імітаційного моделювання із результатами емуляції мережі у середовищі Mininet EN: The stratified approach to software defined networks simulation has been proposed. It is based on Discrete Event System Specification formalism, atomic and coupled models concepts usage. The approach is aimed at simulation within the Windows environment, with an accent on the easiness of model reconfiguration. The proposed approach is also devoted to simulation-related overheads decrease. The atomic models of active (controller, switch, host) and passive (link) network components have been proposed. The coupled model of a software defined network comprising atomic models of active and passive components has been proposed. The estimations of the resulting coupled model complexity, with respect to the number of components basic atomic models, have been given. During experimentation, the pingall command usage scenario has been considered. For this purpose, the emulation via Mininet environment and the simulation on a basis of the proposed approach have been conducted. It has been shown that discrete-event simulation on a basis of the proposed approach is significantly less time-consuming. During the approach usage within the Windows environment, the absence of the need to utilize the Xming X Server and PuTTY utility for the purpose of visualization has been faced. The validity of the approach has been proven on a basis of the obtained experimental data. The adequacy of the resulting coupled simulation model of the network has been proven with t-criterion. The proposed approach can be used for the purpose of software defined networks validation with an accent on non-functional properties. RU: Предложен стратифицированный подход к имитационному моделированию программно-конфигурируемых сетей. Предложены имитационные модели сети, активных и пассивных компонентов – контроллера, коммутатора, хоста и коммуникационных каналов. Пригодность подхода к целевому использованию подтверждена путем сопоставления полученных результатов имитационного моделирования с результатами эмулирования сети в среде Mininet
  • Thumbnail Image
    Item
    DEVS-орієнтована методика валідації композитних веб-сервісів
    (Запорізький національний технічний університет, 2015) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
    UK: Запропоновано методику валідації композитних веб-сервісів за рахунок синтезу імітаційних дискретно-подійних моделей на основі формалізму DEVS. Це дозволяє виконувати автоматизовану перевірку придатності таких систем до цільового використання при проектуванні шляхом імітаційного моделювання. В якості вхідних даних використано формальну специфікацію на основі темпоральної логіки TLA, що дозволяє математично строго представляти функціональні характеристики композитних сервісів у форматі обчислювальних процесів. За аналітичну модель в основі TLA-специфікації взято структуру Кріпке. У межах методики запропоновано правила синтезу із вихідної TLA-специфікації DEVS-моделі композитного сервісу, призначеної бути засобом валідації. Результуюча DEVS-модель складається із моделей атомарних сервісів, моделі клієнта композитного сервісу та моделі координатора атомарних сервісів, що функціонує згідно специфікації WS-BPEL. Для перевірки методики проведено експериментальні дослідження, що підтвердили адекватність результуючої DEVS-моделі. Перевірку здійснено згідно запропонованого підходу, що полягає у порівнянні результатів валідації шляхом імітаційного моделювання із результатами валідації шляхом тестування. За результатами проведених досліджень обґрунтовано доцільність використання запропонованої методики при проектуванні композитних сервісів, що базується на зменшенні часових витрат на валідацію. Наголошено на доречності використання методики при ітераційній розробці. EN: A technique for Composite Web Services validity checking has been proposed. It is based on discrete-event DEVS-models synthesis, which provides the ability to conduct the automated validation by way of simulation during the design process. Temporal Logic of Actions has been chosen as the basis for input data – formal specification of Composite Web Service. It allows to specify the functional properties of such systems mathematically strictly. Functional properties has been represented as computational processes. The Kripke structure has been used as TLA-specification analytical model. Our technique leans on the proposed rules, aimed at simulation DEVS-model synthesis from given TLA-specification. The resulting coupled Composite Web Service DEVS-model consists of atomic web services models, model of client, simulated as job-requests generator, and coordinator model. Coordinator represents the WS-BPEL-engine, functioning in accordance with centralized orchestration model. A case study has been conducted to verify the proposed technique. Its artifacts confirmed the adequacy of resulting DEVS-model. The technique verification is based on the proposed approach: simulation-driven validation results are compared with the ones, obtained with test-driven validation. Technique expediency has been grounded by Composite Web Services validity checking time costs reduction. RU: Предложена методика валидации композитных веб-сервисов путем синтеза имитационных дискретно-событийных моделей на основе формализма DEVS. Это позволяет осуществлять автоматизированную проверку пригодности таких систем к целевому использованию при проектировании путем имитационного моделирования. В качестве входных данных использована формальная спецификация на основе темпоральной логики TLA, что позволяет математически строго представлять функциональные характеристики композитных сервисов в формате вычислительных процессов. В качестве аналитической модели в основе TLA-спецификации взята структура Крипке. В рамках методики предложены правила синтеза из исходной TLA-спецификации DEVS-модели композитного сервиса, предназначенной быть средством валидации. Результирующая DEVS-модель состоит из моделей атомарных сервисов, модели клиента композитного сервиса и модели координатора атомарных сервисов, функционирующего согласно спецификации WS-BPEL. Для проверки методики проведены экспериментальные исследования, подтвердившие адекватность результирующей DEVS-модели. Проверка выполнена согласно предложенному подходу, состоящему в сравнении результатов валидации путем имитационного моделирования с результатами валидации путем тестирования. По результатам проведенных исследований обоснована целесообразность использования предложенной методики при проектировании композитных сервисов, которая заключается в уменьшении временных затрат на валидацию. Акцентировано внимание на уместности использования методики при итерационной разработке.
  • Thumbnail Image
    Item
    SIMD - реализация алгоритма SAXPY на GPU
    (Східно-європейський журнал передових технологій, 2009) Скрупський, Степан Юрійович; Skrupsky, Stepan Y.; Скрупский, Степан Юрьевич; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
    UK: Досліджені архітектури ядер CPU та GPU. Реалізовано алгоритм SAXPY на GPU. Отримані залежності часу виконання алгоритму на CPU і GPU від розмірів обчислюваних векторів. Зроблено висновок про доцільність використання GPU для SIMD обчислень. EN: Research of architecture of kernel CPU and GPU is executed. Algorithm SAXPY on GPU is realised. Dependences of the performance time of algorithm on CPU and GPU from the sizes of calculated vectors are received. The conclusion is drawn on expediency of application GPU for SIMD calculations. RU: Исследованы архитектуры ядер CPU и GPU. Реализован алгоритм SAXPY на GPU. Получены зависимости времени выполнения алгоритма на CPU и GPU от размеров вычисляемых векторов. Сделан вывод о целесообразности применения GPU для SIMD вычислений.
  • Thumbnail Image
    Item
    The aggregation of point defects in dislocation-free silicon single crystals
    (Functional Materials, 2007) Таланін, Віталій Ігорович; Таланін, Ігор Євгенович; Сирота, Анатолій Васильович; Talanin Vitaliy I.; Talanin, Igor E.; Sirota, Anatoliy V.; Таланин, Виталий Игоревич; Таланин, Игорь Евгеньевич; Сирота, Анатолий Васильевич
    UK: Розглянута кінетика процесу формування центрів зародження вторинних мікродефектів в бездіслокаційних монокристалах кремнію. Показано що процес агрегації точкових дефектів, керований їх дифузією обусловлює ростові мікродефекти. EN: This papers considers the formation kinetics for grown-in microdefects nucleation centers in dislocation free silicon monocrystals. It demonstrates that diffusion-controlled aggregation of point defects determines the process of grown-in microdefects formation. RU: Рассмотрена кинетика процесса формирования центров зарождения ростовых микродефектов в бездислокационных монокристаллах кремния. Показано, что процесс агрегации точечных дефектов, управляемый их диффузией, обусловливает образование ростовых микродефектов.
  • Thumbnail Image
    Item
    The investigation of TLC model checker properties
    (University of Zagreb, Varaždin, Croatia, 2016) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.
    UK: У роботі проведено дослідження і порівняння властивостей методу перевірки на моделі TLC (TLA Checker). Розглянуто два підходи до використання методу. Перший підхід полягає в обході станів системи переходів методом обходу в ширину (BFS), другий – методом обходу в глибину (DFS). У якості моделі системи переходів використано структуру Кріпке. Проведено експериментальне дослідження, де в якості сценарію предметної області розглянуто використання композитного веб-сервісу. Одержані результати дослідження можуть бути використані для підвищення ефективності автоматизованої верифікації TLA+ специфікацій. EN: This paper presents the investigation and comparison of TLC model checking method (TLA Checker) properties. There are two different approaches to method usage which are considered. The first one consists of a transition system states attendance by breadth-first search (BFS), and the second one by depth-first search (DFS). The Kripke structure has been chosen as a transition system model. A case study has been conducted, where composite web service usage scenario has been considered. Obtained experimental results are aimed at increasing the effectiveness of TLA+ specifications automated verification. RU: В работе проведены исследование и сравнение свойств метода проверки на модели TLC (TLA Checker). Рассмотрены два подхода к использованию метода. Первый подход состоит в обходе состояний системы переходов методом обхода в ширину (BFS), второй подход – методом обхода в глубину (DFS). В качестве модели системы переходов использована структура Крипке. Проведено экспериментальное исследование, где в качестве сценария предметной области рассмотрено использование композитного веб-сервиса. Полученные результаты исследования могут быть использованы для повышения эффективности автоматизированной верификации TLA+ спецификаций.
  • Thumbnail Image
    Item
    The modeling of high-perfect silicon single crystals defect structure
    (Одеський національний університет імені І. І. Мечникова, 2007) Таланін, Віталій Ігорович; Таланін, Ігор Євгенович; Воронін, Олександр Олександрович; Сирота, Анатолій Васильович; Корягин, Сергій Андрійович; Talanin, Vitaliy I.; Talanin, Igor E.; Voronin, Alexander A.; Sirota, Anatolij V.; Koryagin, Sergey A.; Таланин, Виталий Игоревич; Таланин, Игорь Евгеньевич; Воронин, Александр Александрович; Сирота, Анатолий Васильович; Корягин, Сергей Андреевич
    UK: Розробка моделі дефектної структури бездислокаційних мнонокрісталлов кремнію. Моделювання процесів формування та взаємодії вирощених микродефектов, з використанням адекватної фізичної моделі. EN: Development of a model of the defective structure of dislocation-free silicon single crystals. Modeling the processes of formation and interaction of grown microdefects, using an adequate physical model. RU: Разработка модели дефектной структуры бездислокационных мнонокристаллов кремния. Моделирование процессов формирования и взаимодействия выращенных микродефектов, с использованием адекватной физической модели.
  • Thumbnail Image
    Item
    The system for control and accounting of working time
    (Faculty of Management Science and Informatics University of Zilina, 2017) Плахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей Борисович
    UK: Проведено порівняльний аналіз існуючих систем обліку робочого часу для висування вимог до власної системи. Створено специфікацію вимог програмного забезпечення системи контролю і обліку робочого часу. Проаналізовано залежності між компонентами запропонованого рішення. Для цього було використано інструментарій Electron. На основі результатів проведеного аналізу розроблено систему контролю і обліку робочого часу. Запропонована система є кросплатформним рішенням, що дозволяє контролювати та вести облік діяльності співробітника упродовж робочого часу. EN: The comparative analysis of existing timesheet systems for creating a number of requirements to own solution has been conducted. Software requirements specification for working time control and accounting system (time tracking) has been created. The dependencies between the components of proposed solution have been analyzed. For this purpose, the Electron framework has been used. Basing on the results of the analysis conducted the system for working time control and accounting has been proposed. The proposed system is a cross-platform solution that allows to control and account the activity of employee during the working time. RU: Проведен сравнительный анализ существующих систем учета рабочего времени для выдвижения требований к собственной системе. Создано спецификацию требований программного обеспечения системы контроля и учета рабочего времени. Проанализированы зависимости между компонентами предложенного решения. Для этого был использован инструментарий Electron. На основе результатов проведенного анализа разработана система контроля и учета рабочего времени. Предложенная система является кроссплатформенным решением, которое позволяет контролировать и вести учет деятельности сотрудника в течении рабочего времени.
  • Thumbnail Image
    Item
    WS-BPEL-модифікація методу TLC-верифікації
    (ЧП "Технологический Центр", 2013) Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович
    UK: Запропоновано модифікацію методу верифікації TLA Checker (TLC), напрямлену на зменшення часових витрат,обумовлених процесом перевірки WS-BPEL-описів композитних веб-сервісів на основі відповідних формальних TLA-моделей. Модифікація полягає у серії з BFS- та DFS-обходів. EN: To increase the confidence that Composite Web Service functional properties will correspond to our expectations the Formal Verification procedure can be conducted. In order to do that the appropriate specification formalism has to be chosen first. Temporal Logic of Actions TLA+ language usage represents the way to get compact and easily reconfigurable formal models. Broadly adopted WS-BPEL 2.0 OASIS standard can provide us with building blocks for such models retrieving. The aforementioned re-configurability is achievable by models stratification. As for transition system model the Kripke structure completely fits the domain. TLA Checker (TLC) as TLA Toolbox framework built-in component is a convenient way to get the job done. Despite that, comparing to UPPAAL tool performance for instance, the minor TLC tweaking has yet to be applied. To this end the modification of TLC-verification method has been proposed. Modification is based on TLA-models stratification coupled with the sequence of Breadth-first- (BFS) and Depth-first-searches (DFS). RU: Предложена модификация метода верификации TLA Checker (TLC), направленная на уменьшение временных издержек, обусловленных процессом проверки WS-BPEL-описаний веб-сервисов на основе соответствующих формальных TLA-моделей. Модификация заключается в серии из BFS- и DFS-обходов.
  • Thumbnail Image
    Item
    Автоматизоване керування відновленням працездатності мережевих пристроїв
    (Донецький національний технічний університет, 2015) Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Михайлютенко, Денис Юрійович; Михайлютенко, Денис Юрьевич; Mihaylyutenko, Denis Y.
    UK: В работі проведено аналіз проблемних ділянок мережі і варіантів покращення якості роботи мережевих пристроїв. Наведено метод оцінки надійності елементів мережі та новий принцип роботи з портами мікроконтролера. Представлена концепція відновлення працездатності мереж з повною автоматизацією процесів керування. Розроблено пристрій для автоматизації процесу відновлення працездатності мережевих пристроїв з метою покращення стабільності роботи мереж організацій. EN: The article analyzes the problematic sections of the network consider options for improving the quality work of the network devices. A method for assessing the reliability of the network elements and the new principle work of the ports of the microcontroller. The article introduces the concept of rehabilitation networks with full automation of management processes. Developed a device to automate disaster recovery the network devices in order to improve the stability work of the networks in organizations. As a bridgehead for research influence controllers of the network devices on the network reliability, choose a scheme the network that utilizes network devices. To evaluate the reliability of each of these devices, within 120 days, checked the status of that network equipment. According to the results of this research is calculated control factor, indicating the importance of the monitoring the devices in network segment. In conducting research examined condition monitoring functions of the network devices and their influence on the stability of the controllers network. Developed are circuit diagram and the program for the microcontroller, which is built on the basis the research. At all stages of the research used a systematic approach. All elements of the unit and their functionality in working condition were consid-ered as a single system, which is conventionally composed of two parts: analog and digital. In the analog portion of the device takes the necessary conversion of the output signal for further use, as well as power management controlled device. By the digital part is Atmega168 microcontroller and network controller ENC28J60. As a result, decided to develop a device based on microcontroller AVR, namely the controller status of network equipment. A feature of the device is minimal use different constituents, and therefore low cost with high functionality. The program was developed in an environment AVR Studio, which provides ample opportunities for setting up and development of various software for AVR microcontrollers. The device, which is obtain as a result of research the simplify search of nonworking parts of the network and allowed to automate remote of management power the network devices. RU: В работе проведен анализ проблемных участков сети и вариантов улучшения качества работы сетевых устройств. Приведен метод оценки надежности элементов сети и новый принцип работы с портами микроконтроллера. Представленная концепция восстановления трудоспособности сетей с полной автоматизацией процессов управления. Разработано устройство для автоматизации процесса восстановления работоспособности сетевых устройств с целью улучшения стабильности работы сетей организаций.
  • Thumbnail Image
    Item
    Автоматизоване тестування веб-платформ з використанням Java та Selenium
    (Міжрегіональна Академія управління персоналом, 2022) Киричек, Галина Григорівна; Тягунова, Марія Юріївна; Курач, Анна Ігорівна; Kirichek, Galina G.; Tiahunova, Mariia Yu.; Kurach, Anna I.; Киричек, Галина Григорьевна; Тягунова, Мария Юрьевна; Курач, Анна Игоревна
    UK: На даний час тестування програмного забезпечення є одним із основних етапів забезпечення контролю його якості та ефективності використання. Перехід на автоматизацію дозволяє скоротити час тес-тування і значно прискорити цій процес. Система, яка пропонується для реалізації, дозволить швидше та якісніше виконувати автоматизовані тести. Метою роботи є реалізація системи автоматизованого тестування веб-платформ із використанням мови програмування Java та інструменту Selenium, з підтримкою усіх популярних браузерів і операційних систем. Для досягнення основної мети пропонується вирішити наступні завдання: дослідити аналоги систем автоматизованого тестування; реалізувати метод автоматизованого тестування веб-платформ із використанням мови програмування Java та інструменту Selenium; розробити алгоритм запуску тестів в рамках системи для різних браузерів та операційних систем; навести метод автоматизованого тестування із використанням Maven та Selenium Web Driver та результати тестування системи в порівнянні з аналогами. Наукова новизна. Авторами пропонується застосовувати загальний фреймворк автоматизованого тестування, як систему, набір умов, концепцій та практик, спрямованих на перевикористання, зменшення витрат на підтримку, підвищення надійності, швидкості та якості виконання тестів, включаючи його використання широким колом фахівців, включаючи розробників та спеціалістів з ручного тестування. Висновком, у роботі є те, що структура тестів реалізована за допомогою анотацій, що є зрозумілою для користувача та інфор-мує систему про призначення поміченого коду. Окрім цього, при запуску та виконанні автоматизованих тестів за допомогою TestNG, використовується багатопотоковість, яка дозволяє одночасно виконувати декілька тестів. Перевагою системи є: підтримка різних браузерів та операційних систем; кращі швидкісні характеристики; детальна система звітів за результатами тестувань; умовна безкоштовність та реалізація проекту з відкритим вихідним кодом. EN: Currently, software testing is one of the main stages of ensuring control over its quality and efficiency. Switching to automation reduces test time and significantly speeds up the process. The system proposed for implementation will allow you to perform automated tests faster and better. The aim of the work is to implement an automated testing system of web platforms using the Java programming language and the Selenium tool, with support for all popular browsers and operating systems. To achieve the main aim, it is proposed to solve the following tasks: to research the analogs of automated testing systems; to implement a method of automated testing of web platforms using the Java programming language and the Selenium tool; to develop an algorithm for running tests within the system for different browsers and operating systems; to give the method of automated testing using Maven and Selenium Web Driver and the results of testing the system in comparison with analogs. Scientific novelty. The authors proposed to use the general framework of automated testing as a system, set of conditions, concepts, and practices aimed at reuse, reduce maintenance costs, improve reliability, speed, and quality of test performance, including its use by a wide range of professionals, including developers and specialists in manual testing. The conclusion of the paper is that the structure of the tests is implemented using annotations, which are understandable to the user and inform the system about the purpose of the observed code. In addition, when running and running automated tests with TestNG, multithreading is used, which allows you to run multiple tests at the same time. The advantages of the system are: support for different browsers and operating systems; best speed characteristics; detailed system of reports on test results; conditional free and open source project implementation. RU: В настоящее время тестирование программного обеспечения является одним из основных этапов обеспечения контроля качества и эффективности использования. Переход на автоматизацию позволяет сократить время тестирования и значительно ускорить этот процесс. Предлагаемая для реализации система позволит быстрее и качественнее выполнять автоматизированные тесты. Целью работы является реализация системы автоматизированного тестирования веб-платформ с использованием языка программирования Java и инструмента Selenium с поддержкой всех популярных браузеров и операционных систем. Для заслуги основной цели предлагается решить следующие задачки: изучить аналоги систем автоматизированного тестирования; реализовать метод автоматизированного тестирования веб-платформ с использованием языка программирования Java и инструмента Selenium; разработать алгоритм запуска тестов в рамках системы для разных браузеров и операционных систем; привести метод автоматизированного тестирования с помощью Maven и Selenium Web Driver и результаты тестирования системы по сравнению с аналогами. Научная новизна. Авторами предлагается применять общий фреймворк автоматизированного тестирования как систему, набор условий, концепций и практик, направленных на переиспользование, уменьшение затрат на поддержку, повышение надежности, скорости и качества выполнения тестов, включая его использование широким кругом специалистов, включая разработчиков и специалистов по ручному тестированию. . Выводом в работе является то, что структура тестов реализована с помощью аннотаций, что понятно пользователю и информирует систему о назначении замеченного кода. Кроме этого, при запуске и выполнении автоматизированных тестов с помощью TestNG используется многопоточность, которая позволяет одновременно выполнять несколько тестов. Преимуществом системы есть: поддержка различных браузеров и операционных систем; лучшие скоростные характеристики; подробная система отчетов по результатам тестирований; условная бесплатность и реализация проекта с открытым исходным кодом.
  • Thumbnail Image
    Item
    Алгоритм фільтрації для системи визначення плагіату в програмному коді
    (НТУ "ХПИ", 2013) Киричек, Олександр Олександрович; Киричек, Александр Александрович; Kirichek, Alexander A.; Амонс, Олександр Анатолійович; Амонс, Александр Анатольевич; Amons, Alexander A.; Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.
    UK: Запропоновано новий алгоритм фільтрації, як частина системи визначення плагіату в програмному коді. Дослідження присвячено вирішенню задачі відсічення файлів шаблону і фрагментів програмного коду проекту до застосування основних алгоритмів оцінки подібності. RU: Предложен новый алгоритм фильтрации, как часть системы определения плагиата в программном коде. Исследование посвящено решению задачи отсечки файлов шаблона и фрагментов программного кода проекта до применения основных алгоритмов оценки подобия. EN: A new filtering algorithm, as part of the system definition plagiarism in the program code. Research is devoted to the task of clipping template files and program code fragments from the project before applying the basic algorithms for the assessment of similarity.
  • Thumbnail Image
    Item
    Алгоритмізація параметрів процесу навчання
    (Донецький національний технічний університет, 2013) Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Вершина, Олександр Іванович; Вершина, Александр Иванович; Vershina, Alexander I.
    UK: Запропоновано структурований підхід до отримання алгоритму визначення і використання параметрів навчального процесу з позиції засвоєння та перевірки знань. Процес навчання описано як марковський і представлено сукупністю станів і постійністю ймовірностей переходів між ними. Ступінь засвоєння матеріалу, який вивчається студентами визначено як сукупність станів якісного і неякісного його засвоєння на різних етапах процесу навчання. RU: Предложен структурированный подход к получению алгоритма определения и использования параметров учебного процесса с позиции усвоения и проверки знаний. Процесс обучения описан как Марковский и представлен совокупностью состояний и постоянством вероятностей переходов между ними. Степень усвоения изучаемого материала студентами определяется как совокупность состояний качественного и некачественного его усвоения на различных этапах процесса обучения. EN: The paper offers a structured approach to obtaining and using the algorithm for determining the parameters of the learning process from the perspective of learning and knowledge testing. The degree of mastering the material by students is defined as high and low quality of learning at various stages of the learning process. The relevance of the solutions is related to theoretical research and practical results in the development of automated systems for the educational process in higher education that improves the quality of education - a major component of which is the development of evaluation methods and improving its quality. Effective management of the learning process by using automated systems is possible when we know the mathematical description of the set of characteristics and criteria that changes depending on the objectives set in the development of automated data systems. Professionals involved in these matters can select the set of characteristics and criteria. Therefore, the construction of the mathematical description - the identification of the learning process - is an important step in creating any automated system of supporting the educational process with taking in scope the possible influence on the quality. The paper shows the structure of the learning process modeling different types of knowledge check and having (for complex testing of knowledge) simultaneous transitions to several previous stages of learning. An approach involving Markov chains made it possible to determine such characteristics as the expected number of time points of the process in different states and the probability of getting to this or that absorbing state. The first is the basis for estimating the cost of training; the second is the quality at the process output. Using the concept of "states" of students, based on the degree of mastering the material, is determined by a set of states of high and low quality of learning at various stages of the learning process. This leads to a significant increase in the dimension of the transition matrix, which determines the order of the transitions between these states, taking into account the stages of training. The quality at the output of the process with several stages of decision-making and analysis is defined as the product of the probabilities of obtaining high quality solutions from each stage of decision-making.
  • Thumbnail Image
    Item
    Анализ моделей облачных сервисов для образовательного процесса
    (Запорізький національний технічний університет, 2016) Сирота, Анатолій Васильович; Sirota, Anatoliy V.; Сирота, Анатолий Васильевич
    Розглянуто три базові моделей побудови хмари: програмне забезпечення як сервіс, платформа як сервіс, інфраструктура як сервіс. EN: Three basic cloud building models are considered: software as a service, platform as a service, infrastructure as a service. RU: Рассмотрены три базовые моделей построения облака: программное обеспечение как сервис, платформа как сервис, инфраструктура как сервис.
  • Thumbnail Image
    Item
    Аналіз оптоелектронних логічних елементів квазіімпульснопотенціального типу
    (Кременчуцький університет економіки, інформаційних технологій і управління, 2010) Проскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
    UK: Проведена оцінка схем оптоелектронних логічних елементів квазіімпульснопотенціального типу, їх вхідних і вихідних ланцюгів. Для підвищення частоти модуляції сигналу світло діоду на виході схем оптоелектронних логічних елементів запропоновано використати режим «малого сигналу». Проаналізовано залежності загасання випромінювання між модулями передачі і приймання для джерел випромінювання і фотоприймачів від частоти для їх відбору. Обгрунтовується актуальність подальших досліджень галузі інтеграції схем оптичних логічних елементів в цифрові оптоелектронні інтегральні схеми. EN: The schemes of optoelectronic logic elements of quasi-pulse-potential type, their input and output circuits were evaluated. To increase the modulation frequency of the signal, the diode light at the output of optoelectronic logic circuits is proposed to use the “small signal” mode. The dependences of the radiation attenuation between transmission and reception modules for radiation sources and photodetectors on frequency for their selection are analyzed. The relevance of further research in the field of the integration of optical logic circuits into digital opto-electronic integrated circuits is substantiated. RU: Проведена оценка схем оптоэлектронных логических элементов квазиимпульснопотенциального типа, их входных и выходных цепей. Для повышения частоты модуляции сигнала свет диода на выходе схем оптоэлектронных логических элементов предложено использовать режим «малого сигнала». Проанализированы зависимости затухания излучения между модулями передачи и приема для источников излучения и фотоприемников от частоты для их отбора. Обосновывается актуальность дальнейших исследований в области интеграции схем оптических логических элементов в цифровые оптоэлектронные интегральные схемы.
  • Thumbnail Image
    Item
    Апаратне забезпечення вбудованих систем: від плат на дискретних ІС до одноплатних комп`ютерів.
    (Оргкомитет МНИК "Конференция онлайн", 2020) Проскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
    UK: Проведено огляд конструктивно-технологічних рішень (КТР) для розробки вбудованих систем (ВС), надано їх характеристики. Показано розвиток їх у напряму збільшення кількості зв`язків, інтерфейсів, АЦП, ЦАП, адаптивності і універсальності під різноманітні завдання. EN: The review of design and technological solutions (ВTЫ) for the development of embedded systems (ES) is carried out, their characteristics are provided. Their development is shown in the direction of increasing the number of connections, interfaces, ADCs, DACs, adaptability and versatility for various tasks of ES. RU: Проведен обзор конструктивно-технологических решений (КТР) для разработки встроенных систем (ВС), предоставлено их характеристики. Показано развитие их в направлении увеличения количества связей, интерфейсов, АЦП, ЦАП, адаптивности и универсальности под различные задачи ВС.
  • Thumbnail Image
    Item
    Вибір базису оптоелектронних логічних схем
    (Оргкомітет МНІК "Конференція онлайн", 2021) Проскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
    UK: Проведено огляд логічних базисів для електронних ІС, виділено переваги базису nАБО-НІ для оптоелектронних ІС, що засновані на паралельному розташуванні ФД n вхідних змінних і/або можливості формування пасивної частини (підфункція nАБО) за рахунок використання Y- подібних оптичних розгалужувачів EN: A review of the logical bases for electronic ICs is carried out, the advantages of the nOR-NOT basis for optoelectronic ICs are highlighted, based on the parallel arrangement of PDs of n input variables and/or the possibility of forming a passive part (nOR subfunction) due to the use of Y-like optical splitters RU: Проведен обзор логических базисов для электронных ИС, выделены преимущества базиса nИЛИ-НЕ для оптоэлектронных ИС, основанные на параллельном расположении ФД n входных переменных и/или возможности формирования пассивной части (подфункция nИЛИ) за счет применения Y- подобных оптических разветвителей
  • Thumbnail Image
    Item
    Визначення об'єктів з використанням дерева квадрантів
    (Донецький національний технічний університет, 2018) Киричек, Галина Григорівна; Курай, Вячеслав Іванович; Kirichek, Galina G.; Kurai, Viacheslav I.; Киричек, Галина Григорьевна; Курай, Вячеслав Иванович
    UK: В роботі приводиться аналіз методів сегментації та порівняння зображень і пропонується, використання методу дерева квадрантів, для рекурсивної розбивки і порівняння зображень, як можливе рішення, коли компактне представлення зображення та високоефективний доступ до елементів, являються ключовими вимогами до системи EN: In this work proposed to use the quadtree method, for recursive decomposition and image comparison as the possible solution, when compact image representation and high-efficiency access to elements are key sys-tem requirements. Objectives of work are: conduct research and choose the method of image processing; recursive partitioning and representation in form of quadtree; conducting a comparison of the results of partitioning of two images, saving the found differences in the third resulting image and automation of image processing. Purpose of work is to conduct research and develop methods, models and means of digital images processing to determine the objects, with quadtree method implementation for recursive partitioning and images comparison. The proposed method for identifying different image areas that have been improved by obtaining of image part in the form of quadrants that contain the coordinates and color of image part and obtained the approach of convenient data manipulation to reduce memory consumption and providing quick access to image elements. The system detection of objects had been working out as the method of images fixation, comparing them and preserving differences. The authors received a mechanism for processing graphics information, for the purpose of its further interpretation by a person in medicine (analysis of X-rays), or to compare terrain maps to detect objects that appear or disappear, etc. The data structure of quadrant tree was researched. The dependence established between the quality of image comparison and such characteristics of the quadtree such as the minimum size of the node and the distance of colors in the middle of the node. The software implementation of quadtree method for comparison of two-dimensional images had been presenting. RU: В работе приводится анализ методов сегментации и сравнения изображений и предлагается, использование метода дерева квадрантов, для рекурсивной разбивки и сравнения изображений, как возможное решение, когда компактное представление изображения и высокоэффективный доступ к элементам, являются ключевыми требованиями к системе.
  • Thumbnail Image
    Item
    Визначення пріоритетів завдань у розподіленій системі
    (Academic Senate of Chernivtsi National University, 2011) Дьячук, Тетяна Сергіївна; Diachuk, Tetiana S.; Дьячук, Татьяна Сергеевна
    UK: Запропоновано метод розрахунку пріоритету завдання, що надходить в розподілену систему. Сортування завдань відповідно до пріоритетів необхідне для вирішення задачі планування ресурсів та визначення порядку вирішення завдань. Розглянуто алгоритм обслуговування завдання користувачів та запропоновано методику, що дозволяє оцінити загальні затрати часу на виконання завдання. EN: The method for calculating the task priorities in a distributed system is submitted. Sorting of tusks according to the priorities is needed to address the problem of resource scheduling and determine the order of decision tasks. The algorithm of user's task service and estimation method of the total time spent for the task execution are developed. RU: Предложен метод расчета приоритета задания, поступающего в распределенную систему. Сортировка заданий согласно приоритетам необходима для решения задачи планирования ресурсов и определения порядка решения заданий. Рассмотрен алгоритм обслуживания пользовательского задания и предложена методика, позволяющая оценить общие затраты времени на выполнение задания.