24、支持基于资源的任务信息需求分析

支持基于资源的任务信息需求分析

1. 引言

可用性测试是一项既耗时又昂贵的活动，且往往在软件开发周期的后期才进行。因此，在开发周期的早期进行分析是很有意义的，特别是当我们能从开发过程中为其他目的而产生的设计工件中获得帮助时。任务模型（如 CTT 模型）就是这样一种可能在早期产生的工件，但仅靠任务模型不足以分析现代交互式系统，因为相同的基本任务结构可以由多种可能的设计来支持。本文的重点是信息需求，即是否在正确的时间以适当的方式提供了正确的信息。虽然用户任务和他们的信息需求之间有明显的直接映射，但这并不等同于知道如何最好地表示信息，也不知道如何在给定应用中协调多个任务的相互竞争的信息需求，特别是在屏幕空间有限的情况下。因此，基于模型的技术有了用武之地，它可以捕捉有关设计的信息并用于推理设计。本文的贡献主要有三点：
- 检查交互式系统规范与任务模型，进行相关分析。
- 研究资源概念和模型组件，突破交互器模型的局限。
- 形式化和自动化部分分析，减少分析人员的工作量，提高发现问题的可能性。

2. 系统设计推理

以往从两个不同的角度对系统设计进行推理：
- 基于设备模型和模型检查 ：使用强调行为的设备模型和模型检查，可以识别可能导致不良情况的行为。但需要确定跟踪的认知合理性，并将用户感知假设编码到验证的属性中。同时，要过滤掉非合理的行为，任务模型可以减少这种误报，但会使分析仅考虑规范行为。这种方法能确定可能出现问题的情况，但对界面为用户实现目标提供的支持程度说明较少。
- 基于部分模型 ：使用系统、界面和用户的部分模型（强调表示），可以分析表示是否适合特定用途。