loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Anneliese Andrews ; Mahmoud Abdelgawad and Ahmed Gario

Affiliation: University of Denver, United States

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.

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 3.143.23.38

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 - MODELSWARD; ISBN 978-989-758-168-7; ISSN 2184-4348, SciTePress, 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 - MODELSWARD},
year={2016},
pages={663-670},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005782106630670},
isbn={978-989-758-168-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
SN - 978-989-758-168-7
IS - 2184-4348
AU - Andrews, A.
AU - Abdelgawad, M.
AU - Gario, A.
PY - 2016
SP - 663
EP - 670
DO - 10.5220/0005782106630670
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic