標簽[property-testing] - 堆棧內存溢出

[英]FsCheck: Override generator for a type, but only in the context of a single parent generator

我似乎經常遇到我想要生成一些復雜結構的情況，但是生成的成員類型的特殊變體不同。例如，考慮這棵樹 type Tree<'LeafData,'INodeData> = | LeafNode of 'LeafData | InternalNode of 'INodeData ...

[英]How do you write a new modifier in QuickCheck

我在使用QuickCheck進行測試時遇到了一些實例，這些實例在某些情況下可以簡化編寫我自己的修飾符的過程，但是我不確定如何做到這一點。特別是，了解如何為列表和數字的生成器（例如Int ）的生成器編寫修飾符將很有幫助。我知道該庫中已經存在NonEmptyList ， Positive和N ...

[英]Python property testing with timeout

我有一定的時間來測試系統。我可以編寫一個可以運行屬性測試直到一個小時的Python屬性測試嗎？我在hypothesis尋找一種解決方案，但找不到。我認為屬性測試庫具有某種測試用例生成器，在其中我可以從中拉出並執行直到超時為止。這將是一個可以接受的惰性解決方案。 ...

[英]How to report all test case input for scalacheck.Prop.forAll property test?

在使用scalacheck時，如果我們使用forAll測試任何屬性，那么我們只會報告失敗的測試輸入而沒有通過測試輸入。有沒有辦法報告由forAll給出的所有隨機測試輸入到各自的屬性測試？ ...

[英]How to use QuickCheck in Hspec tests?

我使用cabal init為我的Haskell項目構建初始代碼庫我有幾個用Hspec編寫的測試。在cabal test它會像預期的那樣編譯和運行這些測試，並給出失敗/傳遞的消息。現在我加入了一個quickCheck測試，即使測試失敗，終端輸出也無法識別quickCheck測試。 ...

[英]scalacheck: define a generator for an infinite stream with some dependence on previous elements

我試圖限定Gen[Stream[A]]為無限（懶惰地評估）流A S其中每個元素A可以依賴於前一元素。作為最小的情況，我們可以采用Gen[Stream[Int]] ，其中下一個元素是上一個元素的+1或+2 。作為參考，下面是一個haskell實現：我已經在Stream[Gen ...

[英]How write a property test for particular list content

我有以下功能，想通過ScalaCheck進行測試：我嘗試從開始：但是無法為該屬性編寫實現。應該在List隨機生成的String ，應具有Windows模式路徑，例如：財產如何實施？ ...

[英]Generating tuples containing Long for Vavr Property Checking

我需要一對隨機long來使用Vavr進行屬性檢查。我的實現如下所示：在vavr中，有沒有更好/更好的方法可以做到這一點？ ...

[英]Python Hypothesis - building strategy once for many tests?

我有一個復合，昂貴的構建，但廉價的測試策略。我必須這樣做：構建示例需要大約4秒鍾，運行斷言的時間可以忽略不計。最佳實踐要求將這些測試分開。我不清楚如何結合假設策略和例如。 TestCase.setUp或pytest會話范圍的燈具。兩者都裝飾夾具並用x = ex ...

[英]How are properties evaluated in eclipse?

請耐心閱讀，我已盡力解釋情況，如果沒有請評論- 我有兩個插件說A ， B 。在這兩個插件中，我為命令定義了一個“and”表達式。 “and”表達式中的條件之一是測試屬性，比如myprop 。 A不依賴於B並且B不依賴於A 。在第三個插件中定義了一個屬性測試器，比如說C 。 A , B都 ...

[英]Create an Arbitrary instance for a case class that holds a `Numeric` in ScalaCheck?

我專門嘗試定義Semigroup和一個“是” Semigroup的Sum類型，並通常使用ScalaCheck檢查Semigroup的Associative屬性。我首先在Haskell中寫了這一點，因為我發現更容易先用Haskell語法來思考這些事情，然后將它們翻譯成Scala。因 ...

[英]pure E4 usage activeWhen Expression

我正在將E3遷移到純E4應用程序。 E3應用程序結合使用了activeWhen-Core表達式和propertyTesters來啟用/禁用實時的ToolItem。現在在E4中僅支持VisibleWhen核心表達式（對嗎？）。我現在該使用@ CanExecute-Annotation ...

[英]How would I perform property-based testing on a card game's Deal function?

我正在研究基於屬性的測試，並且很好奇如何將這種測試應用於BlackJack游戲的Deal功能。這是一個單元測試（又名：基於示例的測試）：基於屬性的測試的示例是什么？我會測試兩張卡是否在4套西裝范圍內？（例如黑桃，鑽石，紅心，球桿）是否已經可以依靠靜態類型對我而言 ...

[英]Should property tests run with unit tests when using the RGR methodology?

使用RGR方法時，屬性測試應與單元測試一起運行嗎？ RGR：紅色->綠色->重構我注意到我已經在18ms內執行了單元測試。但是，我對同一方法的屬性測試需要215ms。因此，我的屬性測試需要四分之一秒才能執行。另外，這只是一個簡單的屬性測試。 ...