{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T07:11:42Z","timestamp":1717312302839},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2014,9,4]],"date-time":"2014-09-04T00:00:00Z","timestamp":1409788800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2014,10]]},"abstract":"<jats:p>The original software reliability demonstration test (SRDT) does not take adequate account of prior knowledge or the prior distribution, which can lead to an expensive use of many resources. In the current paper, we propose a new improved Bayesian based SRDT method. We begin by constructing a framework for the SRDT scheme, then we use decreasing functions to construct the prior distribution density functions for both discrete and continuous safety-critical software, and then present schemes for both discrete and continuous Bayesian software demonstration functions (which we call DBSDF and CBSDF, respectively). We have carried out a set of experiments comparing our new schemes with the classic demonstration testing scheme on several published data sets. The results reveal that the DBSDF and CBSDF schemes are both more efficient and more applicable, and this is especially the case for safety-critical software with high reliability requirements.<\/jats:p>","DOI":"10.1017\/s0960129513000789","type":"journal-article","created":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:08:51Z","timestamp":1409875731000},"source":"Crossref","is-referenced-by-count":1,"title":["Bayesian theory based software reliability demonstration test method for safety critical software"],"prefix":"10.1017","volume":"24","author":[{"given":"YUMEI","family":"WU","sequence":"first","affiliation":[]},{"given":"RISHENG","family":"YANG","sequence":"additional","affiliation":[]},{"given":"HAIFENG","family":"LI","sequence":"additional","affiliation":[]},{"given":"MINYA","family":"LU","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,9,4]]},"reference":[{"key":"S0960129513000789_ref4","first-page":"66","volume-title":"The estimation of reliability parameters without failure data","author":"Han","year":"2004"},{"key":"S0960129513000789_ref17","first-page":"161","article-title":"Research on safety evaluation of high dependable software","volume":"25","author":"Yang","year":"2004","journal-title":"Computer Engineering and Design"},{"key":"S0960129513000789_ref1","doi-asserted-by":"crossref","unstructured":"Cukic B. and Chakravarthy D. (2000) Bayesian framework for reliability assurance of a deployed safety critical system. In: Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering 321\u2013329.","DOI":"10.1109\/HASE.2000.895477"},{"key":"S0960129513000789_ref11","first-page":"202","article-title":"Reliability demonstration testing method for continuous execution software (in Chinese)","volume":"32","author":"Qin","year":"2005","journal-title":"Computer Science"},{"key":"S0960129513000789_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1972.tb00885.x","article-title":"Bayes estimation for the linear model","volume":"34","author":"Lindley","year":"1972","journal-title":"Journal of the Royal Statistical Society"},{"key":"S0960129513000789_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/24.963127"},{"key":"S0960129513000789_ref2","unstructured":"Department of Defense (1996) Reliability test methods, plans, and environments for engineering, development qualification, and production. Military Handbook MIL-HDBK-781A, Department of Defense, United States of America."},{"key":"S0960129513000789_ref14","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1638(200001\/02)16:1<59::AID-QRE277>3.0.CO;2-V"},{"key":"S0960129513000789_ref10","doi-asserted-by":"crossref","unstructured":"Qin Z. , Chen H. and Shi Y. (2008) Reliability demonstration testing method for safety-critical embedded applications software. Proceedings of International Conference on Embedded Software and Systems 481\u2013487.","DOI":"10.1109\/ICESS.2008.76"},{"key":"S0960129513000789_ref12","first-page":"334","article-title":"Study on the reliability demonstration testing method for safety-critical software","volume":"26","author":"Qin","year":"2005","journal-title":"ACTA Aeronautica et Astronautica Sinica"},{"key":"S0960129513000789_ref3","volume-title":"Handbook of Statistics 25: Bayesian Thinking: Modeling and Computation","author":"Dey","year":"2005"},{"key":"S0960129513000789_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.120314"},{"key":"S0960129513000789_ref7","volume-title":"Handbook of Software Reliability Engineering","author":"Lyu","year":"1996"},{"key":"S0960129513000789_ref16","volume-title":"Software reliability-TRW Series of Software Technology","author":"Thayer","year":"1978"},{"key":"S0960129513000789_ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.637384"},{"key":"S0960129513000789_ref9","first-page":"442","article-title":"Research on safety testing and evaluation technology of safety critical software (in Chinese)","volume":"27","author":"Qin","year":"2004","journal-title":"Chinese journal of computers"},{"key":"S0960129513000789_ref13","unstructured":"Rahrouh M. N. (2005) Bayesian zero-failure reliability demonstration, University of Durham."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129513000789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T06:57:13Z","timestamp":1717311433000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129513000789\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,4]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["S0960129513000789"],"URL":"https:\/\/doi.org\/10.1017\/s0960129513000789","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,4]]},"article-number":"e240508"}}