Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

02/14/2023
by   Jarrod Goschen, et al.
0

Ongoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the purpose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing techniques focus on utilising search algorithms to discover input values that achieve high execution path coverage. These algorithms are trained on the same code that they intend to test, requiring instrumentation and lengthy search times to test each software component. This paper outlines a novel genetic programming framework, where the evolved solutions are not input values, but micro-programs that can repeatedly generate input values to efficiently explore a software component's input parameter domain. We also argue that our approach can be generalised such as to be applied to many different software systems, and is thus not specific to merely the particular software component on which it was trained.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/21/2012

Scaling Genetic Programming for Source Code Modification

In Search Based Software Engineering, Genetic Programming has been used ...
research
06/27/2019

The State and Future of Genetic Improvement

We report the discussion session at the sixth international Genetic Impr...
research
12/21/2018

On Testing Quantum Programs

A quantum computer (QC) can solve many computational problems more effic...
research
01/17/2023

Ember-IO: Effective Firmware Fuzzing with Model-Free Memory Mapped IO

Exponential growth in embedded systems is driving the research imperativ...
research
08/08/2022

Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation

Unit testing is a critical part of software development process, ensurin...
research
05/27/2019

Towards Automated Boundary Value Testing with Program Derivatives and Search

A natural and often used strategy when testing software is to use input ...
research
01/08/2021

Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)

Theorem provers has been used extensively in software engineering for so...

Please sign up or login with your details

Forgot password? Click here to reset