World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
2016
Abstract
This paper describes a model-based test generation approach for testing Urban Search and Rescue (USAR) robots interacting with their environment (i.e., world). Unlike other approaches that assume a static world with attributes and values, we present and test a dynamic world. We use Petri Nets to illustrate a world model that describes behaviors of environmental entities (i.e., actors). The Abstract World Behavioral Test Cases (AWBTCs) are generated by covering the active world model using graph coverage criteria. We also select test-data by input-space partitioning to transform the generated AWBTCs into executable test cases. Reachability of the active world model and efficiency of coverage criteria are also discussed.
DownloadPaper Citation
in Harvard Style
Andrews A., Abdelgawad M. and Gario A. (2016). World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 663-670. DOI: 10.5220/0005782106630670
in Bibtex Style
@conference{modelsward16,
author={Anneliese Andrews and Mahmoud Abdelgawad and Ahmed Gario},
title={World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={663-670},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005782106630670},
isbn={978-989-758-168-7},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
SN - 978-989-758-168-7
AU - Andrews A.
AU - Abdelgawad M.
AU - Gario A.
PY - 2016
SP - 663
EP - 670
DO - 10.5220/0005782106630670