loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Anneliese Andrews ; Mahmoud Abdelgawad and Ahmed Gario

Affiliation: University of Denver, United States

ISBN: 978-989-758-168-7

Keyword(s): Model-based Testing, Behavioral Models, Petri Nets, USAR Robots.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.179.0

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.