Как обогатить тестовые случаи, сгенерированные PEX? - PullRequest
Новая
       14

Как обогатить тестовые случаи, сгенерированные PEX?

0 голосов
/ 08 декабря 2011

Вот мой вопрос: я должен проверить метод объединения трех коротких списков в более длинный.И я (pex) предположил, что любой из коротких списков не является нулевым (предложения перечислены ниже). 

PexAssume.IsTrue(third != (IList<int>)null, "third");
PexAssume.IsTrue(first != (IList<int>)null, "first");
PexAssume.IsTrue(second != (IList<int>)null, "second");

Но тест проводился так: тестовые примеры, сгенерированные pex, - это все спискинулей.Это пример: первый {0,0} {0} {0}

второй {0} {0,0} {0}

третий {0,0} {0}{0,0}

результат {0,0,0,0,0} {0,0,0,0} {0,0,0,0}

А вот имой вопрос: как настроить допущения для обогащения тестовых случаев, генерируемых PEX, чтобы не было так много нулей?

Спасибо!

1 Ответ

1 голос
/ 08 декабря 2011

Pex генерирует значения на основе того, что необходимо для полного тестирования функции.Тот факт, что он генерирует списки из 0, просто означает, что конкретные значения в списках не имеют значения для вашей функции.Вы могли бы добавить некоторые операторы if в вашей функции, включающие значения в списках, чтобы заставить Pex генерировать списки, которые не являются просто 0, но на самом деле не должны.

TL; DR Donне беспокойтесь, 0 не имеют значения в вашем тесте.

...