Testing nonlinear operators (Q1895875)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing nonlinear operators |
scientific article |
Statements
Testing nonlinear operators (English)
0 references
14 March 1996
0 references
This paper deals with the so-called ``black-box testing'' for stateless systems (upon the same input, a stateless system always produces the same output). A large number of practical systems is stateless, including combinatorical circuits and numerical software or hardware systems. Only numerical systems testing is considered. Since finite testing is inherently inconclusive, the authors modify the usual problem in three different directions (an infinite sequence of tests for which the testing is decidable in the limit; relaxation of the error criterion; tolerance of faults on a negligible subset of inputs) and obtains positive results which indicate that test sets are universal. They only depend on the structure of the input set and they are provided by an \(\varepsilon\) net of the input set.
0 references
black-box testing
0 references
stateless system
0 references
combinatorical circuits
0 references
numerical software or hardware systems
0 references
error criterion
0 references