Grammar-Based White-Box Testing via Automated Constraint Path Generation

被引:1
|
作者
Arif, Bijoy Rahman [1 ]
机构
[1] Independent Univ, Dhaka 1229, Bangladesh
关键词
D O I
10.1007/978-981-13-1951-8_7
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Software testing is an indispensable procedure for assuring software quality and test case generation is one of the major stages of software testing odyssey. In this paper, the author presents a grammar-based white-box testing which integrates some source code analysis, grammar-based test generation, and constraint solving as a whole. A preliminary implementation of grammar-based white-box testing, Java White-box Unit Tester (JWBUT), has been developed. JWBUT can generate well-distributed authentic test cases using the grammar-based white-box testing scheme, which starts from static analysis of Java source code, transforms control flow into context-free grammar (CFG), applies to grammar-based test generator to produce a set of constraint paths, and finally, generates test cases by solving the constraint paths. The author has experimented JWBUT on a set of Java methods to demonstrate the effectiveness of grammar-based white-box testing.
引用
收藏
页码:65 / 77
页数:13
相关论文
共 50 条
  • [21] Enhancing White-Box Search-Based Testing of RESTful APIs
    Golmohammadi, Amid
    2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, : 9 - 12
  • [22] GAMFLEW: serious game to teach white-box testing
    Silva, Mateus
    Paiva, Ana C. R.
    Mendes, Alexandra
    Software Quality Journal, 2025, 33 (01)
  • [23] Temporal White-Box Testing Using Evolutionary Algorithms
    Al Moubayed, Noura
    Windisch, Andreas
    ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 150 - +
  • [24] Simplified Way of Learning White-Box Testing with JUnit
    Sung, Keum-Young
    ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURETECH & MUE, 2016, 393 : 783 - 789
  • [25] White-box Fairness Testing through Adversarial Sampling
    Zhang, Peixin
    Wang, Jingyi
    Sun, Jun
    Dong, Guoliang
    Wang, Xinyu
    Wang, Xingen
    Dong, Jin Song
    Dai, Ting
    2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 949 - 960
  • [26] Benefits of software measures for evolutionary white-box testing
    Lammermann, Frank
    Wappler, Stefan
    GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2, 2005, : 1083 - 1084
  • [27] Controllable combinatorial coverage in grammar-based testing
    Lammel, Ralf
    Schulte, Wolfram
    TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 19 - 38
  • [28] Grammar-based Program Generation Based on Model Finding
    Soeken, Mathias
    Dreehsler, Rolf
    2013 8TH INTERNATIONAL DESIGN AND TEST SYMPOSIUM (IDT), 2013,
  • [29] Automated Grammar-based Feature Selection in Symbolic Regression
    Ali, Muhammad Sarmad
    Kshirsagar, Meghana
    Naredo, Enrique
    Ryan, Conor
    PROCEEDINGS OF THE 2022 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'22), 2022, : 902 - 910
  • [30] SAGPAR: Structural Grammar-based Automated Pathway Reconstruction
    Tagore, Somnath
    De, Rajat K.
    INTERDISCIPLINARY SCIENCES-COMPUTATIONAL LIFE SCIENCES, 2012, 4 (02) : 116 - 127