[发明专利]一种交互式系统可用性设计的有效性验证方法有效
| 申请号： | 201410479716.4 | 申请日： | 2014-09-18 |
| 公开（公告）号： | CN104267942B | 公开（公告）日： | 2018-06-19 |
| 发明（设计）人： | 林连南 | 申请（专利权）人： | 华南理工大学 |
| 主分类号： | G06F8/38 | 分类号： | G06F8/38 |
| 代理公司： | 广州市华学知识产权代理有限公司 44245 | 代理人： | 蔡茂略 |
| 地址： | 510640 广*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种交互式系统可用性设计的有效性验证方法，包含以下顺序的步骤：建模：首先建立认知模型、任务模型和系统可用性设计模型，以IMPA进程代数统一建立交互式系统的模型；规约：建立交互式系统的可用性规约，可用性包括安全性和可靠性；验证：采用IMC模型检验器，进行交互式系统的安全性和可靠性设计有效性验证。本发明的方法，能够预测由闭合人为错误引起的安全缺陷；评估post‑WIMP界面的可靠性和认知复杂度，量化比较WIMP界面和post‑WIMP界面的效率。 1 | ||
| 搜索关键词： | 交互式系统 有效性验证方法 规约 可用性设计 可用性 认知 可靠性设计 系统可用性 有效性验证 闭合 安全缺陷 进程代数 模型检验 任务模型 设计模型 复杂度 建模 验证 量化 评估 预测 统一 | ||
【主权项】：
1.一种交互式系统可用性设计的有效性验证方法，其特征在于，包含以下顺序的步骤：S1.建模：首先建立认知模型、任务模型和系统可用性设计模型，以IMPA进程代数统一建立交互式系统的模型；S2.规约：建立交互式系统的可用性规约，可用性包括安全性和可靠性；具体为：S21.采用认知心理学，分析闭合人为错误的行为机制；S22.分析闭合人为错误引起的安全性行为，包括导致隐私信息泄露的动作集合和伪装侵犯的动作集合；S23.采用aCSL逻辑规约人为错误引起的安全性；S24.采用aCSL时序逻辑路径公式的概率算子量化规约交互式系统的模型的可靠性；S3.验证：采用IMC模型检验器，进行交互式系统的安全性和可靠性设计有效性验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华南理工大学，未经华南理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410479716.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种粉体料仓
- 下一篇：内窥型塑料颗粒存储装置
