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

被引：1
|
作者：
Arif, Bijoy Rahman [1 ]
机构：
[1] Independent Univ, Dhaka 1229, Bangladesh
来源：
EMERGING TECHNOLOGIES IN DATA MINING AND INFORMATION SECURITY, IEMIS 2018, VOL 1 | 2019年 / 755卷
关键词：
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 条
  • [1] White-Box Path Generation in Recursive Programs
    Pena, Ricardo
    Sanchez-Hernandez, Jaime
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING, TFP 2020, 2020, 12222 : 121 - 135
  • [2] Automated isolation for white-box test generation
    Honfi, David
    Micskei, Zoltan
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2020, 125
  • [3] Constraint-Based Test Case Generation for White-Box Method-Level Unit Testing
    Chang, Cheng-Hung
    Lin, Nai-Wei
    [J]. 2016 INTERNATIONAL COMPUTER SYMPOSIUM (ICS), 2016, : 601 - 604
  • [4] White-box testing
    Cole, O
    [J]. DR DOBBS JOURNAL, 2000, 25 (03): : 23 - +
  • [5] Automatic generation of database instances for white-box testing
    Zhang, B
    Xu, C
    Cheung, SC
    [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 161 - 165
  • [6] Database instances Generation Tool for White-box Testing
    Shelar, Samidha
    Sawarkar, S. D.
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SIGNAL ACQUISITION AND PROCESSING, 2009, : 112 - +
  • [7] On path-wise automatic generation of test data for both white-box and black-box testing
    Shan, JH
    Wang, J
    Qi, ZC
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 237 - 240
  • [8] Grammar-Based Patches Generation for Automated Program Repair
    Tang, Yu
    Zhou, Long
    Blanco, Ambrosio
    Liu, Shujie
    Wei, Furu
    Zhou, Ming
    Yang, Muyun
    [J]. FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL-IJCNLP 2021, 2021, : 1300 - 1305
  • [9] Automated Black- and White-Box Testing of RESTful APIs With EvoMaster
    Arcuri, Andrea
    [J]. IEEE SOFTWARE, 2021, 38 (03) : 72 - 78
  • [10] Symbolic Modelling in White-Box Model-Based Testing
    Letichevsky, Alexander
    Letychevskyi, Oleksandr
    Peschanenko, Vladimir
    [J]. 2015 THIRD INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, MODELLING AND SIMULATION (AIMS 2015), 2015, : 237 - 240
12345