NUK - logo
E-resources
Full text
Peer reviewed Open access
  • Boundary State Generation f...
    Biagiola, Matteo; Tonella, Paolo

    IEEE transactions on software engineering, 08/2024, Volume: 50, Issue: 8
    Journal Article

    Recent advances in Deep Neural Networks (DNNs) and sensor technologies are enabling autonomous driving systems (ADSs) with an ever-increasing level of autonomy. However, assessing their dependability remains a critical concern. State-of-the-art ADS testing approaches modify the controllable attributes of a simulated driving environment until the ADS misbehaves. In such approaches, environment instances in which the ADS is successful are discarded, despite the possibility that they could contain hidden driving conditions in which the ADS may misbehave. In this paper, we present GenBo (GENerator of BOundary state pairs), a novel test generator for ADS testing. GenBo mutates the driving conditions of the ego vehicle (position, velocity and orientation), collected in a failure-free environment instance, and efficiently generates challenging driving conditions at the behavior boundary (i.e., where the model starts to misbehave) in the same environment instance. We use such boundary conditions to augment the initial training dataset and retrain the DNN model under test. Our evaluation results show that the retrained model has, on average, up to 3<inline-formula><tex-math notation="LaTeX">\times</tex-math> <mml:math display="inline"><mml:mo>×</mml:mo></mml:math><inline-graphic xlink:href="biagiola-ieq1-3420816.gif"/> </inline-formula> higher success rate on a separate set of evaluation tracks with respect to the original DNN model.