Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Property-based test by self for xs in randomArrays() { // The length does not change XCTAssertEqual(xs.reversed().count, xs.count) // When it is executed twice, it returns to the original XCTAssertEqual(xs.reversed().reversed(), xs) } func randomArrays() -> [[Int]] { // generate random arrays }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Property-based test by self for xs in randomArrays() { // The length does not change XCTAssertEqual(xs.reversed().count, xs.count) // When it is executed twice, it returns to the original XCTAssertEqual(xs.reversed().reversed(), xs) } func randomArrays() -> [[Int]] { // generate random arrays }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Property-based test by self for xs in randomArrays() { // The length does not change XCTAssertEqual(xs.reversed().count, xs.count) // When it is executed twice, it returns to the original XCTAssertEqual(xs.reversed().reversed(), xs) } func randomArrays() -> [[Int]] { // generate random arrays }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Property-based test by self for xs in randomArrays() { // The length does not change XCTAssertEqual(xs.reversed().count, xs.count) // When it is executed twice, it returns to the original XCTAssertEqual(xs.reversed().reversed(), xs) } func randomArrays() -> [[Int]] { // generate random arrays }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Property-based test by self for xs in randomArrays() { // The length does not change XCTAssertEqual(xs.reversed().count, xs.count) // When it is executed twice, it returns to the original XCTAssertEqual(xs.reversed().reversed(), xs) } func randomArrays() -> [[Int]] { // generate random arrays } Let’s try SwiftCheck !
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } } XCTest method
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } } Describe summary
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } } Random values
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } } Describe property
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. The length does not change func testReversed() { property("length not changed”) <- forAll { (xs: [Int]) in return xs.reversed().count == xs.count } }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. When failed *** Failed! Proposition: length not changed Falsifiable (after 1 test): [] *** Passed 0 tests
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. When failed *** Failed! Proposition: length not changed Falsifiable (after 1 test): [] *** Passed 0 tests Summary
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. When failed *** Failed! Proposition: length not changed Falsifiable (after 1 test): [] *** Passed 0 tests Failed value
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Arbitrary Protocol public protocol Arbitrary { static var arbitrary : Gen { get } static func shrink(_ : Self) -> [Self] }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Arbitrary Protocol public protocol Arbitrary { static var arbitrary : Gen { get } static func shrink(_ : Self) -> [Self] }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Custom type struct Point { var x: Int var y: Int } extension Point: Arbitrary { static var arbitrary: Gen { return Gen<(Int, Int)> .zip(Int.arbitrary, Int.arbitrary) .map(Point.init) } }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Custom type struct Point { var x: Int var y: Int } extension Point: Arbitrary { static var arbitrary: Gen { return Gen<(Int, Int)> .zip(Int.arbitrary, Int.arbitrary) .map(Point.init) } } Has pair of Int
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Custom type struct Point { var x: Int var y: Int } extension Point: Arbitrary { static var arbitrary: Gen { return Gen<(Int, Int)> .zip(Int.arbitrary, Int.arbitrary) .map(Point.init) } } Return generater of Point
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Arbitrary Protocol public protocol Arbitrary { static var arbitrary : Gen { get } static func shrink(_ : Self) -> [Self] }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Arbitrary Protocol public protocol Arbitrary { static var arbitrary : Gen { get } static func shrink(_ : Self) -> [Self] }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Example: encode / decode property("encode and decode are synmetry”) <- forAll { (bird: Bird) in let bytes = bird.encodeToBytes() return Bird.decode(bytes: bytes) == bird }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Example: encode / decode property("encode and decode are synmetry”) <- forAll { (bird: Bird) in let bytes = bird.encodeToBytes() return Bird.decode(bytes: bytes) == bird }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Example: encode / decode property("encode and decode are synmetry”) <- forAll { (bird: Bird) in let bytes = bird.encodeToBytes() return Bird.decode(bytes: bytes) == bird }
Copyright (C) DeNA Co.,Ltd. All Rights Reserved. Example: encode / decode property("encode and decode are synmetry”) <- forAll { (bird: Bird) in let bytes = bird.encodeToBytes() return Bird.decode(bytes: bytes) == bird }
yusukehosonuma
marcustung
okuzawats
hiroyaonoe
trapezoid
deepu105
yuhei_fujita
mackey0225
afilina
cer
uhooi
sanfrecce_osaka
ohakutsu
samlambert
aleyda
marktimemedia
colly
chrislema
destraynor
jponch
chrisshort
malarkey
orderedlist
robhawkes