paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Software fairness

软件公平性
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10 · 这篇论文是软件公平性缺陷的研究愿景,讨论需求、设计、测试与验证如何应对偏见,与用户关注的 PL/AI 交叉、静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析均无直接关联,仅在“程序验证”标签上非常宽泛地沾边。引用 137 inbox
Yuriy Brun, Alexandra Meliou
crossref: 2026-09-12

AI 速览

一句话:提出软件公平性缺陷的研究愿景,呼吁软件工程从需求、设计到测试验证全面应对偏见。

本文关注软件中日益显现的公平性缺陷:自动翻译可能注入性别刻板印象,视觉系统可能难以识别某些种族的人脸,刑事司法系统可能依赖有偏的累犯评估。作者指出,偏见不仅来自有偏数据,也可能源于需求模糊或不完整、设计不佳、实现缺陷以及组件间非预期交互。文章将软件公平性类比为软件质量,认为必须从需求、规约、设计、测试与验证等软件工程环节系统研究。作为一篇愿景与行动号召论文,本文提出研究议程并呼吁社区采取行动,但未给出具体技术方案或实证评估。

问题
软件系统可能因数据、需求、设计、实现或组件交互而产生公平性/偏见缺陷,但软件工程界尚未充分应对。
方法
本文是一篇愿景与行动号召论文,通过实例论证软件公平性可类比软件质量,并梳理需求、规约、设计、测试和验证等方向的研究挑战。
评估
论文没有开展实证评估或工具验证,而是以论证和议程提出为主。
原文摘要(Abstract)

A goal of software engineering research is advancing software quality and the success of the software engineering process. However, while recent studies have demonstrated a new kind of defect in software related to its ability to operate in fair and unbiased manner, software engineering has not yet wholeheartedly tackled these new kinds of defects, thus leaving software vulnerable. This paper outlines a vision for how software engineering research can help reduce fairness defects and represents a call to action by the software engineering research community to reify that vision. Modern software is riddled with examples of biased behavior, from automated translation injecting gender stereotypes, to vision systems failing to see faces of certain races, to the US criminal justice sytem relying on biased computational assessments of crime recidivism. While systems may learn bias from biased data, bias can also emerge from ambiguous or incomplete requirement specification, poor design, implementation bugs, and unintended component interactions. We argue that software fairness is analogous to software quality, and that numerous software engineering challenges in the areas of requirements, specification, design, testing, and verification need to be tackled to solve this problem.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4636,
  title = {Software fairness},
  author = {Yuriy Brun and Alexandra Meliou},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3264838}
}