5.3.2.4 Тестування синтаксису

5.3.2.4.1 Тестування синтаксису передбачає перевірку зовнішніх входів ПЗ таких, як команди оператора, дані від датчиків, інтерфейси між системами. Для виконання цього виду тестування вхідний синтаксис повинен бути описаний у вимогах до ПЗ та у проекті ПЗ. Описи вхідного синтаксису повинні включати множину користувальницьких і операторських команд, комунікаційні протоколи, логічні рішення, які відносяться до потоку транзакцій. Крім того, як джерела інформації, можуть бути використані експлуатаційна документація на ПЗ, а також вбудовані довідкові системи.

5.3.2.4.2 Для побудови тестів повинні використовуватися синтаксичний граф. Найбільш простий приклад синтаксичного графа представлено на рисунку 5.4. Програмні шляхи, які тестуються, формують у послідовностях, зазначених стрілками. Прямокутники на синтаксичному графі позначають програмні підставлені конструкції, а еліпси позначають програмні літерали.

Рисунок 5.4—Приклад синтаксичного графа

5.3.2.4.3 Синтаксичне тестування складається з побудови валідних і невалідних синтаксичних конструкцій і їхнього використання, як вхідних даних для тестування. Досить прості синтаксичні конструкції викликають велику кількість тестових прикладів, тому для синтаксичного тестування повинні використовуватися автоматизовані інструментальні засоби.

5.3.2.4.4 Під час синтаксичного тестування виявляються такі програмні помилки: невиконання валідних синтаксичних конструкцій, виконання невалідних синтаксичних конструкцій, а також відсутність механізмів оброблення валідних і невалідних синтаксичних конструкцій.

5.3.2.5 Тестування логічних умов

5.3.2.5.1 Цей вид тестування повинен застосовуватися у випадках, коли відповідні команди, які формуються ПЗ, залежать від набору значень логічних умов (правил). Відповідності між наборами логічних умов і станом вихідних умов змінних задають у вимогах до ПЗ. Для побудови тестів зазначені відповідності надають у вигляді так званих таблиць рішень (див. таблицю 5.3).

Таблиця 5.3—Приклад таблиці рішень

	Набори логічних змінних (правила)
	1	2	3	4	5	6	7	8
Умова 1	1	1	1	1	0	0	0	0
Умова 2	1	1	0	1	1	0	1	0
Умова 3	1	0	1	0	1	1	0	0
Дія 1						
Дія 2								
Дія 3								
Дія 4								

5.3.2.5.2 Перед початком тестування логічних умов повинна бути проведена верифікація таблиці рішень. Потім повинно бути перевірено відповідність роботи ПЗ щодо таблиці рішень для кожного з наборів логічних змінних.

5.3.2.5.3 Використання таблиці рішень для генерації тестів є доцільним у наступних умовах:

– вимоги до ПЗ у тому або іншому виді містять таблиці рішень;

– порядок оброблення логічних умов не впливає на інтерпретацію логічних правил і результуючі дії;

– логічні правила не залежать один від одного;

– за умови множинних результуючих дій, у випадку виконання однієї з логічних умов, послідовність дій не має значення.