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 条

[31] Vulnerability Model-based Web Applications Security Testing Approach
He Cheng
Liu Yanfei
ADVANCES IN MECHATRONICS AND CONTROL ENGINEERING III, 2014, 678 : 468 - 472
[32] A novel model-based testing approach for software product lines
Damiani, Ferruccio
Faitelson, David
Gladisch, Christoph
Tyszberowicz, Shmuel
SOFTWARE AND SYSTEMS MODELING, 2017, 16 (04): : 1223 - 1251
[33] A holistic approach to model-based testing of Web service compositions
Belli, Fevzi
Endo, Andre Takeshi
Linschulte, Michael
Simao, Adenilso
SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (02): : 201 - 234
[34] An Approach to Model-based Testing of Mixed-Signal SiPs
Mueller, Reik
Wegener, Carsten
Jentschel, Hans-Joachim
2008 IEEE 14TH INTERNATIONAL MIXED-SIGNALS, SENSORS, AND SYSTEMS TEST WORKSHOP, 2008, : 50 - +
[35] A New Model-Based Approach for Ultrasonic Testing of Dissimilar Welds
Schubert, F.
Scholz, H.
Froehlich, M.
Barth, M.
Richter, C.
Bor, Z.
Heilmann, S.
Heilmann, P.
Meyendorf, N.
NDT IN PROGRESS 2011, PROCEEDINGS, 2011, : 341 - 350
[36] A Model-based Testing Approach for Cockpit Display Systems of Avionics
Iqbal, Muhammad Zohaib
Sartaj, Hassan
Khan, Muhammad Uzair
Ul Haq, Fitash
Qaisar, Ifrah
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2019), 2019, : 67 - 77
[37] A model-based approach to the security testing of network protocol implementations
Allen, William H.
Dou, Chin
Marin, Gerald A.
31ST IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS, PROCEEDINGS, 2006, : 1008 - +
[38] Model-based mutation testing-Approach and case studies
Belli, Fevzi
Budnik, Christof J.
Hollmann, Axel
Tuglular, Tugkan
Wong, W. Eric
SCIENCE OF COMPUTER PROGRAMMING, 2016, 120 : 25 - 48
[39] Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Bertolino, A.
Marchetti, E.
Muccini, H.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 85 - 97
[40] A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Lima, Bruno
Faria, Joao Pascoal
2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 199 - 208

← 1 2 3 4 5 →