A probabilistic coverage for on-the-fly test generation algorithms

N. Goga

A probabilistic coverage for on-the-fly test generation algorithms

N. Goga

Research output: Contribution to conference › Paper › peer-review

61 Downloads (Pure)

Abstract

This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as a stochastic process. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The generalized formulas are instantiated for the ioco theory and for the specification of the TorX test generation algorithm.

Original language	English
Number of pages	16
Publication status	Published - 2003
Event	3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003 - Southhampton, United Kingdom Duration: 2 Apr 2003 → 3 Apr 2003 Conference number: 3 http://users.ecs.soton.ac.uk/mal/avocs03/

Workshop

Workshop	3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003
Abbreviated title	AVoCS
Country/Territory	United Kingdom
City	Southhampton
Period	2/04/03 → 3/04/03
Internet address	http://users.ecs.soton.ac.uk/mal/avocs03/

Keywords

FMT-TESTING
IR-63328
EWI-6535

Access to Document

Probabilistic CoverageFinal published version, 168 KB

http://users.ecs.soton.ac.uk/mal/avocs03/proceedings/10.ps

Cite this

@conference{348fffeda3bf499da4a33956f3fcd31a,

title = "A probabilistic coverage for on-the-fly test generation algorithms",

abstract = "This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as a stochastic process. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The generalized formulas are instantiated for the ioco theory and for the specification of the TorX test generation algorithm.",

keywords = "FMT-TESTING, IR-63328, EWI-6535",

author = "N. Goga",

year = "2003",

language = "English",

note = "3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003, AVoCS ; Conference date: 02-04-2003 Through 03-04-2003",

url = "http://users.ecs.soton.ac.uk/mal/avocs03/",

}

TY - CONF

T1 - A probabilistic coverage for on-the-fly test generation algorithms

AU - Goga, N.

N1 - Conference code: 3

PY - 2003

Y1 - 2003

N2 - This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as a stochastic process. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The generalized formulas are instantiated for the ioco theory and for the specification of the TorX test generation algorithm.

AB - This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as a stochastic process. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The generalized formulas are instantiated for the ioco theory and for the specification of the TorX test generation algorithm.

KW - FMT-TESTING

KW - IR-63328

KW - EWI-6535

M3 - Paper

T2 - 3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003

Y2 - 2 April 2003 through 3 April 2003

ER -

A probabilistic coverage for on-the-fly test generation algorithms

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this