TY - JOUR AU - Андрей Сергеевич Станкевич PY - 2010/06/01 Y2 - 2024/03/29 TI - Использование алгоритмов анализа левоконтекстных терминальных грамматик в задачах автоматического тестирования программ JF - Труды СПИИРАН JA - ТС VL - 2 IS - 13 SE - Статьи DO - 10.15622/sp.13.5 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1495 AB - При построении сценариев тестирования программ может возникнуть потребность анализа их свойств. Для формального задания сценариев можно применить левоконтекстные терминальные грамматики. В работе доказывается эквивалентность порождающей мощности левоконтекстных терминальных грамматик и контекстно-свободных грамматик и рассматриваются алгоритмы анализа левоконтекстных грамматик, которые могут быть использованы для анализа свойств сценариев тестирования. ER -