Составление структурных программ в диалоговом режиме с одновременной генерацией тестов

Излагается метод построения программ, имеющих структуру типа дерева с циклами. Доказывается, что любая программа может быть реализована в виде программы, имеющей такую структуру. Одновременно с построением программы генерируется тест, удовлетворяющий комбинаторному критерию. Последовательно генерируемые тестовые примеры используются для реализации концепции «поэтапного составления программ».