pex

5熱度

3回答

我可以在Visual Studio 2012中使用PEX嗎？

我沒有看到有關計劃做出的Visual Studio Pex的工作2012年

2熱度

1回答

首先 - 在PEX上真棒！我們正在嘗試爲我們的一個Office Add-In項目執行代碼探索。所以，首先讓我問問你 - 這是可行的嗎？換句話說，PEX可以幫助我使用Add-In/VSTO項目嗎？其次，我想對我們的外接方法之一執行PEX並得到了以下錯誤 ---說明運行時上下文Microsoft.Pex.Engine.Libraries.MicrosoftVisualBasicLibrary +

0熱度

1回答

Contract.Ensures一個OverflowException異常

我有一個簡單的方法，從給定數量的返回指數值： public int Exp(int num) { return Convert.ToInt32(System.Math.Exp(num)); } 當運行的Pex我得到的彙總/異常場一定大量的OverflowException異常： 1969057606. 如何使用Contract.Ensure()創建後期條件？我

5熱度

2回答

在VS 2012中離開Pex和Moles？

說到測試我已經支持它了。我現在是一個巨大的粉絲，並且經常做類似TDD的事情。在VS 2010中，我使用MSTEST進行設計和迴歸。這很棒 - 我的所有項目都是開源的，並且與我的工作無關（物理研究@大學）。然後我進入Pex，這幫助我找到了許多我沒有找過的邊緣案例。總的來說，這是我編碼方式的革命。這已經將我介紹給了莫爾斯。也很酷（但我仍然在學習）。不幸的是，我只能訪問專業版的VS（這是我的大學獲得的

0熱度

1回答

PexSymbolicValue.GetRawPathConditionString（）中符號的含義是什麼？

我正在使用PexSymbolicValue.GetPathConditionString（）來獲取PexMethods中的路徑條件。我發現有一種方法PexSymbolicValue.GetRawPathConditionString（）以S表達式格式獲取路徑條件，但我找不到在其輸出中使用的符號的引用。（Ceq（Ceq node null）0）\ r \ n（Ceq（Ceq（select next

2熱度

1回答

運行的Pex沒有右鍵菜單

微軟的Visual Studio 2010 版本10.0.40219.1 SP1Rel 的Microsoft .NET Framework版本 4.0.30319 SP1Rel 安裝的版本：終極微軟痣1.0.0.0 痣發生器爲Visual Studio 我正在做一些研究/工作與MS Pex /痣，並下載Pex /痣0.94.0.0版本。安裝完成後沒有任何錯誤。我正在運行一些包含的文檔，其中之一

1熱度

1回答

PEX的可擴展性

我已經通過Pex，Extensions Writer Handbook但這個文件只是5頁，而不是精心製作。我需要更多關於可擴展性。我已經去http://pex.codeplex.com/，它擴展了Pex的不同測試框架加上DySy和ASE擴展。但是，它再次被寫入pex版本0.18，當前是0.94.x.許多課程都經過重構和改變。因此，它不能編譯。我被困在哪裏，我需要根據我的邏輯擴展測試方法名稱創建

0熱度

1回答

理論：開始Pex探索和產生PUT的數量

我讀了很多關於pex的論文，我關注探索策略。我知道Fitnex策略是默認使用的，但我不明白Pex如何創建第一個參數化單元測試。我在哪裏可以找到這些信息？通過sperimental測試中，我認爲： - 如果參數是「int」從0開始 - 如果參數是「布爾」開始與假 - 如果參數是一個對象，具有空開始它是正確的嗎？現在關於Fitnex戰略和求解約束Z3我認爲它是能夠唯一一家通過迭代約束來解決，對

1熱度

1回答

Pex - 測試輸入生成器

我在c＃中創建了示例方法。我在Visual Studio 2010中使用了Pex加載項。我必須用少量測試來測試我的示例方法。我應該自動執行此操作而不是手動操作。有關PUT（參數化單元測試）的文章。我不瞭解Pex如何自動創建測試輸入。我並不擅長編程，所以我自己也不這麼做。任何人都可以爲我的初學者建議一些很好的教程嗎？

1熱度

1回答

Pex的建議有痣的錯誤的解決方案

我嘗試使用的Pex探索下面的方法： public float MultiplyFloat(float a, float j) { if (a * a == 2) { if (j == 123) { a = 2; } } else a = 3; return 3; } 我知道，Z3是線性運