Buying with exact confidence (Q1201323): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1214/aoap/1177005658 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1214/aoap/1177005658 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2082348226 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1214/AOAP/1177005658 / rank
 
Normal rank

Latest revision as of 16:13, 10 December 2024

scientific article
Language Label Description Also known as
English
Buying with exact confidence
scientific article

    Statements

    Buying with exact confidence (English)
    0 references
    0 references
    0 references
    17 January 1993
    0 references
    The following stopping time problem arises e.g. in software testing: let \((X_ k)\) be a sequence of independent times with known common (continuous) distribution \(F\). The \(X_ k\) represent the times at which events occur and a finite number of such times is observed. Let \(K(t)\) be the number of events observed before \(t\), \(K(t)=\) number of indices \(\{j\mid X_ j\leq t\}\). Then consider an increasing sequence \((b_ k)\) and stop at \(\tau=b_ J\) where \(J=\) smallest \(j\) with \(K(b_ j)<j\). Then for \(m\geq 0\), \(\alpha\in(0,1)\), \((b_ j)\) can be chosen such that for all \(n>m\), \(P(n-K(\tau)>m\mid n)=\alpha\). In other words, if the random variable \(N\) represents the number of events with distribution supported on \((m+1,\infty)\), then \(P(N- K(\tau)>m)=\alpha\). The properties of this stopping time are studied and compared to earlier results. Finally, numerical examples are given.
    0 references
    screening for defectives
    0 references
    sampling inspection
    0 references
    software testing
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references