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 Elixir의 상태기로 솔루션 설계 이 글에서 우리는 Elixir에서 이러한 것을 어떻게 실현하는지, 그리고 매개 변수에 함수 모델을 작성함으로써 if, switch 또는 case 문장을 사용하지 않은 상황에서 의도적인 성명성 설계를 해서 이런 언어에서 이를 실현하는지를 볼 수 있다. 사용자가 폼을 제출할 때 우리는 이를 form_submitted이라는 이벤트로 표시하고 이 이벤트는 다음 상태인 awaiting_email_co... statemachineprogrammingfunctionalelixir
화제 끓는 냄비에 대한 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 Elixir의 상태기로 솔루션 설계 이 글에서 우리는 Elixir에서 이러한 것을 어떻게 실현하는지, 그리고 매개 변수에 함수 모델을 작성함으로써 if, switch 또는 case 문장을 사용하지 않은 상황에서 의도적인 성명성 설계를 해서 이런 언어에서 이를 실현하는지를 볼 수 있다. 사용자가 폼을 제출할 때 우리는 이를 form_submitted이라는 이벤트로 표시하고 이 이벤트는 다음 상태인 awaiting_email_co... statemachineprogrammingfunctionalelixir