可用性关系到人机交互能否达到用户的预期目标，以及实现这一目标的效率与便捷性。

判断题状态转换网络的基本思想是定义一个具有一定数量的状态的转换机，称之为有限状态机（FSM）。

判断题任务模型表示法（CTT）是一种基于图形符号的，采用层次的树状结构来组织并表示任务模型的方法。

单项选择题UAN采用一种表格结构来表示任务，表格分别由（）构成。

A.用户行为
B.界面反馈
C.界面内部状态的改变
D.以上选项均正确

判断题UAN属于一种行为模型，它又涉及一定程度的系统行为的描述，因而它兼有行为模型和结构模型的特点。

单项选择题一旦T2任务被执行，T1便无效（不活动），LOTOS模型中定义是（）。

A.T1[＞T2
B.T1∣∣∣T2
C.T1＞＞T2
D.T1[]T2