Testowanie oparte na właściwościach

Magda Stożek

@magdastozek

BigDecimal calculateDiscount(Customer customer, LocalDate now);

Przykład: Liczenie zniżki

Staż:

0-1

1-2

2 +

30%

10%

20%

urodziny

class Customer {
    private final String name;
    private final LocalDate joinedAt;
    private final LocalDate dateOfBirth;
}

Zniżka:

Testy oparte na przykładach

@Test
void shouldCalculateNoDiscount() {...}

@Test
void shouldCalculate10percentDiscount() {...}

@Test
void shouldCalculate20percentDiscount() {...}

@Test
void shouldCalculateBirthdayDiscount() {...}

@Test
void shouldCalculate20percentDiscountFor3Years() {...}

Oczekiwany scenariusz:

Przypadki brzegowe:

A w języku właściwości?

BigDecimal calculateDiscount(Customer customer, LocalDate now);

Przykład: Liczenie zniżki

Staż:

0-1

1-2

2 +

30%

10%

20%

urodziny

class Customer {
    private final String name;
    private final LocalDate joinedAt;
    private final LocalDate dateOfBirth;
}

Zniżka:

Testy oparte na właściwościach

@Property
void shouldNotBeLowerThan0() {...}

@Property
void shouldNotBeOver30percent() {...}

@Property
void shouldBeProportionalToMembershipYears() {...}

Właściwości:

@Property
void shouldNotBeGreaterThanBirthdayDiscount() {...}

@Property
boolean shouldNotBeOver30percent(
    @ForAll Customer customer, 
    @ForAll("futureDate") LocalDate now) 
{
    BigDecimal discount = calculator.calculateDiscount(customer, now);
    Assertions.assertThat(discount).compareTo(new BigDecimal("0.3")) <= 0;
}

Właściwość: zniżka nigdy nie przekracza 30%

                              |-------------------jqwik-------------------
tries = 374                   | # of calls to property
checks = 374                  | # of not rejected calls
generation-mode = RANDOMIZED  | parameters are randomly generated
after-failure = PREVIOUS_SEED | use the previous seed
seed = -272292185905571017    | random seed to reproduce generated values
sample = 
[Customer{name='AAA', joinedAt=2010-01-01, dateOfBirth=1980-02-29}, 2019-10-06]
original-sample = 
[Customer{name='DtQDpPfEx', joinedAt=2010-04-21, dateOfBirth=1980-02-29}, 2185-03-17]

Wykryty błąd

Wyzwania

Trudne pytania wcześniej

Wyzwanie #1

Niedeterminizm

Wyzwanie #2

Wymyślanie właściwości

Wyzwanie #3

fsharpforfunandprofit.com/posts/property-based-testing-2/

Strategie

najpierw przykłady, potem właściwości
właściwości dla kluczowych elementów

Podsumowanie

większy koszt, większa korzyść
przypadki brzegowe i luki w rozumowaniu
wymyślanie właściwości
proporcje

Więcej

@Property
boolean endOfPresentation(@ForAll Attendee attendee) {
    Assert.that(attendee.wantsToTryIt);
}

@magdastozek

https://bit.ly/wlasciwosci-bf