Представлена поведенческая модель тестирования компонентов сетевых систем,
расширенная проверкой их энергопотребления в ходе рабочего и тестового контроля. Модель основана на представлении компонентов расширенными сетями Петри, обладает особенностями накопительного критерия обобщенных энергозатратных вход-выходных переключений сетей Петри и идентификации поведения в процессе проверки. Модель позволяет определить условия процедур поведенческого контроля с анализом и проверкой энергопотребления
The proposed work presents a behavioral model for testing the components of network systems, expanded by the ability to verify their energy consumption in a mode that is background in relation to the test control. The aim of the work is to achieve greater completeness in behavioral testing of network systems performed on the basis of constructing control experiments for Petri nets by expanding their energy
recording properties. To achieve the goal, the task of developing a model for testing components of network systems by means of energy consumption analysis is being solved. For this purpose, the label-recorders of the three-level hierarchical structure displaying both detailed and total energy inputs have been introduced
into the representing components of the extended Petri nets. The tags support expert-statistical metrics and energy-cost functions and ensure dynamic transportation and accumulation of energy costs in the process of their movement between positions and transitions. The testing model retains the ability to construct and use
test primitives defined as vectors of sets of contiguous transition positions with the identification of relevant conditions and events. Extension of identifiers, test primitives with energy consumption indicators allowed to additionally apply them for the analysis of energy costs both in the process of synthesizing behavioral tests and during test modeling. Registration and analysis are performed as a definition, distribution-association and preservation of generalized power consumption indicators for vertices, topological elements and subnets of some Petri reference network. Thus, the model defines the conditions for the synthesis of tests for network systems performing functional testing, extended by energy cost analysis, when comparing an object with a
standard, and provides the basis for constructing procedures for the synthesis of behavioral tests for network system components expanded by detailed and total verification of their energy consumption.
У запропонованої роботі представлена поведінкова модель тестування компонентів мережевих систем, розширена можливістю перевірки їх енергоспоживання в режимі, фоновому по відношенню до тестового контролю. Метою роботи є досягнення більшої повноти в поведінковому тестуванні мережевих систем, що виконується на основі побудови контрольних експериментів для мереж Петрі за рахунок розширення їх властивостями реєстрації енерговитрат. Для досягнення мети в роботі вирішується завдання розвитку моделі тестування компонентів мережевих систем засобами аналізу енергоспоживання. Для цього в що представляють компоненти розширені мережі
Петрі введені мітки-реєстратори трирівневої ієрархічної структури відображають як детальні, так і сумарні енерговитрати. Мітки підтримують експертно-статистичні метрики і функції енерговитрат і забезпечують динамічну транспортування і накопичення показників енерговитрат в процесі свого переміщення між позиціями і переходами. Модель тестування зберігає здатність побудови і використання тестових примітивів, визначених як вектора комплектів суміжних позиційпереходів з ідентифікацією відповідних умов та соціальні обставини. Розширення ідентифікаторів, тестових примітивів показниками енергоспоживання дозволило додатково застосувати їх для аналізу енерговитрат як у процесі синтезу поведінкових тестів, так і при тестовому моделюванні. Реєстрація та аналіз виконуються як визначення, розподіл-об'єднання і збереження узагальнених показників енерговитрат для вершин, топологічних елементів і підмереж деякої еталонної мережі Петрі. Таким чином, модель визначає умови синтезу тестів для мережевих систем, що виконують функціональну перевірку, розширену аналізом енерговитрат, при порівнянні деякого об'єкта з еталоном, і дає основу для побудови процедур синтезу поведінкових тестів для компонентів мережевих систем, розширених детальної і сумарною перевіркою коректності їх енергоспоживання.
