Тестування об'єктів 1-го типу

Кожний об'єкт 1-го типу включає базові структури управління (БСУ) обчисленнями: умови, ітерацію і послідовне виконання. Ці структури визначають шлях обчислень об'єктів 1-го типу в залежності від значень виражень, що утримуються в них , і умов, які впливають на керування. До БСУ об'єктів 1-го типу саме і застосовується метод вбудовування механізмів тестування для перевірки правильності їхнього виконання.

Об'єкт 1-го типу тестуються з вмонтованим механізмом тестування, що дозволяє переходити в режим тестування для перевірки правильності виконання БСУ.

Кероване тестування об'єктів 1-го типу - це спроможність механізму управляти (контролювати) поводженням об'єкта під час тестування за допомогою вибору шляху виконання в його керуючих структурах (гілках програми) для виявлення структурних і семантичних помилок.

Спостережність тестування об'єктів 1-го типу - це спроможність механізму переглядати значення будь-яких змінних програмного об'єкта, одержуваних під час обчислень.

<== попередня сторінка	\|	наступна сторінка ==>
Тестування прикладних і інтерфейсних об'єктів	\|	Метрики тестування об'єктів 1-го типу

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.002 сек.