导　　师： 汤庸

学科专业： H1202

授予学位： 博士

作　　者： ;

机构地区： 中山大学

摘　　要： 随着现代企业需求的不断提高，分布式协同软件得到应用的范围越来越广，趋势越来越明显，然而相当一部分开发出来的系统却没有得到频繁地使用，这在一定程度上归因于系统的低可用性问题。而这类可用性缺陷问题正是传统的可用性评估技术跟不上，或不适合协同软件系统评估的需求所表现出来的。评估协同软件是一个复杂的、困难的问题，它已经成为解决该类系统成功应用的瓶颈之一。 由于协同软件的复杂性，在评估的时候常常需要结合多种评估方法。正是由于这样的需求，本文从定性和定量的角度研究了几种面向协同软件的可用性评估方法，并将它们应用于实际系统，验证了在实践上它们可以提前预测潜在的可用性缺陷，节省软件开发的成本，提高软件的质量，同时给用户提供更客观的、更全面的评价手段，方便他们对系统做出判断和选择。本文研究的核心内容和创新点如下： 在可用性的一般原理的基础上，提出了面向协同软件的可用性核心准则、度量指标和层次分析框架，它们有助于分解可用性的抽象概念，确定评估目标。 在传统的界面模型的基础上，提出了一种面向可用性评估的界面描述模型csdm，它由上下文模型和任务模型两部分组成，其中基于抽象元素的半结构化的上下文模型主要面向于解决评估过程中涉及的高层语境信息对可用性的影响，而基于协作元行为的任务层次分析树模型则面向于解决低层的基本协作行为和交互任务的柔性特性对可用性的影响。 提出了协作遍历评估方法，它是在认知遍历中引入面向协作的启发准则，并将遍历对象改进为多用户系统后得到的。它与csdm任务模型结合后，可以应用于开发的早期，发现和修复潜在的可用性缺陷。实验验证方面，将该方法与其他两种评估方法同时使用在系统cpat上，对结果进行了比较，验证了可行性和优势。 在量化界面系统的有效性和效率问题上，针对传统有限状态机状态冗余的局限性，引入变量约束的方法减少冗余状态，并在理论上证明了变量有限状态机和有限状态机的等价关系。同时进一步提出了带状态转换概率的有限状态机模型，定义了模糊概率计算公式和可用性预测计算算法。在实践中，应用该算法对cpat2.0的部分界面模型的有效性和效率进行了量化比较，取得了很好的效果。 在量化用户对系统的满意度的问题上，类比于决策理论中的多标准决策和不确定情况决策，提出了基于模糊度量函数对评估问卷返回的数据进行统计的定理和公式，用于计算用户整体满意度的效用值，于是可以直观地比较各个系统的满意度数值，或某个系统在完成不同类型任务时的不同表现。

关 键 词： 协同软件 人机交互 可用性评估 界面模型 有限状态机 模糊度量

分 类 号： [TP317]

领　　域： [自动化与计算机技术] [自动化与计算机技术]