Інтелектуальні Юніт Тести, або що нас чекає в майбутньому

Для автоматизації юніт тестів іноді використовуються так звані "параметризовані тести", це тести які на відміну від стандартних, виконуються для множини наборів вхідних параметрів. Вхідними параметрами наприклад можуть бути рядки в таблиці, об'єкти в колекції, або просто послідовність даних. Ця техніка дозволяє перевірити як один і той самий код, працює з різними даними. А це в свою чергу дуже збільшує покриття (Code Coverage).

Так майже усі сучасні фреймворки підтримують цей сценарій. Так в VSTS це атрибут DataSource, MbUnit - RowTest. Нажаль NUnit покищо відстає...

Але що це я? Не так вже я багато інтелекту потрібно щоб запустити тест декілька разів один і той самий тест. От і я не про те .

Сьогодні продивляючись блоги натрапив на Майкрософтовський дослідницький проект PEX. Це щось. Це ті самі параметризовані тести, але параметри підбираються самі. Коротко кажучи проінспектувавши код, середовище генерує тести так щоб отримати максимальне покриття коду! А ще ці тести можна зберігати.., ну ця фішка вже зовсім для ледарів. А ще деякі проблеми ця середовище сама може фіксити!

Прочитати, в оригіналі, про усі ці солодощі можна на офіційній сторінці - http://research.microsoft.com/Pex/; Також є невеличке відео.

На жаль це поки що внутрішній проект, тому окрім деферамбів більше почитати нема чого... Ото ж бо чекаємо на оте майбутнє коли тести будуть самі писатися ;), а ми тільки декларувати чого саме ми бажаємо.