NDLI: Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically

Content Provider	IEEE Xplore Digital Library
Author	Khor, S. Grogono, P.
Copyright Year	2004
Description	Author affiliation: Dept. of Comput. Sci., Concordia Univ., Montreal, Que. (Khor, S.; Grogono, P.)
Abstract	Automatic test generators (ATGs) are an important support tool for large-scale software development. Contemporary ATGs include JTest that does white box testing down to the method level only and black box testing if a specification exists, and AETG that tests pairwise interactions among input variables. The first automatic test generation approaches were static, based on symbolic execution (Clarke, 1976). Korel suggested a dynamic approach to automatic test data generation using function minimization and directed search (Korel, 1990). A dynamic approach can handle array, pointer, function and other dynamic constructs more accurately than a static approach but it may also be more expensive since the program under test is executed repeatedly. Subsequent ATGs explored the use of genetic algorithms (Jones et al., 1996; Michael et al., 2001; Pargas et al., 1999) and simulated annealing (Tracey et al., 1998). These ATGs address the problem of producing test data for low level code coverage like statement, branch and condition/decision and depend on branch function (Korel, 1990) style instrumentation (Jones et al., 1996; Michael et al., 2001) and/or the program graph (Jones et al., 1996; Pargas et al., 1999). Unlike previous work, our ATG, called genet, produces test data for branch coverage with simpler instrumentation than branch functions, does not use program graphs, and is programming language independent, genet uses a genetic algorithm (GA) (Holland, 1975) to search for tests and formal concept analysis (FCA) (Ganter and Wille, 1999) to organize the relationships between tests and their execution traces. The combination of GA with FCA is novel. Further, genet extends the opportunistic approach of GADGET (Michael et al., 2001) by targeting several uncovered branches simultaneously. The relationships that genet learns provides useful insights for test selection, test maintenance and debugging
Starting Page	346
Ending Page	349
File Size	256483
Page Count	4
File Format	PDF
ISBN	0769521312
ISSN	19384300
DOI	10.1109/ASE.2004.1342761
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-09-24
Publisher Place	Austria
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Genetic algorithms Algorithm design and analysis Automatic testing Instruments Software testing Large-scale systems Programming Input variables Simulated annealing Computer languages
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Software testing method based on improved simulated annealing algorithm

Automatic Test Data Generation for Path Testing Using Genetic Algorithms

An Automated Test Case Generation Approach by Genetic Simulated Annealing Algorithm

A new method of test data generation for branch coverage in software testing based on EPDG and Genetic Algorithm

Test Data Generation Using Annealing Immune Genetic Algorithm

An approach to automatic generating test data for multi-path coverage by genetic algorithm

Research on test data generation based on Modified Genetic and Simulated Annealing Algorithm

Automatic Test Data Generation Based on SA-QGA

It Does Matter How You Normalise the Branch Distance in Search Based Software Testing

Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically

Similar Documents

Software testing method based on improved simulated annealing algorithm

Automatic Test Data Generation for Path Testing Using Genetic Algorithms

An Automated Test Case Generation Approach by Genetic Simulated Annealing Algorithm

A new method of test data generation for branch coverage in software testing based on EPDG and Genetic Algorithm

Test Data Generation Using Annealing Immune Genetic Algorithm

An approach to automatic generating test data for multi-path coverage by genetic algorithm

Research on test data generation based on Modified Genetic and Simulated Annealing Algorithm

Automatic Test Data Generation Based on SA-QGA

It Does Matter How You Normalise the Branch Distance in Search Based Software Testing

Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically