모델링 FSM swith 조건?

나는 FSM을 모델링하라고되어 있지만 조건을 모델링하는 방법을 잘 모르겠습니다. 간단한 ATM 예를 들어 봅시다. 사용자가 "확인"을 누르면 핀이 올바른 경우 사용자가 "확인"을 누르면 및 PIN이 올바르지 않으면 , 주 2 로 이동, 주 3모델링 FSM swith 조건?

에 가서 아니면 단순히 "잘못된 PIN"라고 입력을 사용할 수 있습니다 및 "올바른 핀"? 커버 세트 생성 등 FSM 테스트 절차를 사용할 수 있도록 공식화해야합니다. 그러나 FSM을 이런 식으로 모델링 할 수 있는지 (아마도 추가 조건을 나타내는 상태를 추가 할 때) 모릅니다.

출처

2017-09-19 user970696

I ' 선택 요소를 사용하고 모델에 '가능한'입력에 관한 정보를 두지 말 것을 제안한다. 이렇게하면 외부에서 상태 시스템을 매개 변수화 할 수 있습니다. 올바른 PIN 및 잘못된 PIN으로 시뮬레이션 할 수 있습니다. 상태 차트는 독립적이어야합니다.

출처

2017-10-18 07:22:42

그러나 선택 요소가 FSM의 일부입니까? 나는 그렇게 생각하지 않는다. 적어도 나는 그것에 관해 아무것도 찾을 수 없다. – user970696

OK, 네가 맞다. 나는 Harel statecharts에 대해 생각했다. 따라서 기본 상태 머신의 경우 'pin_correct'와 'pin_incorrect'의 각 상태를 모델링해야합니다. 죄송합니다. –

답변

관련 문제