Разработка системного программного обеспечения (стр. 3 из 3)

B B F b c d

F F g { g }

g g {g} g g g g

IF ( A < Bc ) BULL ( ) ;

Тестирование на цепочках

Протестируем данную программу на следующей языковой цепочке:

IF ( A < B ) BULL ( );

< Оператор >

a b < УслВыражение > c < Функция >

< Терм > < Терм > < Идент > b c d

< Идент > < Идент > g { g }

g g {g} g g g g

IF ( A < B ) BULL ( ) ;

1. Проверка на нетерминальный символ IF

2. Проверка на терминальный символ « ( »

3. Проверка на условное выражение

3.1 Проверка на терм

3.2 Проверка на знак

3.3 Проверка на терм

4. Проверка на терминальный символ « ) »

5. Проверка на функцию

5.1 Проверка на имя функции

5.2 Проверка на наличие терминального символа « ( »

5.3 Проверка на параметр функции (может и отсутствовать)

5.4 Проверка на наличие терминального символа « ) »

6. Проверка на терминальный символ « ; »

Вывод: ошибок не обнаружено