Показать сокращенную информацию
dc.contributor.author | Martynyuk, Oleksandr![]() |
|
dc.contributor.author | Мартинюк, Олександр Миколайович![]() |
|
dc.contributor.author | Drozd, Oleksandr![]() |
|
dc.contributor.author | Дрозд, Олександр Валентинович![]() |
|
dc.contributor.author | Stepova, Hanna![]() |
|
dc.contributor.author | Степова, Ганна Сергіївна![]() |
|
dc.contributor.author | Antonyuk, Viktor![]() |
|
dc.contributor.author | Антонюк, Віктор Вікторович![]() |
|
dc.contributor.author | Martynyuk, Dmytro![]() |
|
dc.contributor.author | Мартинюк, Дмитро Олександрович![]() |
|
dc.date.accessioned | 2025-02-19T09:27:57Z | |
dc.date.available | 2025-02-19T09:27:57Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | Martynyuk, O., Drozd, O., Stepova, H., Antonyuk, V., Martynyuk, D. (2020). Behavioral agent testing of distributed information systems. CEUR Workshop Proceedings, Volume 2762, P. 110-121. | en |
dc.identifier.issn | 16130073 | |
dc.identifier.uri | http://dspace.opu.ua/jspui/handle/123456789/14966 | |
dc.description.abstract | The use of multi-agent technologies in modern distributed information systems, that due to the increasingly demanded properties of autonomy, mobility, intelligence, cooperation, determines their appearance in the tools of online and offline testing. This work presents an agent-based check model of behavioral testing of a component of a distributed information system in its resource environment. This agent check model has the features of the composition of the reactive online and deliberative offline components of testing, suggesting deterministic and evolutionary methods of decomposition behavioral testing. To ensure autonomy and mobility, the agent-based check model defines the resource model of the component deployment environment, models of its goals and test strategies, signatures of multi-agent operations, as part of observation, strategy execution and adaptation, as well as initial models, goals and test strategies of the component. For the intelligence of the agent-based check model, its main components are also defined as individuals in the population of evolutionary test generation, which is proposed as an implementation of the deliberative component testing strategy. For the cooperation of agent-based check models in the network and multi-level interaction of their reactive and deliberative components, there are cooperative definitions for resource models of placement, goals and strategies, operations and initializations, realizability and transportability into the network DIS model, inheritance into the hierarchical DIS model. The check model defines the formal conditions/requirements for the performance of the behavioral online and offline testing, that performed by the multi-agent system of testing, and can be taken as the basic one, when constructing methods and special distributed behavioral test systems. | en |
dc.language.iso | en | en |
dc.publisher | CEUR-WS | en |
dc.subject | distributed information system | en |
dc.subject | online and offline testing | en |
dc.subject | behavioral testing | en |
dc.subject | agent | en |
dc.subject | multi-agent system | en |
dc.subject | evolutionary check model | en |
dc.title | Behavioral agent testing of distributed information systems | en |
dc.type | Article in Scopus | en |
opu.citation.journal | CEUR Workshop Proceedings | en |
opu.citation.firstpage | 110 | en |
opu.citation.lastpage | 121 | en |