Ну на самом деле можно и написать, и протестировать. Нарисовать диаграмму сначала с ромбиками и квадратиками, как в универе учили. Потом каждому квадратику поставить в соответствие нужные команды. Прогнать в симуляторе по шагам.
Есть статьи, как это всё в прошлом делалось для сложных систем, к которым предъявлялись особые требования (банки, аэрокосмическая промышленность, управление). Помню даже фильм был какой-то (название не вспомню, увы)
Просто это не считалось важным. Предполагалось, что к 2000 году софт и железо 100 раз заменят, поэтому нет никакого смысла очень сильно усложнять ПО заранее.