Separation of Transitions, Actions, and Exceptions in Model-Based Testing

被引：0
|
作者：
Artho, Cyrille [1 ]
机构：
[1] AIST, RCIS, Tokyo, Japan
来源：
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009 | 2009年 / 5717卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the model and their corresponding actions in the target implementation, and also includes special treatment of exceptional states.
引用
收藏
页码：279 / 286
页数：8
相关论文
共 50 条
  • [1] Model-Based Testing
    Schieferdecker, Ina
    [J]. IEEE SOFTWARE, 2012, 29 (01) : 14 - 18
  • [2] Model-based testing
    Pretschner, A
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
  • [3] Model-based testing
    Le Traon, Yves
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023, 33 (02):
  • [4] Combinatorial testing and model-based testing
    Hierons, Robert M.
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
  • [5] Model Learning and Model-Based Testing
    Aichernig, Bernhard K.
    Mostowski, Wojciech
    Mousavi, Mohammad Reza
    Tappler, Martin
    Taromirad, Masoumeh
    [J]. MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
  • [6] Model-Based Security Testing
    Schieferdecker, Ina
    Grossmann, Juergen
    Schneider, Martin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 1 - 12
  • [7] The role of model-based testing
    Utting, Mark
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
  • [8] Compositionality in Model-Based Testing
    van Cuyck, Gijs
    van Arragon, Lars
    Tretmans, Jan
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218
  • [9] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [10] Model-Based Flight Testing
    de Mendonca, Celso Braga
    da Silva, Edmar Thomaz
    Curvo, Marcelo
    Trabasso, Luis Gonzaga
    [J]. JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186
12345