Optimal test case generation for boundary value analysis

Boundary value analysis (BVA) is a common technique in software testing that uses input values that lie at the boundaries where significant changes in behavior are expected. This approach is widely recognized and used as a natural and effective strategy for testing software. Test coverage is one of...

Full description

Saved in:
Bibliographic Details
Published in:Software quality journal 2024-06, Vol.32 (2), p.543-566
Main Authors: Guo, Xiujing, Okamura, Hiroyuki, Dohi, Tadashi
Format: Article
Language:English
Subjects:
Algorithms
Compilers
Computer Science
Data Structures and Information Theory
Fault detection
Interpreters
Operating Systems
Programming Languages
Software Engineering/Programming and Operating Systems
Software testing
Value analysis
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Boundary value analysis (BVA) is a common technique in software testing that uses input values that lie at the boundaries where significant changes in behavior are expected. This approach is widely recognized and used as a natural and effective strategy for testing software. Test coverage is one of the criteria to measure how much the software execution paths are covered by the set of test cases. This paper focuses on evaluating test coverage with respect to BVA by defining a metric called boundary coverage distance (BCD). The BCD metric measures the extent to which a test set covers the boundaries. In addition, based on BCD, we consider the optimal test input generation to minimize BCD under the random testing scheme. We propose three algorithms, each representing a different test input generation strategy, and evaluate their fault detection capabilities through experimental validation. The results indicate that the BCD-based approach has the potential to generate boundary values and improve the effectiveness of software testing.
ISSN:0963-9314
1573-1367
DOI:10.1007/s11219-023-09659-9