HCI.TOP
B4.17

交互框架与状态转换模型

本组卡片 · 5

  1. B4.17.1交互可建模为用户语言与系统语言之间的多次翻译，每次翻译都可能失真
  2. B4.17.2状态转换图能穷举界面的可达状态与非法转换
  3. B4.17.3并行控件的组合会使状态数爆炸，穷举建模只适用于局部
  4. B4.17.4模式是同一操作在不同状态下产生不同结果，模式错误可由状态图定位
  5. B4.17.5不可达状态与无出口状态是可由模型机械检出的缺陷