Abstract:Context: Ontologies are known as a formal and explicit conceptualization of entities, their interfaces, behaviors, and relationships. They have been applied in various application domains such as autonomous driving where ontologies are used for decision making, traffic description, auto-pilot etc. It has always been a challenge to test the corresponding safety-critical software systems in autonomous driving that have been playing an increasingly important role in our daily routines.Objective: Failures in these systems potentially not only cause great financial loss but also the loss of lives. Therefore, it is vital to obtain and cover as many as critical driving scenarios during auto drive testing to ensure that the system can always reach a fail-safe state under different circumstances.Method: We outline a general framework for testing, verification, and validation for automated and autonomous driving functions. The introduced method makes use of ontologies for describing the environment of autonomous vehicles and convert them to input models for combinatorial testing. The combinatorial test suite comprises abstract test cases that are mapped to concrete test cases that can be executed using simulation environments.Results: We discuss in detail on how to automatically convert ontologies to the corresponding combinatorial testing input models. Specifically, we present two conversion algorithms and compare their applicability using ontologies with different sizes. We also carried out a case study to further demonstrate the practical value of applying ontology-based test generation in industrial settings.Conclusion: The proposed approach for testing autonomous driving takes ontologies describing the environment of autonomous vehicles, and automatically converts it to test cases that are used in a simulation environment to verify automated driving functions. The conversion relies on combinatorial testing. The first experimental results relying on an example from the automotive industry indicates that the approach can be used in practice.

Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm

Study of protocol conformance test sequence generation algorithm based on FSM

A Method of Automatic Test Case Generation Based on CT-LSSVM Algorithm in FAO Systems

Towards A Test Paths Generation Method for CTCS Level Transition

A New Method to Generate Test Sequences for Protocol Conformance Testing

A Test Sequence Generation Algorithm Based on Improved Transition Executability Analysis

Fully Automatic Operation System in Urban Rail Transit Is Applying in China

Research on Generating Method of On-board Equipment Test Sequence in ATO System of High Speed Railway

Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems

A test sequences optimization method for improving fault coverage

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Path Overlapped Method for Protocol Conformance Test Generation

An expert system approach for generating test sequence for CTCS-3 train control system

A Method of Generating Engineering Test Sequence for Urban Rail Transit CBTC System Based on Formalization

Robust Control for Dynamic Train Regulation in Fully Automatic Operation System Under Uncertain Wireless Transmissions

PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous Vehicles

An Efficient Method for Automatic Generation of Linearly Independent Paths in White-box Testing

Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines

A Fast Optimization Method For Automatic Train Stop Control

Test Case Generation for Train Communication Devices Based on Interface Automata

Ontology-based test generation for automated and autonomous driving functions