ПОВЕДІНКОВА МОДЕЛЬ ТЕСТУВАННЯ ЕНЕРГОВИТРАТ МЕРЕЖЕВИХ СИСТЕМ

Анотація

У запропонованої роботі представлена поведінкова модель тестування компонентів
мережевих систем, розширена можливістю перевірки їх енергоспоживання в режимі, фоновому по
відношенню до тестового контролю. Метою роботи є досягнення більшої повноти в поведінковому
тестуванні мережевих систем, що виконується на основі побудови контрольних експериментів для
мереж Петрі за рахунок розширення їх властивостями реєстрації енерговитрат. Для досягнення
мети в роботі вирішується завдання розвитку моделі тестування компонентів мережевих систем
засобами аналізу енергоспоживання. Для цього в що представляють компоненти розширені мережі
Петрі введені мітки-реєстратори трирівневої ієрархічної структури відображають як детальні,
так і сумарні енерговитрати. Мітки підтримують експертно-статистичні метрики і функції енерговитрат і забезпечують динамічну транспортування і накопичення показників енерговитрат в
процесі свого переміщення між позиціями і переходами. Модель тестування зберігає здатність побудови і використання тестових примітивів, визначених як вектора комплектів суміжних позиційпереходів з ідентифікацією відповідних умов та соціальні обставини. Розширення ідентифікаторів,
тестових примітивів показниками енергоспоживання дозволило додатково застосувати їх для аналізу енерговитрат як у процесі синтезу поведінкових тестів, так і при тестовому моделюванні. Реєстрація та аналіз виконуються як визначення, розподіл-об'єднання і збереження узагальнених показників енерговитрат для вершин, топологічних елементів і підмереж деякої еталонної мережі Петрі. Таким чином, модель визначає умови синтезу тестів для мережевих систем, що виконують функціональну перевірку, розширену аналізом енерговитрат, при порівнянні деякого об'єкта з еталоном, і
дає основу для побудови процедур синтезу поведінкових тестів для компонентів мережевих систем,
розширених детальної і сумарною перевіркою коректності їх енергоспоживання.