MicroTESK

h1. Development Milestones

h2. Version 2.0

# полная поддержка языка nML

## поддержка алиасов регистров

## поддержка вызовов операций из операций

# поддержка тестовых ситуаций

## возможность "ручного" описания тестовых ситуаций

## возможность указания тестовых ситуаций в шаблонах

# поддержка исключений

# поддержка ветвлений в шаблонах

# поддержка вызовов шаблонов из других шаблонов

h2. Version 2.1

# поддержка композиции тестовых ситуаций

## дизъюнктивная композиция (случайный выбор на основе весов)

## конъюнктивная композиция (с возможностью указания "жестких" и "мягких" ограничений)

# поддержка декомпозиции тестовых ситуаций (представление тестовой ситуации в форме дизъюнктивной композиции уточняющих ситуаций - импликантов)

## например, путем построения BDD: @rule(situation)@

## или с помощью других методов генерации тестов для реализаций логических функций

## набор правил декомпозиции должен быть расширяемым

# поддержка извлечения тестовых ситуаций из кода

## тестовая ситуация верхнего уровня (для отдельной инструкции) строится как дизъюнктивная композиция извлеченных ситуаций

## если в шаблоне для некоторой инструкции не указана тестовая ситуация, по умолчанию используется ситуация верхнего уровня

# поддержка итерации тестовых ситуаций

## систематический перебор тестовых ситуаций: @iterate(situation)@ или @iterate(rule(situation))@