Publications

Testing Planning Domains (without Model Checkers)

Authors
Franco Raimondi, Charles Pecheur, Guillaume Brat
Tags
, , , , , ,
Title
Testing Planning Domains (without Model Checkers)
Authors
Franco Raimondi, Charles Pecheur, Guillaume Brat
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
Type
In Proceedings
Book title
Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal
Year
2007

Abstract

We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason in detail on "Unique First Cause" (UFC) coverage for test suites. We characterise flight rules using patterns, encoded using LTL, and we provide UFC coverage for them. We then present a translation of LTL formulae into planning goals, and illustrate our approach on a case study.

Tags Tags: , , , , , ,

BibTeX Record
  @INPROCEEDINGS{lvl-2007-1,
    TITLE = {Testing Planning Domains (without Model Checkers)},
    AUTHOR = {Franco Raimondi and Charles Pecheur and Guillaume Brat},
    YEAR = {2007},
    URL = {https://lvl.info.ucl.ac.be/Publications/TestingPlanningDomainsWithoutModelCheckers},
  }