Search-based testing in membrane computing

被引：0
|
作者：
Ana Ţurlea
Marian Gheorghe
Florentin Ipate
Savas Konur
机构：
[1] University of Bucharest,Faculty of Mathematics and Computer Science and ICUB
[2] University of Bradford,Department of Computer Science
来源：
Journal of Membrane Computing | 2019年 / 1卷
关键词：
Membrane computing; Kernel P systems; Search-based testing; Genetic algorithms; Test data generation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Search-based testing is widely used for generating test sets. It is also applied in the case of model-based testing, especially for (extended) finite state machines. In this paper, we define such an approach for kernel P system models. We consider a specific kernel P system model and a define a search-based testing method. The test set generated consists of input sequences producing a given computation defined by the model. An example illustrates the use of the introduced method.
引用
收藏
页码：241 / 250
页数：9
相关论文
共 50 条
  • [1] Search-based testing in membrane computing
    Turlea, Ana
    Gheorghe, Marian
    Ipate, Florentin
    Konur, Savas
    JOURNAL OF MEMBRANE COMPUTING, 2019, 1 (04) : 241 - 250
  • [2] EXSYST: Search-Based GUI Testing
    Gross, Florian
    Fraser, Gordon
    Zeller, Andreas
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1423 - 1426
  • [3] Search-Based Testing of Reinforcement Learning
    Tappler, Martin
    Cordoba, Filip Cano
    Aichernig, Bernhard K.
    Koenighofer, Bettina
    PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022, 2022, : 503 - 510
  • [4] Search-based Testing using EFSMs
    Turlea, Ana
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 100 - 103
  • [5] Search-Based Energy Testing of Android
    Jabbarvand, Reyhaneh
    Lin, Jun-Wei
    Malek, Sam
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 1119 - 1130
  • [6] Search-based Testing and System Testing: A Marriage in Heaven
    Zeller, Andreas
    2017 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2017, : 49 - 50
  • [7] Search-based mutation testing for Simulink models
    Zhan, Yuan
    Clark, John A.
    GECCO 2005: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOLS 1 AND 2, 2005, : 1061 - 1068
  • [8] Adopting Search-Based Algorithms for Pairwise Testing
    Nasser, Abdullah B.
    Alsewari, AbdulRahman A.
    Zamli, Kamal Z.
    2015 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND COMPUTER SYSTEMS (ICSECS), 2015, : 124 - 129
  • [9] The Cloudification Perspectives of Search-based Software Testing
    Martin, Diego
    Panichella, Sebastiano
    2019 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2019), 2019, : 5 - 6
  • [10] SBSTFrame: a Framework to Search-Based Software Testing
    Machado, Bruno N.
    Camilo-Junior, Celso G.
    Rodrigues, Cassio L.
    Quijano, Eduardo H. D.
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 4106 - 4111
12345