user

Automated Coverage Calculation and Test Case Generation

被引：0
|
作者：
Morrison, G. C. [1 ]
Inggs, C. P. [1 ]
Visser, W. C. [1 ]
机构：
[1] Univ Stellenbosch, ZA-7602 Matieland, South Africa
来源：
PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE | 2012年
关键词：
Program analysis; Symbolic execution; Coverage calculation;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article describes the use of symbolic execution, a formal method of static analysis, to calculate code coverage of a program's existing JUnit test suites. Code coverage is measured with respect to a number of test adequacy criteria, including statement coverage, branch coverage, condition coverage, method coverage, class coverage, and loop coverage. The results of the code coverage calculation is then used to automatically generate JUnit test cases to reach areas of a program that are not sufficiently covered. The level of redundancy of each test case is also calculated during coverage calculation, thereby identifying fully redundant, and partially redundant, test cases. These calculations are packaged as an Eclipse plug-in, named ATCO. ATCO can also be used to perform coverage calculation during a manual execution of a program, allowing testers to measure the effectiveness of manual testing.
引用
收藏
页码：84 / 93
页数：10
相关论文
共 50 条
  • [1] Automated Test Case Generation based on Coverage Analysis
    Majchrzak, Tim A.
    Kuchen, Herbert
    [J]. THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 259 - 266
  • [2] Automated SC-MCC test case generation using coverage-guided fuzzing
    Golla, Monika Rani
    Godboley, Sangharatna
    [J]. SOFTWARE QUALITY JOURNAL, 2024, 32 (03) : 849 - 880
  • [3] Automated ISA Branch Coverage Analysis and Test Case Generation for Retargetable Instruction Set Simulators
    Wagstaff, Harry
    Spink, Tom
    Franke, Bjoern
    [J]. 2014 INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURE AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES), 2014,
  • [4] Teaching automated test case generation
    Chen, TY
    Kuo, FC
    Zhou, ZQ
    [J]. QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 327 - 332
  • [5] Automated test case generation for spreadsheets
    Fisher, M
    Cao, MM
    Rothermel, G
    Cook, CR
    Burnett, MM
    [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 141 - 151
  • [6] On the Danger of Coverage Directed Test Case Generation
    Staats, Matt
    Gay, Gregory
    Whalen, Michael
    Heimdahl, Mats
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 409 - 424
  • [7] AUTOMATED TEST-CASE SELECTION BASED ON TEST COVERAGE METRICS
    MCALLISTER, M
    VUONG, ST
    ALILOVICCURGUS, J
    [J]. PROTOCOL TEST SYSTEMS, V, 1993, 11 : 93 - 104
  • [8] Multi-task modeling and multifactorial optimization for path coverage problem of automated test case generation
    Wang, Xupeng
    Hu, Zhongbo
    Shi, Lingyi
    Cai, Gaocheng
    Su, Qinghua
    [J]. APPLIED SOFT COMPUTING, 2024, 154
  • [9] Automated test case generation for path coverage using Hierarchical Surrogate-Assisted Differential Evolution
    Gao, Lin
    Bai, Songyan
    Liu, Mingxing
    Li, Fan
    [J]. APPLIED SOFT COMPUTING, 2024, 158
  • [10] Coverage-Directed Test Generation Automated by Machine Learning - A Review
    Ioannides, Charalambos
    Eder, Kerstin I.
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2012, 17 (01)
12345