Эксперименты с дедуктивным тестированием реактивных систем

• Published in: Математичні машини і системи
• Date: 2013
• Main Author: Летичевский, А.А. (мл.)
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2013
• Subjects: Обчислювальні системи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/84268
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос.

Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использов...