Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://er.nau.edu.ua/handle/NAU/29376Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Райчев, Ігор Едуардович | - |
| dc.contributor.author | Василенко, Валерій Андрійович | - |
| dc.date.accessioned | 2017-06-15T08:29:17Z | - |
| dc.date.available | 2017-06-15T08:29:17Z | - |
| dc.date.issued | 2007-09-10 | - |
| dc.identifier.citation | При сертифікації програмного забезпечення автоматизованих систем контролю (ПЗ АСК) постає проблема генерації тестових наборів даних, які б покривали можливі маршрути виконання програм, що реалізують алгоритми контролю [1]. Алгоритми контролю являють собою складні логічні вирази, котрі містять десятки предикатів й логічних функцій і за допомогою яких реалізується пошук контрольованих ситуацій. Враховуючи те, що для кожного об'єкта контролю таких алгоритмів декілька сотень, створення надійного й ефективного ПЗ контролю є складною задачею. ПЗ АСК створюється із застосуванням підходу прямого кодування алгоритмів контролю [2], що створює високу ймовірність наявності невиявлених помилок [3] і ускладнює перевірку правильності програм. Високий ступінь вкладеності конструкторів розгалуження призводить до труднощів при трасуванні та побудові вичерпного набору тестів, а це спричиняє присутність помилок у програмах, які реалізують алгоритми контролю, що може вплинути на безпеку життєдіяльності контрольованих об’єктів. Ця робота присвячена розробці концепції створення тестових наборів даних (ТНД) при сертифікаційних випробуваннях ПЗ АСК. | uk_UA |
| dc.identifier.uri | http://er.nau.edu.ua/handle/NAU/29376 | - |
| dc.description.abstract | In the article the concept of creation of test data sets on the basis 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 certified tests and to raises reliability of certification resultsУ статті розглянуто концепцію створення наборів тестових даних на основі використання автоматичних моделей. Отримані програми дозволяє автоматизувати пошук подій моніторингу та генерації тестів, які дозволяють підвищити ефективність сертифікаційних випробувань і підвищує достовірність результатів сертифікації | uk_UA |
| dc.language.iso | uk | uk_UA |
| dc.publisher | // Моделювання та інформаційні технології: зб. наук. пр. –К.: ІПМЕ. –2007. Вип. 40.–С.29–37. | uk_UA |
| dc.subject | Концепція побудови програм, сертифікація, контроль | uk_UA |
| dc.title | Концепція побудови програм створення тестових наборів даних на основі автоматних моделей | uk_UA |
| dc.title.alternative | The concept of building programs for the creation of test data sets based on the automatic models | uk_UA |
| dc.type | Article | uk_UA |
| dc.speciality | УДК 629.735.05:681.178:519.713 | uk_UA |
| Розташовується у зібраннях: | Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Статья_ИПМ_3.doc | 220 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.