作者
Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
发表日期
2023/5/14
研讨会论文
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
页码范围
1801-1813
出版商
IEEE
简介
Testing Machine Learning (ML) projects is challenging due to inherent non-determinism of various ML algorithms and the lack of reliable ways to compute reference results. Developers typically rely on their intuition when writing tests to check whether ML algorithms produce accurate results. However, this approach leads to conservative choices in selecting assertion bounds for comparing actual and expected results in test assertions. Because developers want to avoid false positive failures in tests, they often set the bounds to be too loose, potentially leading to missing critical bugs. We present FASER - the first systematic approach for balancing the trade-off between the fault-detection effectiveness and flakiness of non-deterministic tests by computing optimal assertion bounds. FASER frames this trade-off as an optimization problem between these competing objectives by varying the assertion bound. FASER …
引用总数
学术搜索中的文章
CS Xia, S Dutta, S Misailovic, D Marinov, L Zhang - 2023 IEEE/ACM 45th International Conference on …, 2023