Визначення сценарію
Межа системи, входи, критичні умови та критерій — до запуску.
Працюємо з наявним ПЗ, алгоритмами, телеметрією або формалізованою клієнтом логікою. Не заявляємо фізичне моделювання обладнання.
Що саме ми вважаємо правдою — і де межа цього припущення.
Межа системи, входи, критичні умови та критерій — до запуску.
Затримки, втрати даних, помилки формату або граничні умови проти наявної логіки.
Результат і чітке формулювання того, що досі не перевірено.