Exploring an approach to model-based testing from Behavior Trees

被引：1

作者：

Hakimipour, Niusha ^{[1
]}

Strooper, Paul ^{[1
]}

机构：

[1] Univ Queensland, Sch Informat Technol & Elect Engn, St Lucia, Qld, Australia

来源：

2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE WORKSHOPS (APSECW), VOL. 2 | 2012年

关键词：

Behavior Trees; model-based testing; automated test generation;

D O I：

10.1109/APSEC.2012.95

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：80 / 86

页数：7

共 50 条

[1] Trustworthiness testing of phishing websites: A behavior model-based approach
Shahriar, Hossain
Zulkernine, Mohammad
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2012, 28 (08): : 1258 - 1271
[2] A Model-Based Approach to Testing Software for Critical Behavior and Properties
Heitmeyer, Constance
TESTING SOFTWARE AND SYSTEMS, 2010, 6435 : 15 - 15
[3] A model-based approach for robustness testing
Fernandez, JC
Mounier, L
Pachon, C
TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348
[4] Automatic Generation of Event Trees and Fault Trees: A Model-Based Approach
Mandelli, Diego
Alfonsi, Andrea
Aldemir, Tunc
NUCLEAR TECHNOLOGY, 2023, 209 (11) : 1653 - 1665
[5] Testing for controlled variables: a model-based approach to determining the perceptual basis of behavior
Richard S. Marken
Attention, Perception, & Psychophysics, 2014, 76 : 255 - 263
[6] Testing for controlled variables: a model-based approach to determining the perceptual basis of behavior
Marken, Richard S.
ATTENTION PERCEPTION & PSYCHOPHYSICS, 2014, 76 (01) : 255 - 263
[7] A Model-Based Approach for RFID Application Testing
Huebner, Andreas
Facchi, Christian
Meyer, Markus
Janicke, Helge
2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, : 1490 - 1497
[8] Testing Environment Emulation - A Model-based Approach
Liu, Jian
Grundy, John
Abdelrazek, Mohamed
Avazpour, Iman
MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 112 - 124
[9] A threat model-based approach to security testing
Marback, Aaron
Do, Hyunsook
He, Ke
Kondamarri, Samuel
Xu, Dianxiang
SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (02): : 241 - 258
[10] A statistical approach to model-based robustness testing
Popovic, Miroslav
Kovacevic, Jelena
ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 485 - +

← 1 2 3 4 5 →