Automation of Test Case Generation from Behavior Tree Requirements Models

Pages: 118 - 127
Published: Sep 28, 2015
Abstract
Behavior Trees (BTs) are a graphical notation for requirements capture that is easier to read than other formal notations, with direct traceability between individual functional requirements and their representation in the BT model. This paper investigates whether this relationship can be extended to generation of test cases, using a symbolic model checker to ensure correctness and completeness of test cases with respect to the model. To do so...
Paper Details
Title
Automation of Test Case Generation from Behavior Tree Requirements Models
Published Date
Sep 28, 2015
Journal
Pages
118 - 127
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.