Оцінка затрат часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі

Анотація

Відомий порядок оцінки ефективності методу поповнення і контролю коректності ієрархічної бази знань системи підтримки прийняття рішень. Але підходи до оцінки якості методу верифікації програмного продукту для класифікації повітряних об’єктів, побудованого з використанням розфарбованих мереж Петрі, до кінця не сформовані.

Мета статті – оцінити затрати часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі.

Наведені витрати часу на виявлення одного неврахованого елементарного об’єкта залежно від кількості ознак, від кількості класів, від кількості отримуваних узагальнених об’єктів.

Встановлено, що зі збільшенням розміру бази знань витрати часу на виконання алгоритму ростуть поліноміально і не гірше, ніж в квадратичній залежності.

Здійснено оцінку адекватності спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Визначено склад показників, що характеризують якість тестових наборів. Такими показниками є показники тестового покриття і достовірності тестових наборів. Основним показником є повнота тестового покриття вимог, додатковим – повнота тестового покриття на базі аналізу потоків управління. Виявлено, як метод проектування тестових наборів впливає на показники.

Оцінена достовірність спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Для оцінки значення показника достовірності враховані множина чинників, вага кожного чинника і відносні похибки початкової інформації. Значення показника достовірності розраховані для фіксованих значень відносної погрішності ( = 10%, 20%, 40%, 80%). Ретельно складена множина чинників, використовуваних при проектуванні тестових наборів. Для порівняння розглядалися: відомий підхід до проектування тестових наборів на основі традиційні таблиці рішень; метод проектування тестових наборів на основі використання розфарбованих мереж Петрі.

Оцінка повноти покриття функціональних вимог тестовими наборами на рівні системного тестування програмного забезпечення для розфарбованої мережі Петрі складає до 98%, а для традиційних таблиць – до 60%.