Exploring an approach to model-based testing from behavior trees

Hakimipour, Niusha and Strooper, Paul (2012). Exploring an approach to model-based testing from behavior trees. In: Karl R. P. H. Leung and Pornsiri Muenchaisri, APSECW 2012: Proceedings of the 19th Asia-Pacific Software Engineering Conference. APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012, Hong Kong, (80-86). 4-7 December 2012. doi:10.1109/APSEC.2012.95

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Hakimipour, Niusha
Strooper, Paul
Title of paper Exploring an approach to model-based testing from behavior trees
Conference name APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012
Conference location Hong Kong
Conference dates 4-7 December 2012
Proceedings title APSECW 2012: Proceedings of the 19th Asia-Pacific Software Engineering Conference
Journal name Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Place of Publication Los Alamitos, CA, United States
Publisher IEEE Computer Society
Publication Year 2012
Sub-type Fully published paper
DOI 10.1109/APSEC.2012.95
Open Access Status
ISBN 9780769549224
ISSN 1530-1362
Editor Karl R. P. H. Leung
Pornsiri Muenchaisri
Volume 2
Start page 80
End page 86
Total pages 7
Chapter number 11
Total chapters 25
Collection year 2013
Language eng
Abstract/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.
Keyword Behavior trees
Model-based testing
Automated test generation
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 14 Mar 2013, 14:29:32 EST by Professor Paul Strooper on behalf of School of Information Technol and Elec Engineering