Some test length bounds for nonrepeating functions in the {&, ∨} basis
Testing relative to a nonrepeating alternative in a conjunction-disjunction basis is considered. A lower bound on the test length is established for all nonrepeating functions in this basis. A subsequence of easily testable functions is constructed and the corresponding tests are described. Individu...
Gespeichert in:
Veröffentlicht in: | Computational mathematics and modeling 2010-04, Vol.21 (2), p.196-205 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Testing relative to a nonrepeating alternative in a conjunction-disjunction basis is considered. A lower bound on the test length is established for all nonrepeating functions in this basis. A subsequence of easily testable functions is constructed and the corresponding tests are described. Individual lower test length bounds are proved for functions of a special form; minimality of the tests is established for the functions of the constructed subsequence. |
---|---|
ISSN: | 1046-283X 1573-837X |
DOI: | 10.1007/s10598-010-9064-8 |