В статье предложена модель для тестирования программного обеспечения на основе гибридных
ресурсных сетей. Определено понятие десятичного эквивалента структуры данных. Представлен
метод проведения тестирования на основе гибридных ресурсных сетей, десятичного эквивалента и
дифференциального исчисления. Представлена архитектура системы для автоматизированного
тестирования и верификации программного обеспечения (ПО). Рассмотрены одни из основных
компонентов системы: менеджер задач, визуальный редактор графов с применением силовых
алгоритмов позиционирования вершин графа в визуальном редакторе и редактор спецификации.
Спроектирована архитектура визуального редактора графов с применением шаблонов
проектирования. Предложена реализация менеджера задач в виде RESTful веб-сервиса.
У статті запропонована модель для тестування програмного забезпечення на основі гібридних ресурс-
них мереж. Визначено поняття десяткового еквіваленту структури даних. Представлений метод проведення тестування на основі гібридних ресурсних мереж, десяткового еквіваленту і диференціального числення.
Представлена архітектура системи для автоматизованого тестування і верифікації програмного забезпечення(ПО). Розглянуті одні з основних компонентів системи : менеджер завдань, візуальний редактор графів із застосуванням силових алгоритмів позиціонування вершин графа у візуальному редакторові і редактор специфікації. Спроектована архітектура візуального редактора графів із застосуванням шаблонів проектування.
Запропонована реалізація менеджера завдань у вигляді RESTful веб-сервісу.
In the article offers a software testing model on the basis of hybrid resource networks. The concept of data
structure decimal equivalent is certain. The method of model testing software is presented on the basis of hybrid resource networks, decimal equivalent and differential calculation. Architecture of the system the automated testing and verification of software is presented. One of basic components of the system are considered: manager of tasks, visual graph editor with the use of power algorithms for graph vertex positioning in a visual editor and editor of specification. Architecture of visual graph editor is projected with the use of templates of planning. offers realization task manager as RESTful of web service
