Abstract:Automatically generating effective test suites promises a significant impact on testing practice by promoting extensively tested software within reasonable effort and cost bounds. Code-based test generators rely on the source code of the software under test to identify test objectives and to steer the test case generation process accordingly. Currently, the most mature proposals on this topic come from the research on random testing, dynamic symbolic execution, and search-based testing. This paper studies the effectiveness of a set of state-of-the-research test generators on a family of industrial programs with nontrivial domain-specific peculiarities. These programs are part of a software component of a real-time and safety-critical control system and integrate in a control task specified in LabVIEW, a graphical language for designing embedded systems. The result of this study enhances the available body of knowledge on the strengths and weaknesses of test generators. The empirical data indicate that the test generators can truly expose subtle (previously unknown) bugs in the subject software and that there can be merit in using different types of test generation approaches in a complementary, even synergic fashion. Furthermore, our experiment pinpoints the support for floating point arithmetics and nonlinear computations as a major milestone in the path to exploiting the full potential of the prototypes based on symbolic execution in industry.

Software Test Data Generation Based on Multi-Agent

Software Test Data Generation Framework Based on Agent

An Adaptive Framework for Test Data Generation from Business Specification

Design of Software Testing System Based on Multi-Agent

Automatic test data generation model by combining dataflow analysis with genetic algorithm

Automatic Test Data Generation Based on Usage Model and Genetic Algorithm

Overview Of The Automated Software Test-Data Generation

Data Mining and Test Data Generation Based on Test Requirements

Hybrid Test Data Generation

Using data mining techniques to generate test cases from graph transformation systems specifications

Study On Software Testing Model Based On Agent

Automatic Test Data Generation Tool Based on Genetic Simulated Annealing Algorithm

Constrained Multi-Objective Test Data Generation Based on Set Evolution

Embedded Software Testing Requirements Modeling and Automatic Test Case Generation Based on Multiple Graphs

Automatic Generation of Software Test Data Based on Hybrid Particle Swarm Genetic Algorithm

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component

Framework of Automatic Test Data Generation for Software Structure

A Method of Automated Test Data Generation for Web Service

Effective Generation of Test Case Based on Genetic Algorithm

A multi-agent system for program mining

Evolutionary Generation of Test Data for Many Paths Coverage Based on Grouping