Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.