File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: A procedure for complete fault detection with a removal process

TitleA procedure for complete fault detection with a removal process
Authors
Fang, XWatson, RYan, WYip, PSF
KeywordsApproximation
Error probability
Exponential distribution
Simulation
Stopping rule
Issue Date2003
PublisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/jspi
Citation
Journal Of Statistical Planning And Inference, 2003, v. 117 n. 1, p. 1-14 How to Cite?
DOI: http://dx.doi.org/10.1016/S0378-3758(02)00363-4
AbstractDebugging software often involves a removal process: the process of detection and removal of faults from a program. This paper gives an efficient procedure to detect all faults in a software item with high probability. The procedure is such that at any step the probability of leaving just one fault is equal to some specified value, α: the probability of leaving more than one fault is much smaller. It is found that, after eliminating the risk of early stopping, the probability of incomplete detection is then only slightly greater than α. The performance of the proposed procedure is demonstrated by simulation and by application to a real example. © 2002 Elsevier B.V. All rights reserved.
Persistent Identifierhttp://hdl.handle.net/10722/82826
ISSN
0378-3758
2021 Impact Factor: 1.095
2020 SCImago Journal Rankings: 0.622
ISI Accession Number ID
WOS:000185152800001
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorFang, Xen_HK
dc.contributor.authorWatson, Ren_HK
dc.contributor.authorYan, Wen_HK
dc.contributor.authorYip, PSFen_HK
dc.date.accessioned2010-09-06T08:33:51Z-
dc.date.available2010-09-06T08:33:51Z-
dc.date.issued2003en_HK
dc.identifier.citationJournal Of Statistical Planning And Inference, 2003, v. 117 n. 1, p. 1-14en_HK
dc.identifier.issn0378-3758en_HK
dc.identifier.urihttp://hdl.handle.net/10722/82826-
dc.description.abstractDebugging software often involves a removal process: the process of detection and removal of faults from a program. This paper gives an efficient procedure to detect all faults in a software item with high probability. The procedure is such that at any step the probability of leaving just one fault is equal to some specified value, α: the probability of leaving more than one fault is much smaller. It is found that, after eliminating the risk of early stopping, the probability of incomplete detection is then only slightly greater than α. The performance of the proposed procedure is demonstrated by simulation and by application to a real example. © 2002 Elsevier B.V. All rights reserved.en_HK
dc.languageengen_HK
dc.publisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/jspien_HK
dc.relation.ispartofJournal of Statistical Planning and Inferenceen_HK
dc.subjectApproximationen_HK
dc.subjectError probabilityen_HK
dc.subjectExponential distributionen_HK
dc.subjectSimulationen_HK
dc.subjectStopping ruleen_HK
dc.titleA procedure for complete fault detection with a removal processen_HK
dc.typeArticleen_HK
dc.identifier.emailYip, PSF: sfpyip@hku.hken_HK
dc.identifier.authorityYip, PSF=rp00596en_HK
dc.description.naturelink_to_subscribed_fulltext-
dc.identifier.doi10.1016/S0378-3758(02)00363-4en_HK
dc.identifier.scopuseid_2-s2.0-0042012786en_HK
dc.identifier.hkuros82556en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0042012786&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume117en_HK
dc.identifier.issue1en_HK
dc.identifier.spage1en_HK
dc.identifier.epage14en_HK
dc.identifier.isiWOS:000185152800001-
dc.publisher.placeNetherlandsen_HK
dc.identifier.scopusauthoridFang, X=7401433115en_HK
dc.identifier.scopusauthoridWatson, R=7403653677en_HK
dc.identifier.scopusauthoridYan, W=36763693500en_HK
dc.identifier.scopusauthoridYip, PSF=7102503720en_HK
dc.identifier.issnl0378-3758-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats