Collective Risk Minimization via a Bayesian Model for Statistical Software Testing

被引:3
|
作者
Haensel, Joachim
Adriano, Christian M.
Dyck, Johannes
Giese, Holger
机构
关键词
FAILURE;
D O I
10.1145/3387939.3388616
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In the last four years, the number of distinct autonomous vehicles platforms deployed in the streets of California increased 6-fold, while the reported accidents increased 12-fold. This can become a trend with no signs of subsiding as it is fueled by a constant stream of innovations in hardware sensors and machine learning software. Meanwhile, if we expect the public and regulators to trust the autonomous vehicle platforms, we need to find better ways to solve the problem of adding technological complexity without increasing the risk of accidents. We studied this problem from the perspective of reliability engineering in which a given risk of an accident has severity and probability of occurring. Timely information on accidents is important for engineers to anticipate and reuse previous failures to approximate the risk of accidents in a new city. However, this is challenging in the context of autonomous vehicles because of the sparse nature of data on the operational scenarios (driving trajectories in a new city). Our approach was to mitigate data sparsity by reducing the state space through monitoring of multiple-vehicles operations. We then minimized the risk of accidents by determining proper allocation of tests for each equivalence class. Our contributions comprise (1) a set of strategies to monitor the operational data of multiple autonomous vehicles, (2) a Bayesian model that estimates changes in the risk of accidents, and (3) a feedback control-loop that minimizes these risks by reallocating test effort. Our results are promising in the sense that we were able to measure and control risk for a diversity of changes in the operational scenarios. We evaluated our models with data from two real cities with distinct traffic patterns and made the data available for the community.
引用
收藏
页码:45 / 56
页数:12
相关论文
共 50 条
  • [1] Statistical testing of software based on a usage model
    Walton, Gwendolyn H.
    Poore, J.H.
    Trammell, Carmen J.
    [J]. Software - Practice and Experience, 1995, 25 (01): : 97 - 108
  • [2] Software testing via model checking
    Belli, F
    Güldali, B
    [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
  • [3] Deriving software statistical testing model from UML model
    Yan, J
    Wang, J
    Chen, HW
    [J]. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 343 - 350
  • [4] Bayesian inference for risk minimization via exponentially tilted empirical likelihood
    Tang, Rong
    Yang, Yun
    [J]. JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-STATISTICAL METHODOLOGY, 2022, 84 (04) : 1257 - 1286
  • [5] Bayesian Counterfactual Risk Minimization
    London, Ben
    Sandler, Ted
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
  • [6] Bayesian Invariant Risk Minimization
    Lin, Yong
    Dong, Hanze
    Wang, Hao
    Zhang, Tong
    [J]. 2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2022), 2022, : 16000 - 16009
  • [7] STATISTICAL TESTING OF SOFTWARE-BASED ON A USAGE MODEL
    WALTON, GH
    POORE, JH
    TRAMMELL, CJ
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (01): : 97 - 108
  • [8] A MARKOV-CHAIN MODEL FOR STATISTICAL SOFTWARE TESTING
    WHITTAKER, JA
    THOMASON, MG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) : 812 - 824
  • [9] On the Testing of Statistical Software
    Ryan Lekivetz
    Joseph Morgan
    [J]. Journal of Statistical Theory and Practice, 2021, 15
  • [10] On the Testing of Statistical Software
    Lekivetz, Ryan
    Morgan, Joseph
    [J]. JOURNAL OF STATISTICAL THEORY AND PRACTICE, 2021, 15 (04)