Допустим есть у функция, которая получает некое имя. Это имя не поступает извне(от пользователя) и должно подчинятся определенным правилам. Для гарантии, что непотребное имя не попало к нам я делаю assert, псевдокод:
void Foo(string)
{
assert(CheckName(string));
…
}
Вопрос: есть ли способ написать test case для Foo, чтобы assert отработал и тест прошел успешно?