Exploring an Approach to Model-Based Testing from Behavior Trees

One of the most important methods to ensure system correctness is testing. Test execution can often be automated. However, the generation of tests from original requirements is an open area of research. In this paper, we propose an approach to generate test cases from requirements. We use a Behavior...

Full description

Saved in:
Bibliographic Details
Published in2012 19th Asia-Pacific Software Engineering Conference Vol. 2; pp. 80 - 86
Main Authors Hakimipour, N., Strooper, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2012
Subjects
Adaptation models
automated test generation
Behavior Trees
Computer languages
Educational institutions
Microwave communication
Microwave ovens
model-based testing
Testing
Online AccessGet full text

Cover

More Information
Summary:One of the most important methods to ensure system correctness is testing. Test execution can often be automated. However, the generation of tests from original requirements is an open area of research. In this paper, we propose an approach to generate test cases from requirements. We use a Behavior Tree (BT) to model the requirements of a system. The BT notation is a tree-like graphical notation to capture the requirements of a system. We use TTCN-3 as our testing language. TTCN-3 is a programming language with test-specific extensions. From the BT model, we generate test cases in TTCN-3. These test cases combined with an adapter layer in TTCN-3 will be executed against an implementation of the model to test that implementation.
ISBN:9781467349307
1467349305
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2012.95