화제 끓는 냄비에 대한 Property based testing 시도 (4) 끓는/보온 - 상태 천이에 맞게 구현 변경

에 계속 을 사용하여 Property based testing을 시도하고 있습니다. 소재로 에서 테스트 기반으로 지정됨 으로 결정했습니다. fast-check는 상태를 랜덤 워크 시켜 실패하는 테스트 케이스를 찾는 방법도 같기 때문에 슬슬 상태 천이를 생각하면서 이 기능을 시험해 가고 싶다고 생각하고 있는 오늘 요즘입니다만. 오늘은 property-based-testing의 화제가 아니라 구...

property-based-testingfast-check테스트화제 끓는 냄비

화제 끓는 냄비에 대한 Property based testing 시도 (3) 끓는/보온 - 상태 천이를 생각한다

전원 on(plugIn())/off(plugOff())는 뚜껑의 상태에 따라 아래와 같이 상태를 왕래한다 뚜껑이 닫힌 경우 off <-> idle 뚜껑이 열려 있는 경우 open/off <-> open/on 마찬가지로 뚜껑의 상태는 전원 on(plugIn())/off(plugOff())에 따라 아래와 같이 상태를 왕래한다 전원 on의 경우 idle <-> open/on 전원 off의 경우 o...

state-machine-cat테스트property-based-testing화제 끓는 냄비statemachine

[Elm] 너만의 최강 Fuzzer를 손에 넣어라!

세상에는 property based testing 이라고 하는 테스트 기법이 있습니다. 테스트 대상의 함수가 만족해야 하는 성질을 기술하면(자), 그 성질을 조사하기에 적절한 입력 데이터를 자동 생성해 실제로 함수에 맞추어, 그 출력이 예상하고 있는 성질을 채우고 있는지를 체크하는 테스트 기법 입니다. Elm에서는 을 사용하는 것이 일반적입니다. Fuzz 모듈의 기본 사용법 자체는 . 이 기...

property-based-testingFuzzer테스트Elm