面向可用性的软件认知过程建模与模式检查方法

摘要：

软件可用性检查是满足用户体验,提高软件质量的重要方法之一.本文提出了使用Markov随机过程模型建立了用户交互过程认知模型的基本方法,并在此基础上给出了一个严格的可用性模式检查过程和方法,帮助软件开发者重构用户交互过程,为改善软件系统的可用性特征提供了一种有效的手段.实践证明,该模型对不同类型用户具有很强的区分能力,能够有效地体现用户操作的概率特征,改善了传统可用性方法过分依赖可用性专家个人能力的缺陷,对于各种不同类型的软件系统具有较好的通用性特征.

关键词：软件可用性、Markov随机过程模型、模式检查、STNs

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：到重庆市自然科学基金重点项目;重庆市西南师范大学青年基金SWNUQ2005011;SWNUQ2005020

在线出版日期：2007-07-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：255-259,279