Effective black-box testing with genetic algorithms

Mark Last, Shay Eyal, Abraham Kandel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

17 Scopus citations

Abstract

Black-box (functional) test cases are identified from functional requirements of the tested system, which is viewed as a mathematical function mapping its inputs onto its outputs. While the number of possible black-box tests for any non-trivial program is extremely large, the testers can run only a limited number of test cases under their resource limitations. An effective set of test cases is the one that has a high probability of detecting faults presenting ina computer program.In this paper, we introduce a new, computationally intelligent approach to automated generation of effective test cases based on a novel, Fuzzy-Based Age Extension of Genetic Algorithms (FAexGA). The basic idea is to eliminate "bad" test cases that are unlikely to expose any error, while increasing the number of "good" test cases that have a high probability of producing an erroneous output. The promising performance of the FAexGA-based approach is demonstrated on testing a complex Boolean expression.

Original languageEnglish
Title of host publicationHardware and Software, Verification and Testing - First International Haifa Verification Conference, Revised Selected Papers
Pages134-148
Number of pages15
DOIs
StatePublished - 7 Jul 2006
Event1st International Haifa Verification Conference on Hardware and Software, Verification and Testing - Haifa, Israel
Duration: 13 Nov 200516 Nov 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3875 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Haifa Verification Conference on Hardware and Software, Verification and Testing
Country/TerritoryIsrael
CityHaifa
Period13/11/0516/11/05

Keywords

  • Black-box testing
  • Computational intelligence
  • Fuzzy logic
  • Genetic algorithms
  • Test prioritization

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Effective black-box testing with genetic algorithms'. Together they form a unique fingerprint.

Cite this