Safer "5-key" number entry user interfaces using differential formal analysis
Safer "5-key" number entry user interfaces using differential formal analysis
复制标题
使用差分形式分析的更安全的“5 键”数字输入用户界面
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
P. Masci
中科院分区：
文献类型：
--
作者：
Abigail Cauchi;Andy Gimblett;H. Thimbleby;P. Curzon;P. Masci
差分形式分析是一种基于随机用户模拟的新型用户界面分析评价方法。该方法对于评估安全关键型用户界面特别有价值，这类用户界面通常具有微妙的编程问题。该方法从确定定义要探索的设计空间的操作设计特征开始。需要两个或更多的分析人员通过模拟包含键滑错误的击键序列来分析所有设计特征的组合。每个模拟都会产生数值，根据它们对键控滑动误差的敏感性对设计组合进行排名。对模拟结果进行了系统的讨论，以评估任何差异的原因，无论是数值还是排名。这个过程反复进行，直到对结果达成一致。简而言之，该方法结合了用户滑动误差的严格模拟和建模和分析方法的多样性。
Differential formal analysis is a new user interface analytic evaluation method based on stochastic user simulation. The method is particularly valuable for evaluating safety critical user interfaces, which often have subtle programming issues. The approach starts with the identification of operational design features that define the design space to be explored. Two or more analysts are required to analyse all combinations of design features by simulating keystroke sequences containing keying slip errors. Each simulation produces numerical values that rank the design combinations on the basis of their sensitivity to keying slip errors. A systematic discussion of the simulation results is performed for assessing the causes of any discrepancy, either in numerical values or rankings. The process is iterated until outcomes are agreed upon. In short, the approach combines rigorous simulation of user slip errors with diversity in modelling and analysis methods.
Although the method can be applied to other types of user interface, it is demonstrated through a case study of 5-key number entry systems, which are a common safety critical user interface style found in many medical infusion pumps and elsewhere. The results uncover critical design issues, and are an important contribution of this paper since the results provide device manufacturers guidelines to update their device firmware to make their devices safer.