不在 scope 中：類型構造函數或 class `GenUnchecked'
[英]Not in scope: type constructor or class `GenUnchecked'
我想使用validity設置基於屬性的測試，但我什至無法從文檔中獲取這個簡單的示例來編譯：module PrimeSpec where import Data.GenValidity import Data.Validity import Data.Numbers.Primes import T ...
如何在帶有 C# 的 FsCheck 中向生成器/任意添加顯式邊緣情況？
[英]How to add explicit edge cases to a generator / arbitrary in FsCheck w/ C#?
背景我有兩個擴展方法， DateOnly.BeginningOfDay和DateOnly.EndOfDay ，它們應該有助於將DateOnly object 轉換為DateTime object。這些方法的測試是用 FsCheck 編寫的。 FsCheck 沒有針對DateOnly和TimeOn ...
更好的任意數字？
[英]Better Arbitrary Number?
我需要一個任意java.lang.Number 。 這是我想出的： @Provide Arbitrary<Number> numbers(){ return Combinators.combine( Arbi ...
如何根據具有 rust proptest 的模式創建 JSON object 策略？
[英]How to create JSON object strategy according to a schema with rust proptest?
我想使用 rust proptest庫創建一個 JSON 策略。 但是，我不想創建任意 JSON。我想根據模式（更具體地說，OpenAPI 模式）創建它。 這意味着 JSON 的鍵是已知的，我不想使用任何策略創建它們，但我想使用該策略創建值（幾乎是遞歸的）。 我已經實現了基本類型的策略，但我不知道 ...
是否有支持使用種子運行的 Rust QuickCheck 端口
[英]Are there Rust QuickCheck ports which support running with a seed
我想做快速檢查/基於屬性的測試並讓它在 CI 中運行，但我不想向 CI 添加隨機測試（因為當其他人試圖合並不相關的更改和強制時，它可能會失敗他們重新運行）。 是否有任何基於 Rust 屬性的測試庫支持這一點？ ...
jqwik雙生成器不能用比例表示
[英]jqwik double generator cannot be represented with scale
當使用帶有 jqwik 的“鏈式”雙生成器時，我收到一條比例錯誤消息java.util.concurrent.ExecutionException: net.jqwik.api.JqwikException: Decimal value -1.6099999999999999 cannot be r ...
快速檢查堆棧溢出
[英]QuickCheck Stack Overflow
我有以下結構： 為此，我將Arbitrary定義如下： 我也有這個測試用例： 沒有我自定義的shrink實現，產生的反例是： 直觀地可以看出，一個更好的反例可能是Restriction { min: Some(1), max: None } ，我什至會接受Restriction { ...
何時為狀態測試選擇基於示例的測試和基於屬性的測試
[英]When to choose Example based testing and property based for Stateful Testing
這些天我主要在 Android Studio 中為 Android SDK 進行單元測試，並使用Jqwik ，它是 JUnit 平台上基於屬性的測試工具。 在與我的前輩一起探索不同的測試技術方法時，我了解了基於示例的測試和基於屬性的測試。 我想知道什么時候選擇哪一個。 ...
如何在 kotest 中為屬性測試中的迭代設置項目范圍的配置？
[英]How to set a project wide configuration for iterations in property tests in kotest?
我想限制 Kotest 中基於屬性的測試的默認迭代次數，最好是在代碼中（而不是在我的 gradle/maven 項目中使用現有的系統屬性kotest.proptest.default.iteration.count ）。 全局配置 | Kotest 屬性測試頁面指出，我可以通過將Propert ...
Kotlin 和任意值的 kotest：我做錯了什么？
[英]Kotlin and kotest with arbitrary values: what am I doing wrong?
我已經閱讀了kotest文檔，並試圖將一些基於屬性的測試合並到我的代碼中。 從文檔中，我的印象是如果你使用forAll<T> ，如果kotest有一個內置的Arb<T> ，它會為T生成任意值，然后對它們運行給定的測試。 那么，為什么這個明明應該失敗的例子卻為我聲稱通過呢？c ...
Jqwik：如何檢查是否涵蓋了所有可能性？
[英]Jqwik: How to check if all possibilities is covered?
如何檢查所有可能性（參數的笛卡爾積）是否包含在 N 屬性的摘要中？ 其中一些可以通過不同的屬性進行幾次測試。 ...
如何對假設策略實施相對約束？
[英]How to enforce relative constraints on hypothesis strategies?
假設我有 2 個變量a和b給定b > a ，那么我如何才能對假設策略強制執行這種相對約束？from hypothesis import given, strategies as st @given(st.integers(), st.integers()) def test_subtrac ...
何時使用基於屬性的測試？
[英]when to use Property-Based Testing?
我正在嘗試學習基於屬性的測試（PBT）我想我知道如何實現它但是我應該什么時候應用 PBT？ 例如，在這種情況下，我試圖比較 function getCurrentName() 是否返回預期的名稱。 我應該隨機化這個測試嗎？ ...
有沒有生成任意等效正則表達式的方法？
[英]Is there any method of generating arbitrary equivalent regular expressions?
我想為正則表達式分析引擎編寫測試。 如果我能生成任意對等價的正則表達式，看看引擎是否正確解析它們並將它們標識為等價的，那就太好了。 是否有任何已知的算法可以這樣做？ 如果有人知道預先創建的列表，我也會接受 20-100 個眾所周知的正則表達式等價物的列表。 例如a*a和aa*或(ab)*a和a(b ...
如何在基於特性的測試中提出特性
[英]How to come up with properties in propety based testing
這個問題適用於任何特定的編程語言。 假設我有一個函數可以將數據結構轉換為十六進制字符串。 假設我現在想使用基於屬性的測試來測試這個。 我如何想出作為測試基礎的屬性？ 我在基於屬性的測試中看到的所有示例都假定了非常簡單的數學關系。 諸如測試反轉列表或字符串是否是另一個字符串的子字符串之類的事情 ...
如何在 test.check 中生成隨機 email 地址？
[英]How do I generate random email addresses in test.check?
我正在嘗試將 gen/fmap 與兩個隨機字母數字字符串一起使用。 然后我將它們與“@”和 append“.com”連接起來。 但我在語法上苦苦掙扎。 第一次嘗試： 但是gen/fmap只需要兩個arguments。 第二次嘗試，我將第二部分分組的地方也不起作用 編輯：我有一個部分解決方案。 它生 ...
基於屬性的測試的不確定性是否會損害構建的可重復性？
[英]Does non-deterministic nature of property-based testing hurt build repeatability?
我正在學習 FP，並了解了基於屬性的測試的概念，對於來自 OOP 世界的人來說，PBT 看起來既有用又危險。 它確實檢查了很多選項，但是如果有一個（或一些）選項失敗了，但在你的第一個選項中它們沒有失敗，比如說 Jenkins 構建。 那么下次您運行構建時，測試可能會失敗，也可能不會失敗，這不會扼殺 ...
使用 flatMap 創建的任意不考慮過濾器
[英]Arbitrary created with flatMap does not consider the filter
我正在嘗試 jqwik（版本 1.5.1），我從文檔中讀到我可以創建一個Arbitrary ，其生成的值取決於另一個Arbitrary提供的值，特別是使用flatMap function。 我的實際目標不同，但基於這個想法：我需要 2 個Arbitrary ，它們總是為單個測試生成不同的值。 這是我 ...
python-hypothesis如何縮小延遲策略
[英]How does python-hypothesis shrink a deferred strategy
我目前正在為 Matlab 實施 PBB，並且在某種程度上受到假設的影響。 我不明白假設如何處理遞延策略的縮減。 在文檔中有代碼片段 現在，這個例子很可能會通過減少遞歸深度來縮小。 但是，假設如何知道如何操縱 lambda 以使示例縮小？ DRMacIver 一個接一個的問題： 假設是否存儲了哪些 ...
FsCheck 設置和拆卸
[英]FsCheck with Setup and Teardown
概括在每個屬性案例之前是否可以運行任何事件，以便我可以為屬性的每次運行運行設置和拆卸？ 完整版我希望能夠使用屬性測試配對行為，例如“我總是可以獲取書面記錄”或“readAllLines 的輸出等於 writeAllLines 的輸入”。 我還希望屬性不關心操作集是如何實現的（即是否需要清理任何資源） ...