Важливість впровадження стандарту ISO/IEC 17025:2019 у процес державних випро...tetiana1958
29 травня 2024 року на кафедрі зоології, ентомології, фітопатології, інтегрованого захисту і карантину рослин ім. Б.М. Литвинова факультету агрономії та захисту рослин Державного біотехнологічного університету було проведено відкриту лекцію на тему «Важливість впровадження стандарту ISO/IEC 17025:2019 у процес державних випробувань пестицидів: шлях до підвищення якості та надійності досліджень» від кандидата біологічних наук, виконавчого директора ГК Bionorma, директора Інституту агробіології Ірини Бровко.
Участь у заході взяли понад 70 студентів та аспірантів спеціальностей 202, 201 та 203, а також викладачі факультету та фахівці із виробництва. Тема лекції є надзвичайно актуальною для сільського господарства України і викликала жваве обговорення слухачів та багато запитань до лектора.
Дякуємо пані Ірині за приділений час, надзвичайно цікавий матеріал та особистий внесок у побудову сучасного захисту рослин у нашій країні!
«Слова і кулі». Письменники, що захищають Україну. Єлизавета Жаріковаestet13
До вашої уваги історія про українську поетку, бойову медикиню, музикантку – Єлизавету Жарікову, яка з початку повномасштабної війни росії проти України приєдналася до лав ЗСУ.
Регіональний центр євроатлантичної інтеграції України, що діє при відділі документів із гуманітарних, технічних та природничих наук, підготував віртуальну виставку «Допомога НАТО Україні».
1. МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
ЧЕРКАСЬКИЙ ДЕРЖАВНИЙ ТЕХНОЛОГІЧНИЙ УНІВЕРСИТЕТ
ЛИСЕНКО ІРИНА АНАТОЛІЇВНА
УДК 004.891:681.518.5
КАСКАДНІ МЕТОДИ ПОБУДОВИ ТЕСТОВИХ НАБОРІВ
ДЛЯ ПІДВИЩЕННЯ ГЛИБИНИ ТЕСТУВАННЯ В
ІНФОКОМУНІКАЦІЙНИХ СИСТЕМАХ
05.13.06 – інформаційні технології
Автореферат
дисертації на здобуття наукового ступеня
кандидата технічних наук
Черкаси – 2017
2. Дисертацією є рукопис.
Робота виконана на кафедрі програмування та захисту інформації
Кіровоградського національного технічного університету Міністерства освіти і
науки України.
Науковий керівник доктор технічних наук, професор
Смірнов Олексій Анатолійович,
Кіровоградський національний технічний університет,
завідувач кафедри програмування та захисту інформації.
Офіційні опоненти: доктор технічних наук, професор
Кучук Георгій Анатолійович
Національний технічний університет
«Харківський політехнічний інститут»,
професор кафедри обчислювальної техніки та
програмування;
доктор технічних наук, старший науковий співробітник
Савченко Віталій Анатолійович
Національний університет оборони України
імені Івана Черняховського,
начальник кафедри застосування інформаційних
технологій та інформаційної безпеки
інституту інформаційних технологій.
Захист відбудеться "06" квітня 2017 року o 14-00 годині на засіданні
спеціалізованої вченої ради К 73.052.04 при Черкаському державному
технологічному університеті за адресою: 18006, м. Черкаси, бул. Шевченка, 460,
аудиторія 229 - ІІ К.
З дисертацією можна ознайомитись в бібліотеці Черкаського державного
технологічного університету за адресою: 18006, м. Черкаси, бул. Шевченка, 460,
корп. 2.
Автореферат розіслано " 03 " березня 2017р.
Вчений секретар
спеціалізованої вченої ради
К 73.052.04 Є. В. Ланських
3. 1
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. В сучасних умовах спостерігається стійка тенденція
зростання замовлень на розробку розподілених інформаційних систем
управління. Автоматизація окремих функцій вважається вже пройденим етапом
для багатьох компаній, як така, що не дає належного ефекту інформатизації та не
дозволяє мобілізувати всі інформаційні ресурси для підвищення ефективності
діяльності та прийняття рішень.
Інтегрований підхід до створення інформаційних систем заснований на
концепції розподілених додатків, які також передбачають комунікаційну
обробку. Під час створення інтегрованих інформаційних систем така обробка
повинна забезпечувати колективне використання ресурсів віддаленими
користувачами з можливістю організації обміну інформацією. В такому випадку
говорять про розробку інфокомунікаційних систем (ІКС). Разом з цим
інформаційна підсистема ІКС являє собою підсистему, яка залежна від
прийняття логічних рішень, а комунікаційна підсистема розглядається як подіє-
орієнтована підсистема.
Сучасні ІКС характеризуються високим рівнем складності розроблюваних
компонентів, в першу чергу програмного забезпечення (ПЗ) інформаційної та
комунікаційної підсистем. Це накладає певні вимоги на реалізацію фаз життєвого
циклу розробки ПЗ ІКС, починаючи від фази аналізу і завершуючи фазою
прийняття ПЗ. Однією з визначальних фаз життєвого циклу ПЗ ІКС, на якій
здійснюється контроль його якості, є фаза тестування.
Тестування ПЗ – це перевірка відповідності між реальною і очікуваною
поведінкою програмного продукту, що здійснюється з використанням
заздалегідь сформованої множини тестових наборів. При цьому очікувана
поведінка програмного продукту, як правило, представляється у вигляді вимог до
ПЗ ІКС. Найбільш повну перевірку виконання вимог до ПЗ можна здійснити на
рівні системного тестування.
Широкими можливостями з перевірки вимог до ПЗ володіють методи їх
формалізованого опису, що використовуються в рамках відповідних
інформаційних технологій тестування. У сучасному розумінні це технології
побудови тестових наборів, які складаються з одного або декількох тестових
випадків. У загальному вигляді їх можна розглядати як сукупність методів
побудови, перевірки коректності і аналізу потоків управління тестових наборів.
Одним з найзручніших методів, які використовуються для побудови тестових
наборів для перевірки ПЗ інформаційних систем, що характеризуються
залежністю від прийняття логічних рішень, є таблиці рішень (ТР).
Побудова тестових наборів відноситься до найбільш трудомістких і разом з
тим інтелектуальних видів діяльності в процесі тестування ПЗ ІКС. Важливість і
складність побудови тестових наборів визначають необхідність формалізації і
подальшої автоматизації виконання процесів створення тестів з автоматизованим
контролем їх коректності для забезпечення прохідності тестових випадків в
рамках відповідної інформаційної технології побудови тестових наборів. По цій
4. 2
темі відомі дослідження Ліпаева В.В., Макгрегора Д. і Сайкса Д.,
Степанченко І.В., Канера С. і Фолка Дж., Тамро Л., Кріспіна Л. і Грегорі Дж.,
Гленфорд Майерса та інших. Але запропоновані ними технологічні підходи
використовують або неформальні методи опису тестових наборів, або
зорієнтовані на досить вузькі класи завдань, або не містять методів і засобів
контролю коректності розроблених тестів, що значно знижує глибину тестування
при їх використанні. Таким чином у дисертаційній роботі виявлено протиріччя: з
одного боку існує необхідність збільшення глибини тестування ПЗ в
інфокомунікаційних системах шляхом побудови тестових наборів з
використанням методу таблиць рішень, а з іншого – обмежені описові
можливості та складність визначення та класифікації неврахованих ситуацій
існуючого методу. Ці недоліки не дозволяють отримати ефективний і простий
для практичного використання формальний опис тестових наборів для перевірки
виконання вимог до ПЗ ІКС в цілому, і зокрема до ПЗ інформаційної підсистеми
ІКС. Таким чином існує необхідність вдосконалення інформаційної технології
побудови тестових наборів, заснованої на використанні таблиць рішень для
підвищення глибини тестування в інфокомунікаційних системах шляхом
вдосконалення методів, на яких вона базується. Отже тема дисертаційної роботи,
що розглядається, є актуальною.
Зв’язок роботи з науковими програмами, планами і темами.
Дослідження виконувались в межах: основних наукових напрямів та
найважливіших проблем фундаментальних досліджень у галузі природничих,
технічних і гуманітарних наук НАН України на 2014-2018 роки, затверджених
постановою Президії НАН України від 20.12.2013 № 179 та рекомендованих до
використання науковими установами, вищими навчальними закладами рішенням
Ради президентів академій наук України від 11.08.2014; держбюджетної теми
«Розробка методів синтезу тестових моделей поведінки програмних об’єктів,
підвищення оперативності передачі та захисту інформації у телекомунікаційних
системах» (№ ДР 0115U003103, здобувач – відповідальний виконавець); науково-
дослідної роботи «Інформаційна технологія проектування тестових наборів
заснована на вимогах до програмного забезпечення інфокомунікаційних систем»
(№ ДР 0116U008133).
Мета і задачі дослідження. Метою дисертаційної роботи є підвищення
якості побудови тестових наборів для збільшення глибини тестування
програмного забезпечення інформаційних підсистем інфокомунікаційних систем.
Для досягнення мети дисертаційної роботи необхідно вирішити наступні
задачі:
1. Удосконалити метод таблиць рішень для формального представлення
тестових наборів.
2. Удосконалити метод перевірки коректності впорядкованих каскадних
таблиць рішень за результатами формального представлення тестових наборів.
3. Розробити каскадний метод побудови тестових наборів, заснований на
сумісному використанні впорядкованих каскадних таблиць рішень та
узагальненого методу дерева рішень.
5. 3
Об’єкт дослідження: процес побудови тестових наборів для перевірки
програмного забезпечення в інфокомунікаційних системах.
Предмет дослідження: методи побудови тестових наборів з використанням
впорядкованих каскадних таблиць рішень.
Методи дослідження. В процесі виконання дисертаційної роботи
використано: системний аналіз (при аналізі методів побудови тестових наборів
для перевірки коректності систем, що залежні від прийняття логічних рішень);
методи логічного управління (при вдосконаленні методу таблиць рішень у
вигляді впорядкованих каскадних таблиць рішень); теорія множин (при розробці
методів перевірки коректності впорядкованих каскадних таблиць рішень);
методи математичної статистики (підчас перевірки достовірності впорядкованих
каскадних таблиць рішень); методи і моделі об'єктно-орієнтованої технології
(ООТ) аналізу і проектування ПЗ (при розробці підходів до формалізованого
опису вимог через випадки використання, при реалізації сценаріїв моделями
взаємодії, при поданні потоків управління тестових наборів моделями
діяльностей).
Наукова новизна отриманих результатів.
1. Отримав подальший розвиток метод таблиць рішень для формального
представлення тестових наборів шляхом розширення описових можливостей
таблиць рішень за рахунок їх перетворення у впорядковані каскадні таблиці
рішень, що дозволяють задавати порядок на множині умов і дій з використанням
матриці слідування та особливих дій для зв'язування залежних таблиць.
2. Удосконалено метод перевірки коректності таблиць рішень для
формального представлення тестових наборів, в якому на відміну від існуючих
проводиться перевірка надмірності і суперечливості впорядкованих каскадних
таблиць рішень з використанням булевих матриць масок і рішень, перевірка
повноти шляхом виявлення неврахованих в таблиці ситуацій, а також перевірка
коректності матриці слідування та її сумісності з таблицею рішень зі складу
впорядкованих каскадних таблиць рішень.
3. Вперше розроблено каскадний метод побудови тестових наборів,
заснований на сумісному використанні впорядкованих каскадних таблиць рішень
та узагальненого методу дерева рішень, новизна якого полягає в перетворенні
впорядкованої каскадної таблиці рішень в потік управління тестового набору, а
також у формалізації процесу побудови тестових наборів у вигляді послідовності
заданого набору сутностей.
Практичне значення отриманих результатів.
1. Вдосконалено математичний апарат таблиць рішень за рахунок введення
матриці слідування у складі впорядкованих каскадних таблиць рішень і
особливих дій для композиції і рекурсії впорядкованих каскадних таблиць
рішень, що забезпечує підвищення показника повноти тестового покриття на базі
аналізу потоків управління практично в 2 рази і в 1,5 рази показника повноти
тестового покриття вимог до ПЗ тестовими наборами, розробленими в рамках
удосконаленої в роботі інформаційної технології побудови тестових наборів, у
порівнянні з тестовими наборами, розробленими в рамках традиційного підходу.
6. 4
2. Розроблено процедури перевірки надмірності, несуперечності та повноти
таблиці рішень зі складу впорядкованих каскадних таблиць рішень, коректності
матриці слідування та її сумісності з таблицею рішень зі складу впорядкованих
каскадних таблиць рішень, а також алгоритм перетворення впорядкованої
каскадної таблиці рішень з використанням узагальненого методу дерева рішень,
що разом з модифікацією математичного апарату таблиць рішень забезпечує
підвищення в 2 рази показника достовірності тестових наборів.
3. Практичні результати дисертаційного дослідження впроваджені: в
держбюджетній темі «Розробка методів синтезу тестових моделей поведінки
програмних об’єктів, підвищення оперативності передачі та захисту інформації
у телекомунікаційних системах» (акт від 05.04.2016 р.); в навчальному процесі
Кіровоградського національного технічного університету (акт від 12.04.2016 р.);
при тестуванні програмного забезпечення розподіленої банківської системи
ПАТ Укрсоцбанк (акт від 24.05.2016 р.)
Особистий внесок здобувача. Основні результати дослідження, викладені у
дисертаційній роботі, отримані автором самостійно. В опублікованих у
співавторстві наукових працях здобувачеві належать: в [1] розглянута модель
випадків використання, як інструменту представлення вимог до ПЗ, проаналізовано
процес вдосконалення методу таблиць рішень, запропоновано спосіб подолання їх
обмежених можливостей; в [2] виділено основні рівні тестування програмного
забезпечення ІКС, розглянуто поняття тестового випадку, досліджено показники
ефективності методів та засобів різних рівнів тестування ПЗ; в [3] досліджено моделі
розробки ПЗ ІКС, їх переваги та недоліки; в [4] розглянуто алгоритм виявлення не
врахованих тестових випадків; в [5] розроблено пропозиції по вдосконаленню
апарата таблиць рішень методом перетворення їх у впорядковані каскадні таблиці
рішень з використанням матриці слідування; в [6] розглянуто питання перевірки
коректності таблиць рішень для формального представлення тестових наборів;
в [7] розглядаються питання вдосконалення методів створення тестових наборів
для перевірки програмного забезпечення інфокомунікаційних систем на етапі
системного тестування; в [8] представлено вдосконалену інформаційну технологію
проектування тестових наборів засновану на вимогах до програмного забезпечення з
використанням впорядкованих каскадних таблиць рішень, що забезпечує підвищення
повноти покриття тестовими наборами вимог до програмного забезпечення та
достовірність самих тестів.
Апробація результатів дисертації. Результати дисертаційної роботи
доповідалися й обговорювались на 9 конференціях: науково-практична
конференція «Застосування інформаційних технологій у підготовці та діяльності
сил охорони правопорядку» (Харків, 2015, НАНГУ) [9], VІ Всеукраїнська
науково-практична конференція «Інформатика та системні науки» (Полтава,
2015, ПУЕТ) [10], всеукраїнська науково-практична конференція «Комп'ютерні
інтелектуальні системи та мережі» (Кривий Ріг, 2015, КНУ) [11], VII Міжнародна
науково-практична конференція «Проблеми і перспективи розвитку ІТ-індустрії»
(Харків, 2015, ХНЕУ) [12], XVII Міжнародний науково-практичний семінар
«Комбінаторні конфігурації та їх застосування» (Кіровоград, 2015, КНТУ) [13],
XI Міжнародна конференція «Стратегія якості у промисловості і освіті» (Варна,
7. 5
Болгарія, 2015, ТУВ) [14], Міжнародна науково-практична конференція
«Комп’ютерні технології та інформаційна безпека» (Кіровоград, 2015,
КНТУ) [15], ІІ Міжнародна науково-практична конференція «Інформаційні
технології та взаємодії» (Київ, 2015, КНУ) [16], ІІ Міжнародна науково-
практична конференція «Інформаційні та телекомунікаційні технології: освіта,
наука, практика» (Алмати, Казахстан, 2015, КНДТУ) [17].
Публікації. Основні результати дисертаційних досліджень представлені у
17 наукових роботах: 1 колективній монографії, 7 статтях (включених до
Переліку наукових фахових видань України, які входять у науково-метричні
бази, з них 1 у закордонному міжнародному науковому виданні (Індія); 9 тезах на
всеукраїнських та міжнародних конференціях.
Структура і обсяг дисертації. Дисертаційна робота складається зі вступу,
чотирьох розділів, висновків, списку використаних джерел і чотирьох додатків.
Повний обсяг дисертації становить 185 сторінок, у тому числі 151 сторінка
основного тексту, 46 рисунків і 5 таблиць, список використаних джерел зі
161 найменування на 15 сторінках, 4 додатки загальним обсягом 19 сторінок.
ОСНОВНИЙ ЗМІСТ РОБОТИ
У вступі обґрунтовано актуальність теми дисертаційної роботи,
сформульовано мету та задачі дослідження, наукову новизну й практичне
значення отриманих результатів, зв’язок роботи з науковими темами, подано
відомості про впровадження, апробацію, публікацію матеріалів дисертації.
У першому розділі дисертації проведено аналіз процесів побудови тестових
наборів для перевірки програмного забезпечення інфокомунікаційних систем.
Аналіз особливостей інформаційної підсистеми ІКС показав, що відповідна
підсистема розглядається як підсистема залежна, насамперед, від прийняття
логічних рішень, реалізованих за допомогою функцій інформаційної підсистеми
ІКС в її ПЗ. У ході аналізу особливостей різних рівнів тестування ПЗ
інформаційної підсистеми ІКС виявлено, що перевірку коректності ПЗ
інформаційної підсистеми ІКС повною мірою можна здійснити в рамках його
тестування на системному рівні. При цьому в якості методів побудови тестових
наборів використовуються методи «чорного ящика».
Проведений аналіз основних груп методів побудови тестових наборів і
тестових випадків з використанням методів «чорного ящика» показав, що в
якості базового методу побудови тестових наборів для перевірки ПЗ
інформаційної підсистеми ІКС найзручніше використовувати метод ТР.
Водночас в якості показників глибини тестування побудованих тестових наборів
і тестових випадків обрані відповідно:
- повнота тестового покриття вимог до ПЗ тестовими наборами
100%
T
T COV
COV T
TOTAL
L
T
L
, де T
COVT - повнота тестового покриття вимог, T
COVL -
кількість вимог, що перевіряються тестовими випадками, T
TOTALL - загальна
кількість вимог, представлених випадками використання;
- тестове покриття на базі аналізу потоків управління
8. 6
100%
G
G COV
COV G
TOTAL
L
T
L
, де G
COVT - повнота тестового покриття на базі аналізу
потоків управління, G
COVL - кількість елементів графа потоків управління, що
перевіряють тестові випадки, G
TOTALL - загальна кількість елементів графа потоків
управління, представлених випадками використання;
- достовірність тестових наборів
4
1
1
j
j ij i q
D , де i - вага
важливості врахування розробленим методом в тестових наборах i-го фактора у
відносних одиницях, jq - множина факторів, що враховуються в тестових
наборах j-им способом узагальнення, j - відносне середнє значення похибки,
внесеної в проектні рішення внаслідок неточного (узагальненого) обліку
параметрів (факторів).
У результаті аналізу можливостей методу ТР для формалізованого опису
тестових наборів визначено необхідність його вдосконалення в напрямку
підвищення описових можливостей для представлення впорядкованих умов і
можливості формування каскадних ТР, а також у розробці методів перевірки
коректності модифікованих ТР в рамках удосконаленої технології побудови
тестових наборів.
В другому розділі досліджено можливості класичних ТР та визначено, що
їх обмежені описові можливості для формалізації тестових наборів обумовлені
невпорядкованістю множини умов і дій ТР. Цим пояснюється і властивість
непроцедурності ТР.
Процес реалізації випадків використання можна представити як бієктивне
відображення : SUC UC SUCF S S , де SUCS – множина всіх підмножин SUCS і
кожна підмножина має
включати як первинний, так
і альтернативні (вторинні)
сценарії.
Для безпосередньої
реалізації сценаріїв в ООТ
використовуються різні
підходи. На практиці
вважається найбільш
ефективним варіант
реалізації сценаріїв
діаграмами взаємодії.
Результат побудови
моделей взаємодії для
подання сценаріїв можна
формалізувати як бієктивне
відображення
: MSUC M SUCF M S , де MM –
множина всіх моделей
взаємодії.
Рис. 1. Верхня дочірня діаграма, яка описує основні
функції-процеси інформаційної технології побудови
тестових наборів
F11
A1
Розробка
моделі
випадків
використання
F12
A2
Реалізація
випадків
використання
F13
A3
Проектування
тестових
наборів
F14
A4
Оцінка
щільності
тестового
покриття
F15
А5
Оцінка
достовірності
тестових
наборів
V12
V11
V18
V15
V16
V17
V14
V13
Існуючі методи
Існуючі методи
Розроблені та
удосконалені методи
Розроблені та
удосконалені методи
С01
I01
M01
O01
O02
9. 7
За результатами дослідження особливостей формального представлення
вимог до програмного забезпечення розроблена структура інформаційної
технології побудови тестових наборів, яка розглянута як система функцій-
процесів, що певним чином пов'язані один з одним, і реалізують прийоми,
способи і методи, які забезпечують побудову і контроль якості відповідних
тестових наборів. Верхня дочірня діаграма, що описує основні функції-процеси
даної технології, представлена на рис. 1.
Визначено можливі напрямки розширення описових можливостей таблиць
рішень за допомогою їх удосконалення у вигляді впорядкованих каскадних
таблиць рішень.
Проведені дослідження показали, що одним з таких напрямків
удосконалення є опис випадків використання з ациклічними сценаріями шляхом
представлення додаткової інформації про сценарії випадків використання з
множини UCS в матриці слідування, що використовується спільно з ТР. У зв'язку
з цим введено поняття впорядкованої таблиці рішень (ВТР) як сукупності ТР і
пов'язаної з нею матриці слідування.
При нульовій матриці слідування ВТР вироджується в звичайну ТР, тобто
метод ТР можна розглядати як окремий випадок методу ВТР. Коректність ВТР
визначається:
1) коректністю ТР зі складу ВТР;
2) коректністю матриці слідування зі складу ВТР;
3) сумісністю ТР та матриці слідування зі складу ВТР.
З метою реалізації другого напрямку удосконалення ТР пропонується
множину дій ТР доповнити особливими діями - «перехід на ТР» і
«виконання ТР». В результаті цього з'являється можливість поєднувати між
собою декілька ТР. Таке об'єднання називається композицією ТР, що створює
так звану каскадну ТР. «Перехід на ТР» означає безумовну передачу управління
зазначеній ТР, а «виконання ТР» - перехід на вказану ТР з поверненням,
аналогічно виклику підпрограми. Побудована таким чином сукупність ВТР
представляє собою впорядковану каскадну таблицю рішень (ВКТР).
Таким чином, удосконалення полягає у використанні спільно з таблицею
рішень матриці слідування, яка задає строгий частковий порядок на множині її
умов і дій. При цьому одна ВТР дозволяє формалізовано описати тестовий набір
для випадку використання з ациклічними сценаріями, а використання
рекурсивного виклику і композиції впорядкованих таблиць рішень дозволяє
досить просто і наочно описати тестові набори для випадків використання,
пов'язаних різними відносинами.
У третьому розділі на базі запропонованого в попередньому розділі
підходу до модифікації класичних ТР удосконалено метод перевірки коректності
таблиць рішень і матриць слідування, розроблена процедура перетворення
впорядкованої каскадної таблиці рішень в потік управління тестового набору, що
описує випадки використання зі сценаріями, відповідними класичним
алгоритмам рішень, розроблений метод побудови тестових наборів з
використанням впорядкованих каскадних таблиць рішень.
Вдосконалений метод перевірки коректності таблиць рішень для
10. 8
формального представлення тестових наборів зі складу впорядкованих каскадних
таблиць рішень включає наступні етапи (рис. 2): процедуру перевірки
надмірності і суперечливості ТР зі складу ВКТР; процедуру перевірки повноти
ТР зі складу ВКТР; процедуру перевірки коректності матриці слідування та її
сумісності з ТР зі складу ВКТР.
З математичної точки зору, основними елементами представлення ВКТР є
троїчна матриця значень умов (ситуацій) iju і дві булеві матриці - матриця дій
ijw і матриця слідування ijl . Розроблена процедура перевірки надмірності і
суперечності ТР зі складу ВКТР включає виконання наступні операції:
1. Троїчна матриця iju , що
формально визначає ТР,
представляється у вигляді двох
булевих матриць - матриці
масок ijm і матриці рішень
ijd .
2. У циклі для
1 1,2,..., 1 j k та
2 1 11, 2,... j j j k
порівнюються вектор-стовпці
матриць ijm и ijd відповідно.
3. Якщо 1 2 2 1
j j j jm d m d ,
то перевіряються умови:
- якщо 1 2
j jw w , то
встановлюється ознака надмірності;
- якщо 1 2
j jw w , то встановлюється ознака суперечності.
4. Визначається загальна ситуація (умовна частина тестового випадку), яка
виражається двома булевими векторами pm та pd як 1 2 1 2
, p j j p j jm m m d d d ,
де kp ,...,2,1 .
У рамках даного дослідження повнота ТР зі складу ВКТР розглядається в
контексті виявлення виду неврахованих ситуацій, що представляють собою
умовну частину тестових випадків. Процедура перевірки повноти ТР зі складу
ВКТР включає виконання наступних операцій:
1. Завершити виконання процедури при наявності в ТР наступних ознак її
повноти:
- ( ) ( )( ) ijj i u ;
- '
'
( 1) ( , )( ) j j
n j j R R ;
- ' ' ' ' ' '
' '
( , )( ( )( ) ( ) ( ) ( )) ij ij i j i j i j i j
j j i i u u u u u u .
2. В іншому випадку зафіксувати в відповідній ситуації значення змінних,
Рис. 2. Етапи реалізації вдосконаленого
методу перевірки ВКТР
Процедура перевірки надмірності і суперечності ТР зі складу ВКТР
Процедура перевірки повноти ТР зі складу ВКТР
Процедура перевірки коректності матриці слідування та її сумістності з ТР зі складу ВКТР
11. 9
які не можна варіювати:
- iv , якщо ( ) ( )( ) iji j u ;
- 1iv , якщо ( ) ( )( 1) iji j u ;
- 0iv , якщо ( ) ( )( 0) iji j u ;
- 'i i j
v u , якщо '
( ) ( )( ) iji i i u ,
3. Визначити кількість значень змінних, які не можна варіювати.
4. Якщо N n, то:
- виконати узагальнення знайденої неврахованої ситуації, послідовно
підставляючи iv замість фіксованих значень за умови збереження
ортогональності ситуації v матриці iju ;
- завершити виконання алгоритму.
5. Якщо 0 N n, то:
- побудувати мінор матриці iju , відкидаючи рядки, відповідні змінним з
фіксованими значеннями і стовпці, ортогональні цим значенням;
- рекурсивно застосувати цей же алгоритм для отримання мінору;
- завершити виконання алгоритму.
6. Якщо 0N , то:
- обрати стовпець *
j матриці iju , що має максимальне значення
1
n
j ij
i
x r , де
1, ,
0, ;
ij
ij
якщо u
r
в протилежному випадку
- обрати строку *
j матриці iju , що має максимальне значення
1
k
j ij
j
y q , де
* * *( ) ( ) ( ),1,
0, ;
ijij ij ij
ij
якщо u u u u
q
в протилежному випадку
- присвоїти * *i i j
v u ;
- побудувати мінор матриці iju , відкидаючи *
j -ий рядок та стовпці,
ортогональні значенню iv ;
- рекурсивно застосувати цей же алгоритм для отриманого мінору;
- якщо неврахована ситуація знайдена, то виконати її узагальнення та
завершити виконання процедури;
- присвоїти * *i i j
v u .
7. Завершити виконання процедури.
Процедура перевірки коректності матриці слідування та її сумісності з ТР зі
складу ВКТР включає виконання наступних двох алгоритмів:
- алгоритм перевірки коректності матриці слідування;
- алгоритм перевірки сумісності матриці слідування з ТР зі складу ВКТР.
Перевірка коректності матриці слідування полягає у виявленні одиничних
діагональних елементів і одиничних елементів, симетричних відносно головної
12. 10
діагоналі. Алгоритм перевірки коректності матриці слідування ijl розмірності
( ) ( ) n m n m , де n - кількість умов, а m - кількість дій в ТР, очевидний і
представляється у вигляді сукупності наступних дій:
1. На вхід алгоритму подається матриця слідування ijl розмірності
( ) ( ) n m n m .
2. У циклі для 1,2,..., i n m та 1,2,..., j n m оцінюються діагональні
значення матриці слідування ijl .
3. Якщо ( ) &( 1) iji j l , то встановити ознаку помилки, що вказує на
наявність симетричних одиничних елементів, і завершити виконання алгоритму.
4. Інакше встановити ознаку відсутності помилок і завершити виконання
алгоритму.
Алгоритм перевірки сумісності матриці слідування та ТР зі складу ВКТР
можна представити у вигляді сукупності наступних дій:
1. На вхід алгоритму подається матриця слідування ijl розмірності
( ) ( ) n m n m .
2. У циклі для 1,2,..., i n m и 1,2,..., j n m оцінюються діагональні
значення матриці слідування ijl .
3. Якщо 1ijl , то для 1,2,...,q k перевірити виконання чотирьох умов i n
і j n, i n, j n , i n, j n, i n і j n .
4. Якщо i n и j n, то перевіряється умова:
- якщо 1jqm та 0iqm , то встановити ознаку помилки.
5. Якщо i n, а j n , то:
- визначається 1 j j n ;
- перевіряється умова: якщо 1
1j qw та 0iqm , то встановити ознаку
помилки.
6. Якщо i n, а j n, то:
- визначається 1 i i n;
- перевіряється умова: якщо 1iqm и 1
0j qw , то встановити ознаку
помилки.
7. Якщо i n та j n , то:
- визначається 1 i i n;
- визначається 1 j j n ;
- перевіряється умова: якщо 1
1j qw и 1
0i qw , то встановити ознаку
помилки.
8. Завершити виконання алгоритму.
Способи перетворення звичайних ТР в потік управління можна представити
у вигляді двох категорій: з використанням методів маски і з використанням
методів дерева рішень. Порівняльний аналіз показав, що в загальному випадку
13. 11
методи дерева рішень більш ефективні з погляду часу перетворення ВКТР в граф
потоку управління тестового набору. Розроблена процедура перетворення ВКТР
в потік управління тестового набору включає виконання наступних операцій:
1. Сформувати для ТР множини *
, , , , , ,
s ss s
C C C A A A A .
2. Якщо *
0
s
A A та * s
ia A A то:
- побудувати вершину дерева відповідну ia ;
- видалити з матриці слідування i - у строку та i - й стовпець;
- переформувати множину *
, , , , ,
s ss s
A A A A C C ;
- якщо 0A , то завершити виконання алгоритму.
3. Якщо ТР безумовна, то:
- якщо AA *
, то видати повідомлення про помилку у вхідних даних;
- інакше завершити виконання алгоритму.
4. Якщо s
C C , то:
- видати повідомлення про помилку у вхідних даних;
- інакше завершити виконання алгоритму.
5. Вибрати
s
jc C , що задовольняє заданому критерію оптимальності.
6. Побудувати вершину дерева, відповідну jc .
7. Видалити з матриці слідування j - строку та j - стовпець.
8. Сформувати з ТР для кожного значення jc свою підтаблицю.
9. Рекурсивно застосувати цей же алгоритм для кожної підтаблиці і матриці
слідування.
10. Завершити виконання алгоритму.
На рис. 3 показаний варіант ВКТР для подальшого її перетворення з
використанням узагальненого методу дерева рішень в потік управління,
представлений на рис. 4. Нульові елементи в матриці слідування опущені.
1c 1 1 0 0
2c 1 0 - -
3c - 1 1 0
1a 1 0 1 1
2a 1 0 1 1
3a 1 1 0 0
4a 1 0 0 0
5a 1 0 0 0
6a 0 1 0 0
7a 0 1 0 0
8a 0 1 0 0
1c 2c 3c 1a 2a 3a 4a 5a 6a 7a 8a
1c 0 0 0 0 1 0 0 0 0 0 0
2c 1 0 0 0 0 0 0 0 0 0 0
3c 0 0 0 0 0 0 0 0 0 1 0
1a 0 0 0 0 0 0 0 0 0 0 0
2a 0 0 0 1 0 0 0 0 0 0 0
3a 0 1 1 0 0 0 0 0 0 0 0
4a 0 1 0 0 0 0 0 0 0 0 0
5a 0 0 0 0 0 0 1 0 0 0 0
6a 1 0 0 0 0 0 0 0 0 0 0
7a 0 0 0 0 0 0 0 0 1 0 0
8a 0 0 0 1 0 0 0 0 0 0 0
Рис. 3. Варіант ВКТР
14. 12
Розроблені пропозиції щодо удосконалення методу класичних ТР на базі
ВКТР для формального представлення тестових наборів, метод перевірки
коректності ВКТР і процедура
перетворення ВКТР в потік
управління є основою для побудови
тестових наборів для перевірки ПЗ
інформаційної підсистеми ІКС.
Етапи реалізації
розроблювального методу полягають
в наступному (рис. 5):
1. Здійснюється аналіз
вербального опису вимог до ПЗ
інформаційної підсистеми ІКС на
концептуальному рівні. Визначається
наявність залежності логіки роботи
інформаційної підсистеми від
прийняття логічних рішень, що в
свою чергу визначає необхідність у
подальшому використання для
побудови тестових наборів на базі
методу ВКТР.
2. Виконується перетворення
кожного сценарію, представленого
моделлю взаємодії , i lM SUC MSUCM S F , в сукупність вектор стовпців ТР зі складу
ВКТР, що задаються кортежем , , , j n n j n j nR C A u U w W , тобто в правила
ВКТР, яке в свою чергу розглядається як тестовий випадок для перевірки
відповідного сценарію. У зверненої до актора частині випадків використання (у
вигляді «чорного ящика») активності, що породжують повідомлення,
розглядаються як дії з множини nC . Повідомлення, що надходять від актора до
випадку використання, розглядаються як умови з множини nA . Кількість вектор
стовпців ТР визначається як 2N
, де N потужність множини nA . Виконується
об'єднання вектор стовпців, що реалізують один сценарій випадку використання,
в ТР , , , n n n n nT C A U W . Виконується формування матриці слідування ijl , що
використовується разом з ТР nT зі складу ВКТР. Аналізується наявність відносин
розширення, узагальнення або включення між елементами з множини
Im
Not
UC UCS S та елементами з множини Im
UC UCS S . При наявності подібних
відносин, залежно від моделі випадків використання і логіки виконання моделей
взаємодії сценаріїв, випадки використання з множини Im
Not
UC UCS S
Рис. 4. Реалізація узагальненого методу дерева
рішень для розглянутого варіанту ВКТР
а1
а2
а7
а6
а3
а4
С1
С2 С3
а5
а8
а3
15. 13
перетворюються у відповідну изоморфну ТР зі складу ВКТР та вводяться
особливі дії «перехід на ТР» або «виконання ТР», а в разі циклічних сценаріїв
C
SUC SUCS S дія «рекурсивний виклик ТР». Отримана в результаті ВКТР, що
складається з модифікованої nT та ijl , розглядається як тестовий набір,
реалізований відповідним випадком використання RegReg , j UCi UC SS F .
3. Виконується перевірка коректності отриманих на попередньому етапі
ВКТР, що представляють формальний опис тестових наборів для перевірки ПЗ
інформаційної підсистемі ІКС. Перевірка коректності включає для кожної ВКТР
перевірку надмірності, суперечливості та повноти ТР зі складу ВКТР, а також
перевірку коректності матриці слідування та її сумісності з відповідною ТР.
4. Виконується перетворення розроблених і перевірених на коректність
тестових наборів, формально представлених на базі ВКТР, в потоки управління з
використанням дерев рішень, реалізованих моделями діяльності об'єктів в
нотації ООТ. При необхідності проводиться додаткова перевірка коректності
тестових наборів за допомогою перевірки отриманих потоків управління з
використанням методів тестування «білого ящика» і з можливістю подальшого
аналізу додаткового (часткового) тестового покриття на базі аналізу потоку
управління.
Каскадний метод побудови тестових наборів з використанням ВКТР є
основою для системного тестування ПЗ в рамках удосконаленої інформаційної
технології побудови тестових наборів. Крім того розроблений метод дозволяє
Рис. 5. Етапи реалізації каскадного методу побудови тестових наборів для перевірки ПЗ
інформаційної підсистеми ІКС з використанням ВКТР
Аналіз вербального опису вимог до ПЗ ІПС ІКС
і визначення наявності логіки роботи ІПС від прийняття логічних рішень
Процедура представлення модифікованої ТР та матриці слідування зі складу ВКТР як тестового набору
Процедура перевірки коректності отриманих на попередньому етапі ВКТР,
що представляють формальний опис тестового набору
Процедура перетворення формальних описів тестових наборів на основі ВКТР в потоки управління
Перетоворення сценаріїв у вектор стовбці ТР, що описують
випадки використання. Об'єднання вектор стовбців в ТР зі складу ВКТР.
Формування матриці слідування. Розширення множинидій ТР
Перевірка надмірності, суперечності і повноти ТР зі складу ВКТР,
перевірка коретктності матриці слідування та її сумістності з
відповідною ТР
Додаткова перевірка тестових наборів з використанням
методів тестування "білого ящику"
16. 14
забезпечити задане покриття вимог до інформаційної підсистеми ІКС в цілому і
до її ПЗ, зокрема, за рахунок використання удосконалених ТР у вигляді ВКТР,
що забезпечують формалізований опис тестових наборів для всіх типів випадків
використання, а також коректність формалізованих описів тестових наборів за
рахунок перевірки надмірності, суперечливості та повноти ТР зі складу ВКТР,
перевірки коректності матриці слідування та її сумісності з відповідною ТР.
У четвертому розділі виконана практична апробація вдосконаленої
технології побудови тестових наборів з використанням ВКТР на базі проектних
рішень в нотації UML для програмного забезпечення клієнтського додатка
розподіленої електронної банківської системи. В рамках практичної апробації
розроблені відповідні тестові набори з використанням нового і традиційного
підходів. Проведено оцінку витрат часу на виявлення неврахованих ситуацій в
ТР з використанням удосконаленого методу перевірки коректності ТР зі складу
ВКТР, який дозволяє зробити висновок про те, що витрати часу на виконання
наведеного алгоритму ростуть поліноміально зі збільшенням розміру таблиць і
не гірше, ніж в квадратичній залежності. Аналіз глибини тестування
програмного забезпечення проведено шляхом перевірки показників ефективності
застосування удосконаленої технології побудови тестових наборів з
використанням ВКТР і
отримано наступні результати:
- в частині оцінки
показника достовірності
тестових наборів, що в
порівнянні з існуючим
підходом (з використанням
традиційних ТР),
використання вдосконаленої
інформаційної технології
побудови тестових наборів на
базі ВКТР забезпечує
підвищення достовірності
тестових наборів у 2 рази (рис.
6);
- в частині оцінки повноти
тестового покриття вимог до
ПЗ, що в порівнянні з
існуючим підходом,
використання вдосконаленої
інформаційної технології
побудови тестових наборів на
базі ВКТР забезпечує
підвищення повноти тестового
покриття вимог більш ніж в 1,5
рази (рис. 7);
Рис. 7. Результати розрахунку повноти тестового
покриття вимог
0
20
40
60
80
100
120
Відсотоктестового
покриття
Підходи до розробки тестових наборів
ТТР
ВКТР
ε1=0…10, ε2=11…20, ε3=21…40, ε4=41…100
Рис. 6 – Залежність достовірності тестових наборів
при різних підходах до їх побудови від відносної
похибки початкових даних
17. 15
- в частині оцінки повноти
тестового покриття на базі
аналізу потоків управління, що
в порівнянні з існуючим
підходом, застосування
вдосконаленої інформаційної
технології побудови тестових
наборів ВКТР забезпечує
підвищення повноти тестового
покриття на базі аналізу потоків
управління практично в 2 рази
(рис. 8).
У додатках наведена розроблена модель випадків використання в
розподіленій електронній банківській системі і матриця трасування, що
відображає зв'язки сценаріїв випадків використання, які визначають
функціональні вимоги до ПЗ розподіленої електронної банківської системи, з
тестовими випадками, розробленими на базі традиційних ТР і ВКТР. Крім цього
у додатках представлений аналіз міжнародних та вітчизняних стандартів з оцінки
якості і тестуванню програмного забезпечення, а також акти впровадження
результатів наукових досліджень дисертаційної роботи.
ВИСНОВКИ
В результаті дисертаційних досліджень вирішено важливі задачі по
розробці та вдосконаленню методів побудови тестових наборів з використанням
впорядкованих каскадних таблиць рішень, що дозволяє підвищити глибину
тестування за рахунок збільшення повноти покриття вимог до ПЗ побудованими
тестовими наборами, а також достовірності самих тестів для ефективної
розробки програмного забезпечення комп’ютерних мереж та систем розподіленої
обробки даних.
У дисертації отримані наступні основні результати:
1. Отримав подальший розвиток метод таблиць рішень для формального
представлення тестових наборів шляхом розширення описових можливостей
таблиць за рахунок їх модифікації у вигляді впорядкованих каскадних таблиць
рішень, що дозволяють задавати порядок на множині умов і дій таблиці рішень з
використанням матриці слідування та особливих дій для зв'язування залежних
таблиць.
2. Удосконалено метод перевірки коректності таблиць рішень для
формального представлення тестових наборів, в якому на відміну від існуючих
проводиться перевірка надмірності і суперечливості впорядкованих каскадних
таблиць рішень з використанням булевих матриць масок і рішень, перевірка
повноти шляхом виявлення неврахованих в таблиці ситуацій, а також перевірка
коректності матриці слідування та її сумісності з таблицею рішень зі складу
впорядкованих каскадних таблиць рішень, що дозволяє здійснити повну
перевірку коректності розроблюваних таблиць рішень.
Рис. 8. Результати розрахунку повноти тестового
покриття на базі аналізу потоку управління
0
20
40
60
80
100
Відсотоктестового
покриття
Підходи до розробки тестових наборів
ТТР
ВКТР
18. 16
3. Вперше розроблено каскадний метод побудови тестових наборів з
використанням впорядкованих каскадних таблиць рішень. Сутність якого
полягає в розробці процедури перетворення впорядкованої каскадної таблиці
рішень в потік управління тестового набору на базі узагальненого методу дерева
рішень та у формалізації процесу побудови тестових наборів у вигляді заданої
послідовності сутностей, що дозволяє формально представити процес побудови
тестових наборів і є основою для подальшої автоматизації даного процесу.
4. Практична цінність роботи полягає в наступному. Вдосконалені та
розроблені методи мають якісно нові властивості та дозволяють вирішити задачі
по розробці та вдосконаленню методів побудови тестових наборів з
використанням впорядкованих каскадних таблиць рішень, що дозволяє
підвищити глибину тестування через збільшення показника достовірності
тестових наборів в 2 рази, показника повноти тестового покриття вимог більш
ніж у 1,5 рази та показника повноти тестового покриття на базі аналізу потоків
управління в 2 рази. Результати досліджень впроваджені у держбюджетній темі
«Розробка методів синтезу тестових моделей поведінки програмних об’єктів,
підвищення оперативності передачі та захисту інформації у телекомунікаційних
системах», в навчальному процесі Кіровоградського національного технічного
університету та при тестуванні програмного забезпечення розподіленої
банківської системи ПАТ Укрсоцбанк, що підтверджено відповідними актами.
СПИСОК ОПУБЛІКОВАНИХ ПРАЦЬ ЗА ТЕМОЮ ДИСЕРТАЦІЇ
Колективна монографія:
1. Лысенко И.А. Исследование методов и процедур проектирования
тестовых наборов на основе упорядоченных каскадных таблиц решений
/ И.А. Лысенко, А.А. Смирнов // Информационные технологии и защита
информации в информационно-коммуникационных системах: монография / Под
редакцией профессора В.С. Пономаренко. – Х.: Вид-во ТОВ «Щедра садиба
плюс», 2015. – C. 68-81. (Руск. Яз.) – ISBN 978-617-7225-03-3.
Статті у наукових фахових виданнях України:
2. Лысенко И.А. Исследование уровней тестирования программного
обеспечения инфотелекоммуникационных систем / И.А. Лысенко, А.А. Смирнов,
Е.В. Мелешко // Наука і техніка Повітряних Сил Збройних Сил України. – Х.:
ХУПС, 2014. – № 4(17). – С. 79-81.
3. Лысенко И.А. Исследование процесса разработки программного
обеспечения инфотелекоммуникационных систем / И.А. Лысенко, А.А. Смирнов,
Л.И.Полищук // Системи озброєння і військова техніка. – Х.: ХУПС, 2014. –
№ 4(40). – С. 103-106.
4. Лысенко И.А. Исследование алгоритма выявления вида неучтенных
тестовых случаев в процессе проектирования тестовых наборов / И.А. Лысенко,
А.А. Смирнов // Зв'язок. – К.: ДУТ, 2015. – № 5(117). – С. 54-56.
19. 17
5. Лысенко И.А. Фомализация процесса проектирования тестовых
наборов / И.А. Лысенко, А.А. Смирнов // Збірник наукових праць Харківського
університету Повітряних Сил. – Х.: ХУПС, 2016. – Вип. 3(48). – С. 96-100.
(Index Copernicus)
6. Лысенко И.А. Разработка упорядоченных каскадных таблиц решений с
использованием матриц следования / И.А. Лысенко, А.А. Смирнов // Системи
обробки інформації. – Х.: ХУПС, 2016. – Вип. 6(143). – С. 216-220. (Index
Copernicus)
7. Лысенко И.А. Усовершенствование метода проверки корректности
таблиц решений для формального представления тестовых
наборов / И.А. Лысенко, А.А. Смирнов // Системи обробки інформації. –
Х.: ХУПС, 2016. – Вип. 8(145). – С. 77-80. (Index Copernicus)
Стаття у закордонному міжнародному науковому виданні:
8. Lysenko I.A. Information technology of developing test kits based on software
requirements / I.A. Lysenko, O.A. Smirnov // International Journal of Computational
Engineering Research (IJCER). – Delhi (India), 2016. – Volume 6, Issue 1. – P. 35-38.
Тези та доповіді на наукових конференціях:
9. Лысенко И.А. Исследование возможностей аппарата таблиц решений в
процессе тестирования ПО инфокоммуникационной системы / И.А. Лысенко,
А.А. Смирнов // Застосування інформаційних технологій у підготовці та
діяльності сил охорони правопорядку: Всеукр. наук.-практ. конф., 18-
19 бер. 2015 р., м. Харків: зб. тез. – Харків, 2015. – С. 46-47.
10. Лысенко И.А. Анализ существующих подходов к преобразованию
таблиц решений в графические схемы визуализации процесса тестирования
ПО / И.А. Лысенко, А.А. Смирнов // Інформатика та системні науки : VІ Всеукр.
наук.-практ. конф., 19–21 бер. 2015 р., м. Полтава : зб. тез. – Полтава: ПУЕТ,
2015. – С. 223-225.
11. Лысенко И.А. Анализ существующих способов проверки полноты
таблиц решений / И.А. Лысенко, А.А. Смирнов // Комп'ютерні інтелектуальні
системи та мережі: Всеукр. наук.-практ. конф., 24-26 бер. 2015 р., м. Кривий
Ріг.: зб. тез. – Кривий Ріг: ДВНЗ КНУ, 2015. – С. 59-60.
12. Лысенко И.А. Анализ вычислительной сложности задачи выявления
вида неучтенных тестовых случаев при проверке полноты таблицы
решений / И.А. Лысенко, А.А. Смирнов // Проблеми і перспективи розвитку ІТ-
індустрії: VІІ між нар. наук.-практ. конф., 17-18 квіт. 2015 р., м. Харків: зб. тез. –
Харків: ХНЕУ, 2015. – С. 259.
13. Лысенко И.А. Разработка приближенного алгоритма выявления вида
неучтенных тестовых случаев / И.А. Лысенко, А.А. Смирнов // Комбінаторні
конфігурації та їх застосування: ХVІІ між нар. наук.-практ. сем., 17-18 квіт.
2015 р., м. Кіровоград: зб. тез – Кіровоград: КНТУ, 2015. – С. 72-75.
20. 18
14. Лысенко И.А. Исследование методов проектирования тестовых наборов
при разработке программного обеспечения / И.А. Лысенко,
А.А. Смирнов // Стратегія якості у промисловості і освіті: XI міжнар. конф., 5 –
12 черв. 2015 р., м. Варна, Болгарія.: зб. матер. – Варна: ТУВ, 2015. – С. 87-89.
15. Лысенко И.А. Разработка алгоритма преобразования упорядоченной
каскадной таблицы решений / И.А. Лысенко, А.А. Смирнов // Комп’ютерні
технології та інформаційна безпека: Міжнар. наук.-практ. конф., 2-3 лип. 2015 р.,
м. Кіровоград: тези доп. – Кіровоград: КНТУ, 2015. – С. 56-57.
16. Лысенко И.А. Совершенствование аппарата таблиц решений для
формального представления тестовых наборов / И.А. Лысенко, А.А. Смирнов
// Інформаційні технології та взаємодії (IT & I): ІІ між нар. наук.-практ. конф., 3-5
лист. 2015 р., м. Київ: тези доп. – Київ: КНУ ім. Т. Шевченка, 2015. – С. 100-102.
17. Лысенко И.А. Модификация аппарата таблиц решений для формального
представления тестовых наборов / И.А. Лысенко, А.А. Смирнов
// Информационные и телекоммуникационные технологии: образование, наука,
практика: II междунар. научн.-практ. конф., 3-4 дек. 2015 г., г. Алматы,
Казахстан: сб. труд. – Алматы: КазНИТУ им. К.И. Сатпаева, 2015. – Т.2. –
С. 428-432.
АНОТАЦІЯ
Лисенко І.А. Каскадні методи побудови тестових наборів для
підвищення глибини тестування в інфокомунікаційних системах — Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за
спеціальністю 05.13.06 – інформаційні технології. – Черкаський державний
технологічний університет, Черкаси, 2017.
Дисертаційна робота присвячена розробці методів побудови тестових
наборів з використанням впорядкованих каскадних таблиць рішень, що дозволяє
підвищити глибину тестування шляхом збільшення показників повноти покриття
спроектованими тестовими наборами вимог до ПЗ і достовірності самих тестів.
Набув подальшого розвитку метод таблиць рішень для формального
представлення тестових наборів шляхом розширення описових можливостей
таблиць за рахунок їх модифікації у вигляді впорядкованих каскадних таблиць
рішень. Удосконалено метод перевірки коректності таблиць рішень для
формального представлення тестових наборів, в якому на відміну від існуючих
проводиться перевірка надмірності і суперечливості впорядкованих каскадних
таблиць рішень; перевірка повноти на основі виявлення неврахованих в таблиці
ситуацій, а також перевірка коректності матриці слідування та її сумісності з
таблицею рішень зі складу впорядкованих каскадних таблиць рішень. Вперше
розроблено каскадний метод побудови тестових наборів на базі вимог до
програмного забезпечення інформаційної підсистеми ІКС з використанням
впорядкованих каскадних таблиць рішень.
Ключові слова: інформаційна технологія, інфокомунікаційна система,
об'єктно-орієнтована технологія, програмне забезпечення, сценарій, таблиця
рішень.
21. 19
АННОТАЦИЯ
Лысенко И.А. Каскадные методы построения тестовых наборов для
повышения глубины тестирования в инфокоммуникационных системах. —
Рукопись.
Диссертация на соискание ученой степени кандидата технических наук по
специальности 05.13.06 — информационные технологии. — Черкасский
государственный технологический университет, Черкассы, 2017.
Диссертационная работа посвящена разработке методов построения
тестовых наборов с использованием упорядоченных каскадных таблиц решений,
позволяющих повысить глубину тестирования программного обеспечения в ИКС
через увеличение полноты покрытия проектируемыми тестовыми наборами
требований к ПО и увеличение достоверности самих тестов.
Получил дальнейшее развитие метод таблиц решений для формального
представления тестовых наборов на основе расширения описательных
возможностей таблиц за счет их усовершенствования в виде упорядоченных
каскадных таблиц решений, позволяющих задавать порядок на множестве
условий и действий таблицы решений с использованием матрицы следования и
особых действий для связывания зависимых таблиц.
Усовершенствован метод проверки корректности таблиц решений для
формального представления тестовых наборов, в котором, в отличие от
существующих, проводится проверка избыточности и противоречивости
упорядоченных каскадных таблиц решений на основе использования булевых
матриц масок и решений, проверка полноты на основе выявления неучтенных в
таблице ситуаций, а также проверка корректности матрицы следования и ее
совместимости с таблицей решений из состава упорядоченных каскадных таблиц
решений.
Впервые разработан каскадный метод построения тестовых наборов с
использованием упорядоченных каскадных таблиц решений. Сущность которого
состоит в разработке процедуры преобразования упорядоченной каскадной
таблицы решений в поток управления тестового набора на основе обобщенного
метода дерева решений; в формализации процесса проектирования тестовых
наборов в виде последовательности сущностей «требования к ПО на основе
модели случаев, сценарии на основе моделей взаимодействия, тестовый набор в
виде упорядоченных каскадных таблиц решений, потоки управления на основе
моделей деятельностей».
Полученные практические результаты диссертационной работы
реализованы и внедрены, что подтверждается соответствующими актами.
Ключевые слова: информационная технология, инфокоммуникационная
система, объектно-ориентированная технология, программное обеспечение,
сценарий, таблица решений.
22. 20
ANNOTATION
I.A. Lysenko. Cascading methods of test kits to increase the depth of testing
in the information and communication systems. - Manuscript.
This thesis is aimed at achieving of PhD in Technical Sciences, specialty
05.13.06 - information technology. - Cherkasy State Technological University, 2017.
The thesis suggests development methods for test sets based on requirements for
the information subsystem using ICS ordered cascade tables decisions. These can be
used to increase the quality of test sets requirements for most software and reliability
tests.
The tables decisions method (TDM) for the formal presentation of test kits based
on the expansion of opportunities of descriptive tables by modifying them as ordered
cascading decisions has obtained its further development. The tables validation method
(TVM) for a formal presentation of test kits has been improved, too. TVM – unlike
other existing methods – can check redundancy and inconsistency of ordered cascade
decisions tables, as well as secure integrity based on detection of unaccounted
situations in tables and check the correctness of the consecution matrix and its
compatibility with solutions set forth in the ordered cascade decisions table. For the
first time a creation method of test sets based on requirements for the software
information subsystem using ICS ordered cascade solutions has been also designed.
Keywords: information technology, information and communication system,
object-oriented technology, software, script, table making.
23. Формат 60х84/16. Гарнітура Таймс. Папір офсет.
Ум. друк. арк. 0,9. Тираж 100 пр. Зам. №15 від 27.01.2017р.
Друк ФОП Савенко О.В.
Україна, м. Черкаси,
вул. Богдана Хмельницького, 39
тел. (067) 87-87-185
e-mail: Saven1977@yandex.ru