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 条
  • [41] An approach to derive usage models variants for model-based testing
    Samih, Hamza
    Le Guen, Hélène
    Bogusch, Ralf
    Acher, Mathieu
    Baudry, Benoit
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8763 : 80 - 96
  • [42] A regime-switching approach to model-based stress testing
    Tashman, Adam P.
    JOURNAL OF RISK MODEL VALIDATION, 2009, 3 (04): : 89 - 101
  • [43] TesCaV: An Approach for Learning Model-Based Testing and Coverage in Practice
    Marin, Beatriz
    Alarcon, Sofia
    Giachetti, Giovanni
    Snoeck, Monique
    RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS 2020), 2020, 385 : 302 - 317
  • [44] An Approach to Derive Usage Models Variants for Model-Based Testing
    Samih, Hamza
    Le Guen, Helene
    Bogusch, Ralf
    Acher, Mathieu
    Baudry, Benoit
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2014), 2014, 8763 : 80 - 96
  • [45] A novel model-based testing approach for software product lines
    Ferruccio Damiani
    David Faitelson
    Christoph Gladisch
    Shmuel Tyszberowicz
    Software & Systems Modeling, 2017, 16 : 1223 - 1251
  • [46] Model Learning and Model-Based Testing
    Aichernig, Bernhard K.
    Mostowski, Wojciech
    Mousavi, Mohammad Reza
    Tappler, Martin
    Taromirad, Masoumeh
    MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
  • [47] Model-based testing in practice
    Pretschner, A
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
  • [48] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [49] Model-Based Testing of Obligations
    Rubab, Iram
    Ali, Shaukat
    Briand, Lionel
    LeTraon, Yves
    2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
  • [50] Model-Based Flight Testing
    de Mendonca, Celso Braga
    da Silva, Edmar Thomaz
    Curvo, Marcelo
    Trabasso, Luis Gonzaga
    JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186
12345