Откуда можно получить ожидаемое поведение программы, если отсутствует спецификация?