Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines (2401.12364v1)
Abstract: In this paper, we present NSGA-II-SVM (Non-dominated Sorting Genetic Algorithm with Support Vector Machine Guidance), a novel learnable evolutionary and search-based testing algorithm that leverages Support Vector Machine (SVM) classification models to direct the search towards failure-revealing test inputs. Supported by genetic search, NSGA-II-SVM creates iteratively SVM-based models of the test input space, learning which regions in the search space are promising to be explored. A subsequent sampling and repetition of evolutionary search iterations allow to refine and make the model more accurate in the prediction. Our preliminary evaluation of NSGA-II-SVM by testing an Automated Valet Parking system shows that NSGA-II-SVM is more effective in identifying more critical test cases than a state of the art learnable evolutionary testing technique as well as naive random search.
- “Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation” In ACM Trans. Softw. Eng. Methodol. 29.2, 2020 DOI: 10.1145/3375636
- “A Hitchhiker’s guide to statistical tests for assessing randomized algorithms in software engineering” In Software Testing, Verification and Reliability 24.3, 2014, pp. 219–250 DOI: https://doi.org/10.1002/stvr.1486
- “Testing Advanced Driver Assistance Systems Using Multi-Objective Search and Neural Networks”, ASE, 2016, pp. 63–74 DOI: 10.1145/2970276.2970311
- “Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search” In 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, pp. 143–154 DOI: 10.1145/3238147.3238192
- “Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms” In ICSE, 2018, pp. 1016–1026 DOI: 10.1145/3180155.3180160
- “Random Search for Hyper-Parameter Optimization” In J. Mach. Learn. Res. 13.null JMLR.org, 2012, pp. 281–305
- “Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators” In ICST 2021, 2021, pp. 383–393
- Bosch “Automated Valet Parking”, 2023-08-10 URL: https://www.bosch-mobility.com/en/solutions/parking/automated-valet-parking/
- Martin D. Buhmann “Radial Basis Functions: Theory and Implementations”, Cambridge Monographs on Applied and Computational Mathematics Cambridge University Press, 2003 DOI: 10.1017/CBO9780511543241
- “Support-Vector Networks” In Mach. Learn. 20.3 USA: Kluwer Academic Publishers, 1995, pp. 273–297 DOI: 10.1023/A:1022627411411
- “A fast and elitist multiobjective genetic algorithm: NSGA-II” In IEEE Trans. Evol. Comput. 6.2, 2002, pp. 182–197 DOI: 10.1109/4235.996017
- “CARLA: An Open Urban Driving Simulator” In Proceedings of the 1st Annual Conference on Robot Learning, 2017, pp. 1–16
- Fitash Ul Haq, Donghwan Shin and Lionel Briand “Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization”, ICSE, 2022 DOI: 10.1145/3510003.3510188
- Dmytro Humeniuk, Foutse Khomh and Giuliano Antoniol “A search-based framework for automatic generation of testing environments for cyber–physical systems” In Inf. Softw. Technol. 149, 2022, pp. 106936 DOI: https://doi.org/10.1016/j.infsof.2022.106936
- “Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing” In QRS, 2019, pp. 418–425 DOI: 10.1109/QRS.2019.00058
- “SVM Parameter Tuning with Grid Search and Its Impact on Reduction of Model Over-fitting” In Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing Cham: Springer International Publishing, 2015, pp. 464–474
- Miqing Li, Tao Chen and Xin Yao “How to Evaluate Solutions in Pareto-Based Search-Based Software Engineering: A Critical Review and Methodological Guidance” In IEEE Transactions on Software Engineering 48.5, 2022, pp. 1771–1799 DOI: 10.1109/TSE.2020.3036108
- Miqing Li, Shengxiang Yang and Xiaohui Liu “A Performance Comparison Indicator for Pareto Front Approximations in Many-Objective Optimization”, GECCO, 2015, pp. 703–710
- S. Luke “Essentials of Metaheuristics (Second Edition)” Lulu.com, 2012 URL: https://books.google.de/books?id=5FDdsgEACAAJ
- M. D. McKay, R. J. Beckman and W. J. Conover “A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code” In Technometrics 21.2, 1979, pp. 239–245 URL: http://www.jstor.org/stable/1268522
- “Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification” In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, ICSE ’20 Seoul, South Korea: Association for Computing Machinery, 2020, pp. 372–384 DOI: 10.1145/3377811.3380370
- Ryszards Michalski “LEARNABLE EVOLUTION MODEL: Evolutionary Processes Guided by Machine Learning”, 2000
- Mahshid Helali Moghadam, Markus Borg and Seyed Jalaleddin Mousavirad “Deeper at the SBST 2021 Tool Competition: ADAS Testing Using Multi-Objective Search” In SBST, 2021, pp. 40–41 DOI: 10.1109/SBST52555.2021.00018
- “Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models” In Information and Software Technology 163, 2023, pp. 107286
- Arti Patle and Deepak Singh Chouhan “SVM kernel functions for classification” In 2013 International Conference on Advances in Technology and Engineering (ICATE), 2013, pp. 1–9 DOI: 10.1109/ICAdTE.2013.6524743
- “Replication Package”, 2023 URL: https://github.com/ast-fortiss-tum/svm-paper-deeptest-24
- “Model-based exploration of the frontier of behaviours for deep learning system testing” In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020 URL: https://api.semanticscholar.org/CorpusID:220364065
- Siemens “Simcenter Prescan”, 2023-08-10 URL: https://plm.sw.siemens.com/de-DE/simcenter/autonomous-vehicle-solutions/prescan/
- “OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems” In accepted at Demonstration Track ICSE’24, 2023 arXiv:2306.10296 [cs.SE]
- M. Stone “Cross-Validatory Choice and Assessment of Statistical Predictions” In Journal of the Royal Statistical Society. Series B (Methodological) 36.2 [Royal Statistical Society, Wiley], 1974, pp. 111–147 URL: http://www.jstor.org/stable/2984809
- Iwan Syarif, Adam Prugel-Bennett and Gary Wills “SVM parameter optimization using grid search and genetic algorithm to improve classification performance” In TELKOMNIKA (Telecommunication Computing Electronics and Control) 14.4, 2016, pp. 1502–1509
- “Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving” In ITSC, 2015, pp. 982–988 DOI: 10.1109/ITSC.2015.164
- “How to tune the RBF SVM hyperparameters? An empirical evaluation of 18 search algorithms” In Artificial Intelligence Review 54, 2021, pp. 4771 –4797 URL: https://api.semanticscholar.org/CorpusID:263894036
- Z. Zhong, G. Kaiser and B. Ray “Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles” In IEEE Transactions on Software Engineering 49.04 Los Alamitos, CA, USA: IEEE Computer Society, 2023, pp. 1860–1875 DOI: 10.1109/TSE.2022.3195640
- “Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach” In IEEE Transactions on Evolutionary Computation 3.4, 1999, pp. 257–271 DOI: 10.1109/4235.797969
- “DeepHyperion: exploring the feature space of deep learning-based systems through illumination search”, ISSTA, 2021 URL: https://api.semanticscholar.org/CorpusID:235770086