sash » 23 фев 2010, 21:33
Формальное описание реализации должно:
1) быть формальным, то есть непротиворечиво и однозначно описывать то, как вы реализовали конечный автомат. Это может быть структурная схема на RTL или описание на любом формальном языке. Можно, конечно, и исходный код вставить, и схему на вентильном уровне нарисовать, но бумаги много уйдет. Чем абстрактнее описание, тем лучше;
2) описывать именно реализацию, а не исходную задачу или другой объект.
Схема тестирования графически и/или вербально описывает процесс тестирования: "Сначала тестируется это таким-то образом, затем тестируется то, таким образом, а затем это и то подается на вход туда и ожидается то. Результаты протоколируются там."