Record Details

ESTIMATION OF TIME SPENT ON IDENTIFICATION OF INCORRECT SOLUTIONS DURING CLASSIFICATION OF OBJECTS USING COLORED PETRI NETS

Наукові журнали Національного Авіаційного Університету

View Archive Info
 
 
Field Value
 
Title ESTIMATION OF TIME SPENT ON IDENTIFICATION OF INCORRECT SOLUTIONS DURING CLASSIFICATION OF OBJECTS USING COLORED PETRI NETS
ОЦЕНИВАНИЕ ЗАТРАТ ВРЕМЕНИ НА ВИЯВЛЕНИЕ НЕКОРРЕКТНЫХ РИШЕНИЙ ПРИ КЛАССИФИКАЦІИ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ
Оцінка затрат часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі
 
Creator Тімочко, О. О.; Льотна академія Національного авіаційного університету
Тихомиров, О. М.; Державний університет інфраструктури та технологій
Гойжевський, О. В.; Державний університет інфраструктури та технологій
Губаревич, О. В.; Державний університет інфраструктури та технологій
 
Subject Information technology
decision support system; test suite; completeness of test coverage; reliability of test suites; scale of significant factors; adequacy; reliability; time consuming; colored Petri nets
519.179.2 : 004.415.5 : 351.814.33(045)
Информационные технологии
система поддержки принятия решений; тестовый набор; полнота тестового покрытия; достоверность тестовых наборов; шкала значимых факторов; адекватность; достоверность; затраты времени; раскрашенные сети Петри
519.179.2 : 004.415.5 : 351.814.33(045)
Інформаційні технології
система підтримки прийняття рішень; тестовий набір; повноти тестового покриття; достовірність тестових наборів; шкала значущих чинників; адекватність; достовірність; витрати часу; розфарбовані мережі Петрі
519.179.2 : 004.415.5 : 351.814.33(045)
 
Description There is a known procedure for evaluating the effectiveness of the method of replenishing and monitoring the correctness of a hierarchical knowledge base of a decision support system. But the approaches to assessing the quality of the verification method of a software product for the classification of air objects constructed using colored Petri nets are not fully formed. The purpose of the article is to estimate the time spent on identifying incorrect decisions when classifying objects using colored Petri nets. The time spent on identifying one unaccounted elementary object depending on the number of features, the number of classes, and the number of generalized objects obtained is given. It has been established that with an increase in the size of the knowledge base, the time spent on the execution of the algorithm grows polynomially and no worse than in the quadratic dependence. The adequacy of the designed test suites was evaluated using colored Petri nets. The composition of indicators that characterize the quality of test suites was determined. These indicators are indicators of test coverage and reliability of test suites. The main indicator is the completeness of the test coverage requirements, additional – the completeness of the test coverage based on the analysis of control flows. It is revealed how the method of designing test cases affects the performance. The reliability of the designed test kits was estimated using colored Petri nets. To assess the value of the indicator, many factors, the weight of each factor and the relative errors of the initial information are taken into account. Values of the confidence index are calculated for fixed values of the relative error (= 10%, 20%, 40%, 80%). Carefully put together a variety of factors used in the design of test kits. For comparison were considered: a well-known approach to the design of test suites based on traditional decision tables; method of designing test suites based on the use of colored Petri nets. The completeness of coverage of functional requirements with test suites at the level of system software testing was evaluated. For a colored Petri net, it makes up to 98%, and for traditional tables - up to 60%.
Известен порядок оценки эффективности метода пополнения и контроля корректности иерархической базы знаний системы поддержки принятия решений. Но подходы к оценке качества метода верификации программного продукта для классификации воздушных объектов, построенного с использованием раскрашенных сетей Петри, до конца не сформированы. Цель статьи – оценить затраты времени на выявление некорректных решений при классификации объектов с применением раскрашенных сетей Петри. Приведены затраты времени на выявление одного неучтенного элементарного объекта в зависимости от количества признаков, от количества классов, от количества получаемых обобщенных объектов. Установлено, что с увеличением размера базы знаний затраты времени на выполнение алгоритма растут полиномиально и не хуже, чем в квадратичной зависимости. Оценена адекватность спроектированных тестовых наборов с использованием раскрашенных сетей Петри. Определен состав показателей, которые характеризуют качество тестовых наборов. Такими показателями являются показатели тестового покрытия и достоверности тестовых наборов. Основным показателем является полнота тестового покрытия требований, дополнительным – полнота тестового покрытия на базе анализа потоков управления. Выявлено, как метод проектирования тестовых наборов влияет на показатели. Оценена достоверность спроектированных тестовых наборов с использованием раскрашенных сетей Петри. Для оценки значения показателя достоверности учтены множество факторов, вес каждого фактора и относительные погрешности начальной информации. Значения показателя достоверности рассчитаны для фиксированных значений относительной погрешности ( = 10%, 20%, 40%, 80%). Тщательно составлено множество факторов, используемых при проектировании тестовых наборов. Для сравнения рассматривались: известный подход к проектированию тестовых наборов на основе традиционных таблиц решений; метод проектирования тестовых наборов на основе использования раскрашенных сетей Петри. Оценена полнота покрытия функциональных требований тестовыми наборами на уровне системного тестирования программного обеспечения. Для раскрашенной сети Петри она составляет до 98%, а для традиционных таблиц – до 60%.
Відомий порядок оцінки ефективності методу поповнення і контролю коректності ієрархічної бази знань системи підтримки прийняття рішень. Але підходи до оцінки якості методу верифікації програмного продукту для класифікації повітряних об’єктів, побудованого з використанням розфарбованих мереж Петрі, до кінця не сформовані. Мета статті – оцінити затрати часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі. Наведені витрати часу на виявлення одного неврахованого елементарного об’єкта залежно від кількості ознак, від кількості класів, від кількості отримуваних узагальнених об’єктів. Встановлено, що зі збільшенням розміру бази знань витрати часу на виконання алгоритму ростуть поліноміально і не гірше, ніж в квадратичній залежності. Здійснено оцінку адекватності спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Визначено склад показників, що характеризують якість тестових наборів. Такими показниками є показники тестового покриття і достовірності тестових наборів. Основним показником є повнота тестового покриття вимог, додатковим – повнота тестового покриття на базі аналізу потоків управління. Виявлено, як метод проектування тестових наборів впливає на показники. Оцінена достовірність спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Для оцінки значення показника достовірності враховані множина чинників, вага кожного чинника і відносні похибки початкової інформації. Значення показника достовірності розраховані для фіксованих значень відносної погрішності ( = 10%, 20%, 40%, 80%). Ретельно складена множина чинників, використовуваних при проектуванні тестових наборів. Для порівняння розглядалися: відомий підхід до проектування тестових наборів на основі традиційні таблиці рішень; метод проектування тестових наборів на основі використання розфарбованих мереж Петрі. Оцінка повноти покриття функціональних вимог тестовими наборами на рівні системного тестування програмного забезпечення для розфарбованої мережі Петрі складає до 98%, а для традиційних таблиць – до 60%.
 
Publisher National Aviation University
 
Contributor —
—
—
 
Date 2018-12-14
 
Type —
—
—
 
Format application/pdf
 
Identifier http://jrnl.nau.edu.ua/index.php/SBT/article/view/13268
10.18372/2310-5461.40.13268
 
Source Наукоємні технології; Том 40, № 4 (2018); 428-436
Science-based technologies; Том 40, № 4 (2018); 428-436
Наукоемкие технологии; Том 40, № 4 (2018); 428-436
 
Language uk
 

Технічна підтримка: НДІІТТ НАУ