%0 Journal Article %T 面向可用性的软件认知过程建模与模式检查方法 %A 赖祥伟 邱玉辉 张为群? %J 计算机科学 %D 2007 %X 软件可用性检查是满足用户体验,提高软件质量的重要方法之一。本文提出了使用markov随机过程模型建立了用户交互过程认知模型的基本方法,并在此基础上给出了一个严格的可用性模式检查过程和方法,帮助软件开发者重构用户交互过程,为改善软件系统的可用性特征提供了一种有效的手段。实践证明,该模型对不同类型用户具有很强的区分能力,能够有效地体现用户操作的概率特征,改善了传统可用性方法过分依赖可用性专家个人能力的缺陷,对于各种不同类型的软件系统具有较好的通用性特征。 %K 软件可用性markov随机过程模型模式检查stns %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=24412302&flag=1