Automatically generating test data from a Boolean specification

Elaine J. Weyuker; Tarak Goradia; Amanpreet Singh

doi:10.1109/32.286420

ScienceGate Book Chapters

JOURNAL ARTICLE

Automatically generating test data from a Boolean specification

Elaine J. Weyuker Tarak Goradia Amanpreet Singh

Year: 1994 Journal: IEEE Transactions on Software Engineering Vol: 20 (5)Pages: 353-363 Publisher: IEEE Computer Society

DOI: 10.1109/32.286420

Get Full-Text PDF Get Analytical Report

Abstract

This paper presents a family of strategies for automatically generating test data for any implementation intended to satisfy a given specification that is a Boolean formula. The fault detection effectiveness of these strategies is investigated both analytically and empirically, and the costs, assessed in terms of test set size, are compared.< >

Keywords:

Computer science Set (abstract data type) Test (biology) Boolean expression Programming language Theoretical computer science Boolean function Data mining Algorithm

Metrics

271

Cited By

9.86

FWCI (Field Weighted Citation Impact)

Refs

0.98

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques

Physical Sciences → Computer Science → Software

Software Reliability and Analysis Research

Physical Sciences → Computer Science → Software

VLSI and Analog Circuit Testing

Physical Sciences → Computer Science → Hardware and Architecture

Automatically generating test data from a Boolean specification

Abstract

Metrics

Citation History

Topics

Related Documents

Automatically Generating Test Cases for Specification Mining

Automatically Generating Test Templates from Test Names (N)

Generating Test Instruments Automatically

An integrated system for automatically generating test data

Automatically generating stories from sensor data