Towards World Model-based Test Generation in Autonomous Systems

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

2015

Abstract

This paper describes a model-based test generation approach for testing autonomous systems interacting with their environment (i.e., world). Unlike other approaches that assume a static world with attributes and values, we present and test the world dynamically. We build the world model in two steps: a structural model that constructs environmental factors (i.e., actors) and a behavioral model that describes actors’ behaviors over a certain landscape (i.e., snippet). Abstract world behavioral test cases (AWBTCs) are then generated by covering the behavioral model using graph coverage criteria. The world model-based test generation technique (WMBTG) is used on an autonomous ground vehicle (AGV).

Paper Citation

in Harvard Style

Andrews A., Abdelgawad M. and Gario A. (2015). Towards World Model-based Test Generation in Autonomous Systems . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 165-176. DOI: 10.5220/0005228201650176

in Bibtex Style

@conference{modelsward15,
author={Anneliese Andrews and Mahmoud Abdelgawad and Ahmed Gario},
title={Towards World Model-based Test Generation in Autonomous Systems},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={165-176},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005228201650176},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards World Model-based Test Generation in Autonomous Systems
SN - 978-989-758-083-3
AU - Andrews A.
AU - Abdelgawad M.
AU - Gario A.
PY - 2015
SP - 165
EP - 176
DO - 10.5220/0005228201650176