Development Milestones¶

Version 2.0¶

1. полная поддержка языка nML
   1. поддержка алиасов регистров
   2. поддержка вызовов операций из операций
2. поддержка тестовых ситуаций
   1. возможность "ручного" описания тестовых ситуаций
   2. возможность указания тестовых ситуаций в шаблонах
3. поддержка исключений
4. поддержка ветвлений в шаблонах
5. поддержка вызовов шаблонов из других шаблонов

Version 2.1¶

1. поддержка композиции тестовых ситуаций
   1. дизъюнктивная композиция (случайный выбор на основе весов)
   2. конъюнктивная композиция (с возможностью указания "жестких" и "мягких" ограничений)
2. поддержка декомпозиции тестовых ситуаций (представление тестовой ситуации в форме дизъюнктивной композиции уточняющих ситуаций - импликантов)
   1. например, путем построения BDD: rule(situation)
   2. или с помощью других методов генерации тестов для реализаций логических функций
   3. набор правил декомпозиции должен быть расширяемым
3. поддержка извлечения тестовых ситуаций из кода
   1. тестовая ситуация верхнего уровня (для отдельной инструкции) строится как дизъюнктивная композиция извлеченных ситуаций
   2. если в шаблоне для некоторой инструкции не указана тестовая ситуация, по умолчанию используется ситуация верхнего уровня
4. поддержка итерации тестовых ситуаций
   1. систематический перебор тестовых ситуаций: iterate(situation) или iterate(rule(situation))