迅捷检查 快速检查Swift。 对于那些已经熟悉Haskell库的人,请查看源代码。 对于其他所有人,请参见,以初学者级介绍该库的主要概念和用例。 介绍 SwiftCheck是一个测试库,可自动生成随机数据以测试程序属性。 属性是算法或数据结构的特定方面,必须在给定的一组输入数据下基本不变,基本上是对类固醇的XCTAssert 。 在我们只能定义以test和assert前缀的方法之前,SwiftCheck允许将程序属性和测试视为data对待。 为了定义程序属性,将forAll量词与类型签名一起使用,例如(A, B, C, ... Z) -> Testable where A : Arbit