Specifying generic Java programs

Giorgetti, Alain; Marché, Claude; Tushkanova, Elena; Kouchnarenko, Olga

doi:10.1145/1868281.1868289

Cited by 4 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The program ma-trixProcessor 3 manipulates matrices according to specified matrix operations, and was written as an exercise from JetBrains Academy [93]. The java.util.Arrays [94,95] is an array manipulation library in the Java API that contains various array helper functions (such as for sorting and searching).…”

Section: Simulations and Subject Programsmentioning

confidence: 99%

SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs

Ashfaq,

Huang,

Towey

et al. 2021

Preprint

View full text Add to dashboard Cite

Adaptive random testing (ART) improves the failure-detection effectiveness of random testing by leveraging properties of the clustering of failure-causing inputs of most faulty programs: ART uses a sampling mechanism that evenly spreads test cases within a software's input domain. The widely-used Fixed-Sized-Candidate-Set ART (FSCS-ART) sampling strategy faces a quadratic time cost, which worsens as the dimensionality of the software input domain increases. In this paper, we propose an approach based on small world graphs that can enhance the computational efficiency of FSCS-ART: SWFC-ART. To efficiently perform nearest neighbor queries for candidate test cases, SWFC-ART incrementally constructs a hierarchical navigable small world graph for previously executed, non-failure-causing test cases. Moreover, SWFC-ART has shown consistency in programs with high dimensional input domains. Our simulation and empirical studies show that SWFC-ART reduces the computational overhead of FSCS-ART from quadratic to log-linear order while maintaining the failure-detection effectiveness of FSCS-ART, and remaining consistent in high dimensional input domains. We recommend using SWFC-ART in practical software testing scenarios, where real-life programs often have high dimensional input domains and low failure rates.

show abstract

Section: Simulations and Subject Programsmentioning

confidence: 99%