2018 · 63 citations · 9 references
EngineeringAutomotive EngineeringComputer ScienceAutomationAutonomous VehiclesKnowledge RepresentationFunctional ValidationFunctional VerificationOntology EngineeringSimulation-based ValidationAutomation VerificationAutonomous Vehicle ValidationCombinatorial TestingSimulation-based TestingTest CasesTest GenerationTest Generation From ModelsVehicle Functional Testing
In this paper, we outline a general automated testing approach to be applied for verification and validation of automated and autonomous driving functions. The approach makes use of ontologies of environment the system under test is interacting with. Ontologies are automatically converted into input models for combinatorial testing, which are used to generate test cases. The obtained abstract test cases are used to generate concrete test scenarios that provide the basis for simulation used to verify the functionality of the system under test. We discuss the general approach including its potential for automation in the automotive domain where there is growing need for sophisticated verification based on simulation in case of automated and autonomous vehicles.
9
ACTS: A Combinatorial Test Generation Tool
Linbin Yu, Yu Lei, Raghu N. Kacker et al. · 2013 · 174 citations
Sebastian Geyer, Marcel Baltzer, Benjamin Franz et al. · IET Intelligent Transport Systems · 2013 · 137 citations · Full text
Combinatorial Software Testing
Rick Kuhn, Raghu N. Kacker, Yu Lei et al. · Computer · 2009 · 135 citations