[论文解读] Human Factors in Software Reliability Engineering

Maria Spichkova, Huai Liu+2 more|arXiv (Cornell University)|Mar 12, 2015

Software Reliability and Analysis Research参考文献 27被引用 28

一句话总结

本文提出将人因工程学整合到软件可靠性工程中，通过增强需求审查、模型清晰度和基于故障的测试策略，减少人为引入的错误。通过分析用户和开发人员的行为，实现以人为核心测试用例的优先排序和针对性故障检测，从而提升演化系统中的软件质量和故障检测效率。

ABSTRACT

In this paper, we present our vision of the integration of human factors engineering into the software development process. The aim of this approach is to improve the quality of software and to deal with human errors in a systematic way.

研究动机与目标

• 为解决人为错误（占系统故障的30–60%）作为软件可靠性中的关键因素。
• 通过人因工程分析，提升需求和模型的可读性和可理解性，从而提高软件质量。
• 通过在测试用例设计和优先级排序中融入人为错误模式，提高测试中的故障检测效率。
• 在传统基于故障的测试基础上，引入以人为中心的策略，以预测用户和开发人员行为可能引发的典型错误类型。
• 利用人类错误的历史数据指导回归测试，实现对重复故障模式的早期检测。

提出的方法

• 分析需求工程和建模过程中的人为错误模式，以优化审查和建模技术。
• 通过人因工程分析扩展经典测试方法，以检测并结构化用户或开发人员可能引入的故障。
• 设计基于故障的测试策略，针对从使用和开发历史中预测出的特定高概率故障类型。
• 基于人为错误历史对回归测试用例进行优先级排序，包括用户群体特定的故障模式以及跨版本的相似错误。
• 利用基于人类绩效和可靠性的错误分类体系，指导形式化方法中的工具设计和规范清晰度。
• 应用工程错误范式，将人类视为系统组件，其可靠性可通过界面和自动化设计进行建模与缓解。

实验结果

研究问题

• RQ1 如何系统性地将人因工程整合到软件开发中，以减少人为引入的错误？
• RQ2 基于行为模式，用户或开发人员最可能引入哪些类型的故障？
• RQ3 如何利用人为错误历史改进回归测试用例的优先级排序？
• RQ4 通过人因工程分析，哪些方式可优化需求和建模实践，以提升可读性并减少歧义？
• RQ5 如何通过人机交互和认知局限的洞察，增强基于故障的测试？

主要发现

• 人因工程分析显著提升了需求和模型的清晰度与可理解性，减少了规范阶段的歧义和错误引入。
• 通过分析用户和开发人员的行为，可预测高概率故障类型，并设计针对性测试策略，从而提高故障检测效率。
• 基于人为错误历史的回归测试用例优先级排序，可实现对重复故障的更早检测，提升测试有效性。
• 将人因工程整合到基于故障的测试中，可更有效地识别关键故障，特别是由接口误用或规范误解引发的故障。
• 用户群体特定的错误分类可支持预测模型的构建，从而指导自动化测试用例生成和测试覆盖优化。
• 将工程错误范式应用于形式化方法和验证工具，有助于将人类操作员视为系统组件，其可靠性可通过界面和自动化改进进行建模与缓解。