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”) 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”) 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”) 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”) 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”) 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”) 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”) 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 .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 .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 .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”) 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”) 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”) 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”) let bytes = bird.encodeToBytes() return Bird.decode(bytes: bytes) == bird }
yusukehosonuma
hyopt
hhamon
yuhei_fujita
iwasiman
en2zo
daiksy
coe401_
heguro
keitaro1020
tonkotsuboy_com
koluku
oliver_diary
jonrohan
colly
geoffreycrofte
bryan
samlambert
chrisshort
jensimmons
lauravandoore
sachag
trallard
dotmariusz
searls