Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://er.nau.edu.ua/handle/NAU/29383| Назва: | Технологія створення програм генерації тестових наборів даних на базі автоматних моделей |
| Інші назви: | The technology of creating programs generating test datasets on the base of automata models |
| Автори: | Райчев, Ігор Едуардович |
| Ключові слова: | теорія автоматів, контроль,тестовий набір даних |
| Дата публікації: | 29-вер-2006 |
| Видавництво: | Моделювання та інформаційні технології: зб. наук. пр. –К.: ІПМЕ, 2006. – Вип. 39. – С.27–35. |
| Бібліографічний опис: | При сертифікації програмного забезпечення автоматизованих систем контролю (ПЗ АСК) виникає проблема генерації тестових наборів даних, які б покрили всі можливі маршрути виконання програм, що реалізують алгоритми контролю [1]. Алгоритми контролю являють собою складні логічні вирази, котрі містять десятки предикатів й логічних функцій і за допомогою яких реалізується пошук контрольованих ситуацій. Враховуючи те, що для кожного об'єкта контролю таких алгоритмів декілька сотень, створення надійного й ефективного програмного забезпечення контролю є складною задачею. ПЗ АСК створюється із застосуванням підходу прямого кодування алгоритмів контролю [2], що створює високу ймовірність наявності невиявлених помилок [3] і ускладнює перевірку правильності програм. Високий ступінь вкладеності конструкторів розгалуження призводить до труднощів при трасуванні та побудові вичерпного набору тестів, що спричиняє наявність помилок у програмах, які реалізують алгоритми контролю об’єкта, і впливає на безпеку життєдіяльності. Ця робота присвячена розробці методів автоматизації створення тестових наборів даних (ТНД) при сертифікаційних випробуваннях ПЗ АСК. |
| Короткий огляд (реферат): | In the article technology of creation of test data sets with the help of use of automatic models are considered. The obtained programs allows to automate searching of the monitoring events and to generate tests that enable to increase efficiency of tests, to reduce input of certification and to raises reliability of her results. |
| URI (Уніфікований ідентифікатор ресурсу): | http://er.nau.edu.ua/handle/NAU/29383 |
| Розташовується у зібраннях: | Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Статья_ИПМ_1.doc | Технологія створення програм генерації тестових наборів даних на базі автоматних моделей | 219 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.