Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
144 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines (2401.12364v1)

Published 22 Jan 2024 in cs.SE and cs.NE

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.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (36)
  1. “Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation” In ACM Trans. Softw. Eng. Methodol. 29.2, 2020 DOI: 10.1145/3375636
  2. “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
  3. “Testing Advanced Driver Assistance Systems Using Multi-Objective Search and Neural Networks”, ASE, 2016, pp. 63–74 DOI: 10.1145/2970276.2970311
  4. “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
  5. “Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms” In ICSE, 2018, pp. 1016–1026 DOI: 10.1145/3180155.3180160
  6. “Random Search for Hyper-Parameter Optimization” In J. Mach. Learn. Res. 13.null JMLR.org, 2012, pp. 281–305
  7. “Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators” In ICST 2021, 2021, pp. 383–393
  8. Bosch “Automated Valet Parking”, 2023-08-10 URL: https://www.bosch-mobility.com/en/solutions/parking/automated-valet-parking/
  9. Martin D. Buhmann “Radial Basis Functions: Theory and Implementations”, Cambridge Monographs on Applied and Computational Mathematics Cambridge University Press, 2003 DOI: 10.1017/CBO9780511543241
  10. “Support-Vector Networks” In Mach. Learn. 20.3 USA: Kluwer Academic Publishers, 1995, pp. 273–297 DOI: 10.1023/A:1022627411411
  11. “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
  12. “CARLA: An Open Urban Driving Simulator” In Proceedings of the 1st Annual Conference on Robot Learning, 2017, pp. 1–16
  13. 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
  14. 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
  15. “Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing” In QRS, 2019, pp. 418–425 DOI: 10.1109/QRS.2019.00058
  16. “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
  17. 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
  18. Miqing Li, Shengxiang Yang and Xiaohui Liu “A Performance Comparison Indicator for Pareto Front Approximations in Many-Objective Optimization”, GECCO, 2015, pp. 703–710
  19. S. Luke “Essentials of Metaheuristics (Second Edition)” Lulu.com, 2012 URL: https://books.google.de/books?id=5FDdsgEACAAJ
  20. 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
  21. “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
  22. Ryszards Michalski “LEARNABLE EVOLUTION MODEL: Evolutionary Processes Guided by Machine Learning”, 2000
  23. 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
  24. “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
  25. 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
  26. “Replication Package”, 2023 URL: https://github.com/ast-fortiss-tum/svm-paper-deeptest-24
  27. “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
  28. Siemens “Simcenter Prescan”, 2023-08-10 URL: https://plm.sw.siemens.com/de-DE/simcenter/autonomous-vehicle-solutions/prescan/
  29. “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]
  30. 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
  31. 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
  32. “Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving” In ITSC, 2015, pp. 982–988 DOI: 10.1109/ITSC.2015.164
  33. “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
  34. 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
  35. “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
  36. “DeepHyperion: exploring the feature space of deep learning-based systems through illumination search”, ISSTA, 2021 URL: https://api.semanticscholar.org/CorpusID:235770086
Citations (1)

Summary

We haven't generated a summary for this paper yet.