Конструювання програм створення тестових наборів на базі автоматних моделей

• Published in: Математичні машини і системи
• Date: 2006
• Main Authors: Райчев, І.Е., Харченко, О.Г.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем математичних машин і систем НАН України 2006
• Subjects: Моделювання і управління великими системами
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/84058
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Конструювання програм створення тестових наборів на базі автоматних моделей / І.Е. Райчев, О.Г. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 127-136. — Бібліогр.: 14 назв. — укр.

У статті розглянуті питання автоматизації створення тестових наборів даних (ТНД). Запропонована технологія створення програм генерації ТНД, яка базується на побудові автоматних моделей. Отримані ТНД дозволяють автоматизувати виявлення подій контролю, що підвищує ефективність випробувань, зменшує тру...