Nem kéne a program elvárt működését egy gráfon vagy akármin (UML?) ábrázolni, és azt leellenőrizni hogy jó-e? Programozás alapjain így tanultuk.