paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Assessing and evaluating functional suitability of software

评估与评价软件的功能适宜性
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 2/10 · 论文聚焦于以形式化任务模型评估软件功能适宜性及用户交互变异模式,属于软件工程/需求工程范畴,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心方向无直接关联。引用 4 inbox
Philipp Haindl
crossref: 2026-09-12

AI 速览

一句话:提出以形式化任务模型为基础,操作化用户交互变异模式,并构建功能适宜性度量以指导软件改进。

论文关注软件用户交互的功能适宜性评估问题。虽然形式化任务模型可定义并基于时间评估用户交互,但尚未用作分析用户交互变异模式的基线;同时,功能适宜性缺乏可操作的质量模型,导致难以将度量置于具体语境并推导改进措施。作者采用面向软件工程的设计思维方法,将用户交互的变异模式操作化,并以此评估既定任务执行路径对用户达成预定目标的适宜程度。其目标是建立可操作的功能适宜性度量,使软件改进能够基于变更对用户功能适宜性影响的证据,而非基于前瞻性或主观使用场景,从而让开发活动更聚焦于对用户有业务价值的功能。摘要未报告具体实证结果。

问题
形式化任务模型尚未用于评估用户交互变异模式,且缺少可操作的功能适宜性质量模型,难以将度量与软件改进行动关联。
方法
采用面向软件工程的设计思维,操作化用户交互变异模式,并构建功能适宜性度量以评估任务执行路径对目标达成的适宜性。
评估
摘要未给出具体实证评估或案例结果;评估方式体现为利用操作化适宜性度量将度量置于语境并推导基于证据的软件改进措施。
原文摘要(Abstract)

While formal task models allow definition and time-based assessment of user-interaction, they have not yet been used as a baseline for assessing the variability patterns of user interaction with software. Consequently, operationalizing these variability patterns enables us to evaluate how suitable the defined task-execution paths are for the user to achieve a predefined goal. Improvements of the software could thereby be evidence-based on knowledge of changes' effects on functional suitability for the user rather than on prospective or opinion-based usage scenarios. Following a design thinking approach tailored to software engineering, understanding and observing these variability patterns are mandatory steps for continuous user-centered improvement of software. In practice however, due to the absence of an operational quality model for functional suitability it is hardly possible to effectively put these operational measures into context and to derive concrete software improvement actions. Having operational suitability metrics is even more important for software engineers as it allows to increasingly focus development activities especially on functionality which has business value for the user.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4784,
  title = {Assessing and evaluating functional suitability of software},
  author = {Philipp Haindl},
  booktitle = {ASE},
  year = {2018},
  doi = {10.1145/3238147.3241531}
}