
doi: 10.1007/bf02141594
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.
Iterative procedures involving nonlinear operators, Nonstandard operator theory, Numerical solutions to equations with nonlinear operators, combinatorical circuits, stateless system, numerical software or hardware systems, Applications of operator theory in systems, signals, circuits, and control theory, error criterion, black-box testing
Iterative procedures involving nonlinear operators, Nonstandard operator theory, Numerical solutions to equations with nonlinear operators, combinatorical circuits, stateless system, numerical software or hardware systems, Applications of operator theory in systems, signals, circuits, and control theory, error criterion, black-box testing
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
