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

Usability-oriented Interaction Process Cognitive Process Modeling and Model Check Method

作　　者：赖祥伟[1,2] 邱玉辉[1,2] 张为群[1,2] 

机构地区：[1]西南大学计算机与信息科学学院,重庆400715 [2]重庆市智能软件与软件工程重点实验室,重庆400715

出　　处：《计算机科学》2007年第5期255-259,279,共6页Computer Science

基　　金：重庆市自然科学基金重点项目"软件测试技术与方法研究"支持;重庆市西南师范大学青年基金项目(SWNUQ2005011)(SWNUQ2005020)

摘　　要：软件可用性检查是满足用户体验,提高软件质量的重要方法之一。本文提出了使用Markov随机过程模型建立了用户交互过程认知模型的基本方法,并在此基础上给出了一个严格的可用性模式检查过程和方法,帮助软件开发者重构用户交互过程,为改善软件系统的可用性特征提供了一种有效的手段。实践证明,该模型对不同类型用户具有很强的区分能力,能够有效地体现用户操作的概率特征,改善了传统可用性方法过分依赖可用性专家个人能力的缺陷,对于各种不同类型的软件系统具有较好的通用性特征。Usability evaluation is increasingly being used in the development of software. Users always get intuitionist feeling to a product by the human-computer interaction process. This paper we present a usability-oriented interaction process rebuild method. A Markov model is used to modeling the human-computer interaction process. The Markov model can be transformed to an operation process diagram by a serial of strict steps. Some model checking rules were suggested to monitor and improve the interaction process. And we also get an effective reflection either.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]