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.

Download


Paper 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