state-machine-cat 화제 끓는 냄비에 대한 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
화제 끓는 냄비에 대한 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