Retrascope

На чем остановились:

1. Тестовая последовательность включает часы и последовательность тестовых векторов
2. Часы - это набор событий
3. Вектор включает события и набор транзаций
4. Транзакция включает интерфейс и ограничение на значения сигналов интерфейса (в частности, конкретные значения)
5. Интерфейс - это набор сигналов (входных или выходных)

Нужно добавить описание внешнего формата в Wiki.

Важный момент, который мы упустили на совещании: внешний формат должен быть унифицирован с XML-описанием тестовой системы. Этот вопрос нужно обсудить отдельно.

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

Второй метод будет общим для всех генераторов.

Сделал описание формата: http://forge.ispras.ru/projects/retrascope/wiki/Test_sequences_XML_representation
Но всё форматирование при отображении съедается.