A Methodology to do Model-Based Testing using FMEA

被引:2
|
作者
Atifi, Meriem [1 ]
Marzak, Abdelaziz [1 ]
机构
[1] Fac Sci Ben Msik, Lab Informat Technol & Modeling, Casablanca, Morocco
关键词
Model-Based-Testing; Software Testing; Failure Modes; Software Development Life Cycle; Test Case; Failure Mode and Effect Analysis; Risk Priority Number; Risk; Testing Approach;
D O I
10.1145/3320326.3320342
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Due to The complexity of modern software projects and the increasing size of software systems, it becomes difficult to perform tests manually with limited resources. Also, manual test cannot assure that the software is tested using all possible combinations of inputs. Therefore, Automate software testing activities have become primordial in the software development life cycle (SDLC). Model-based testing (MBT) is a prominent validation technique in software testing that uses models of the system under test to automatically generate test cases. This generation leads to a large number of test cases; which cannot exhaustively be executed, due to time and cost constraints. Also, the test-cases execution order has an influence on the rate at which faults can be detected. Therefore, it is essential to prioritize test cases in order to execute the most important with limited time and cost. Through this paper, we introduced a new model based testing approach for prioritizing and ranking test cases according to the requirements and failure modes. In the new approach we used Failure Mode and Effect Analysis method in model based testing way to automatically generate a set of pair test case, priority number to prioritize test cases.
引用
收藏
页数:11
相关论文
共 50 条
  • [21] Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (01) : 271 - 292
  • [22] Model-based reasoning methodology using the symbolic DEVS simulation
    Chi, SD
    [J]. TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1997, 14 (03): : 141 - 151
  • [23] 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
  • [24] Model-based testing in practice
    Pretschner, A
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
  • [25] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [26] 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
  • [27] Model-Based Testing of Obligations
    Rubab, Iram
    Ali, Shaukat
    Briand, Lionel
    LeTraon, Yves
    [J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
  • [28] The role of model-based testing
    Utting, Mark
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
  • [29] Compositionality in Model-Based Testing
    van Cuyck, Gijs
    van Arragon, Lars
    Tretmans, Jan
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218
  • [30] Model-Based Security Testing
    Schieferdecker, Ina
    Grossmann, Juergen
    Schneider, Martin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 1 - 12