pex

1熱度

1回答

繼續Pex在Visual Studio 2015 RC intellitest中運行，直到動態覆蓋區塊號匹配

下面是使用intellitest時我不理解的行爲圖像。注意，綠色並沒有一直走到進度條的末尾，在它旁邊是當前的3/7塊動態覆蓋度量。我應該不能繼續我的測試運行，直到進度條填充完整性和塊度量值數字匹配。我沒有看到一個繼續按鈕 - 單擊運行按鈕會導致測試運行重新測試，然後結果保持不變。

2熱度

2回答

的Visual Studio 2015年RC Pex的公共方法創建測試只

我的印象是，一旦我有我的AssemblyInfo.cs下面的條目下文件 [裝配：InternalsVisibleTo（「MyAssembliesName」），那麼除了公共方法之外，pex應該能夠查看我的類定義中的所有內部方法。那麼，Pex何時不爲我的班級內部方法創建單元測試呢？

0熱度

1回答

當單元測試調試正在停止時鼴鼠崩潰

我在Visual Studio 2010 SP1中使用Pex和Moles Power Tools 0.94.51023.0 64位（en_visual_studio_2010_pex_0.94.51023.0_power_tools_x64_598803.exe）（Windows 7 Enterprise 64位，全部通過Windows Update安裝更新）。項目是.NET 2.0，測試在設置中

0熱度

1回答

我可以從Pex獲得SMT 2格式的路徑條件嗎？

我使用z3_logdir和z3_loglevel環境變量使Pex以* .z3文件格式記錄路徑條件。有沒有辦法強制pex導出SMT 2格式的路徑條件？或將.Z3文件格式轉換爲SMT 2？

3熱度

2回答

如何讓PEX自動生成單元測試？

如何讓PEX在Visual Studio 2013中自動生成單元測試？我可以使用PEX在Visual Studio 2010中自動生成單元測試，並通過右鍵單擊功能體找到菜單。

0熱度

1回答

Pex：如何獲取所有路徑條件（PC）？

可以強制Pex/Intellitest尋找任何可能的路徑條件？我需要pex向我展示那些PC。在pexfonfun/visualstudio 2015中，我只能看到幾臺PC。例如，不可行的PC沒有顯示。在下面的例子中我得到3 PC： 1) i != 12 && i != 15; 2) i == 15; 3) i == 12; public static int foo(int i){

1熱度

1回答

巴澤爾傳遞結構公約

我一直在一大堆巴澤勒規則在我的公司最近和已經創建了特定於我公司的一些自定義規則。我注意到的一件事是，在創建規則時，我經常使用自定義設計的傳遞數據傳播來幫助我的規則完成工作。這是我的意思： attrs = { 'deps': attr.label_list( providers=[ 'transitive_srcs', 'transitive_gens

1熱度

1回答

指導PEX嘗試排序的數組輸入

我有以下測試方法，它接受一個字符串數組，對其進行復制，排序，然後聲明已排序的複製元素應與原始數據不同。這個測試應該在大多數情況下通過，但我認爲如果輸入數組恰好已經被排序，它應該會失敗。我無法讓PEX發現這種情況（除了將其作爲種子輸入提供）。我能在PEX中配置什麼，或者改變測試寫法的方式，讓PEX更有可能發現這個問題？發現這樣的輸入是否超出了PEX/Z3的功能？ [TestClass] pub

0熱度

1回答

PexObserve只記錄255個字符

我使用命令行中的Pex來查找測試用例生成的輸入值。我使用PexObserve在執行過程中記錄某些值。我想要記錄的一個值是XML-String。但是，解析XML時，我收到「格式不正確的XML」異常，因爲Pex只會將前255個字符寫入日誌。有沒有辦法記錄完整的XML字符串？或者PexObserve有不同的類型可以讓我記錄更長的文本？

0熱度

1回答

DHT和PEX跟蹤哪些同行

我有一個關於DHT和PEX的問題。我已經閱讀了一些文章，這些文章建議DHT更新其他同行關於誰在積極參與洪流的羣體。 1）當我有一個當前在羣中的洪流時，我檢查DHT和PEX活動並顯示它們都處於活動狀態。例如，我也看到了這樣的情況：124顆種子（目前在種羣中有124顆種子），459個種羣（羣中有235顆）。我一直認爲DHT會更新羣組中其他同伴的同伴。因此，其他224個同行（459-235 = 224