MBT 2007 Testing Planning Domains ( without Model Checkers ) 1
نویسندگان
چکیده
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.
منابع مشابه
Testing Planning Domains (without Model Checkers)
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 selfcontained, 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...
متن کاملIntroducing model-based testing techniques in industrial projects
The paper is an experience report on the introduction of model-based testing (MBT) approaches in industrial projects. It reflects the author’s subjective view on that matter that he gained in various software development projects at Siemens. Existing MBT approaches are classified and evaluated according to their importance in recent projects. In addition the necessary requirements and efforts t...
متن کاملIndustrial-Strength Model-Based Testing - State of the Art and Current Challenges
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that – according to our experience – are currently applied in practice, with special emphasis on the avionic, railway and automotive domains. The key factors for successful industrial-scale application of MBT are described, both from a scientific and a managerial poi...
متن کاملCan I Have Some Model-Based GUI Tests Please? – Providing a Model-Based Testing Service through a Web Interface
Model-based testing (MBT) seems technically superior to conventional test automation systems. However, this technology features some difficulties that can hamper its deployment in industrial contexts. In our earlier work, we have developed a domain-specific MBT solution for GUI testing of Symbian S60 smart phones and their applications. We believe that such a tailor-made solution can be easier ...
متن کامل