我应该为FSM建模，但我不确定如何建模条件。我们来看一下简单的ATM示例。 如果用户按下＆＃34;确认＆＃34; AND PIN是正确的，请转到状态2。 如果用户按下＆＃34;确认＆＃34; AND PIN不正确，请转到State 3.
或者我可以简单地使用名为＆＃34;错误的引脚＆＃34;和＆＃34;正确的针脚＃34;？我需要它是正式的，以便我可以使用FSM测试程序，如封面集生成等。但我不知道FSM是否可以这种方式建模（可能添加表示附加条件的状态？）
答案 0 :(得分：0)
我建议使用choice元素，而不是将有关'可能'输入的信息放入模型中。通过这样做，您可以外部参数化您的状态机。您可以使用正确的PIN码和错误的PIN码进行模拟。状态图应该是独立的。
答案 1 :(得分：0)
对要使用的建模技术或语言是否有要求？
如果不同意，则我同意Svenja Wendler的回答，并建议为此目的使用UML state machine diagrams，允许您使用选择，还可以为状态转换建模保护条件和动作。