Visual studio 2015 如何在测试代码中插入断言/假设？

在我的研究中，我正在Visual Studio 2015 Enterprise上使用Intellitest。我读到有可能向Intellitest生成的参数化单元测试添加假设和断言。不幸的是，我还需要在测试代码中添加假设和断言。可能吗？如果是，如何进行？

在参数化单元测试中，您可以使用pexassme和PexAssert静态类（有关详细信息，请参阅）

---

在测试的代码中，您应该使用代码契约。但是，据我所知，IntelliTest目前无法识别它们来生成测试用例（）。

谢谢您的回答。如果我在测试代码中放入一条语句，如果（假设_违反）抛出新的AssumptionViolatedException（），我在放入中捕获它，比如说：try{codeUnderTest（）；}catch（AssumptionViolatedException e）{pexasume.Fail（）；}，该怎么办？