{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T09:12:09Z","timestamp":1698225129359},"reference-count":25,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4686,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper an approach to reliability prediction and estimation of Prolog programs is proposed. Two complexity measures describing Prolog programs are introduced. Values of the two measures are used, subsequently, to predict the reliability of Prolog programs before testing and in the early testing stages, and further, to estimate the reliability as a function of time, in order to determine whether the reliability objective is achieved. The proposed reliability determination approach is based on previous work (Azem <jats:italic>et al.<\/jats:italic>, 1993), extending the prediction approach used therein through modification of the complexity measures and providing an estimation approach. It leads to improvements in the quality of predictions and estimations with respect to software reliability characteristics. The proposed approach is implemented in a reliability assessment environment, which also includes several well\u2010known software reliability models for comparison purposes.<\/jats:p>","DOI":"10.1002\/stvr.4370040403","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:02:44Z","timestamp":1163779364000},"page":"203-222","source":"Crossref","is-referenced-by-count":2,"title":["Determining the reliability of prolog programs"],"prefix":"10.1002","volume":"4","author":[{"given":"Alireza","family":"Azem","sequence":"first","affiliation":[]},{"given":"Fevzi","family":"Belli","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Adams D. C.(1991) \u2018Software reliability practices at Cray Research Inc. \u2019 In Proceedings of the IEEE 2nd International Symposium on Software Reliability Engineering (ISSRE91) pp.152\u2013156.","DOI":"10.1109\/ISSRE.1991.145371"},{"key":"e_1_2_1_3_1","unstructured":"Azem A. Belli F.andJack O. (1993) \u2018Implementation\u2010oriented testing and reliability determination of Prolog programs \u2019 InProceedings of the 5th International Conference on Software Engineering and Knowledge Engineering San Francisco Bay U.S.A. pp.526\u2013533."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"key":"e_1_2_1_5_1","unstructured":"Boehm B. W. Brown J. R.andLipow M. (1976) \u2018Quantitative evaluation of software quality \u2019 InProceedings of the 2nd International Conference on Software Engineering San Francisco U.S.A. pp.592\u2013605."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.85458"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97005-4"},{"key":"e_1_2_1_8_1","volume-title":"Software Metrics: a Rigorous Approach","author":"Fenton N. E.","year":"1991"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220566"},{"key":"e_1_2_1_10_1","volume-title":"IEEE Standard Dictionary of Measures to Produce Reliable Software","author":"IEEE","year":"1989"},{"key":"e_1_2_1_11_1","volume-title":"IEEE Standard Glossary of Software Engineering Terminology","author":"IEEE","year":"1991"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-266950-7.50028-1"},{"key":"e_1_2_1_13_1","unstructured":"Kamundi I. (1993) \u2018An approach to validation of assumptions made by metric\u2010based reliability modelling for logic programs \u2019 Technical report Department of Electrical and Electronics Engineering Softwer and Knowledge Engineering Univeristy of Paderborn. Paderborn Germany."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010203"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1974.5215217"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"e_1_2_1_17_1","unstructured":"Moranda P. B.(1975) \u2018Prediction of software reliability during debugging \u2019 In Proceedings of the 1975 Annual Reliability and Maintainability Symposium Washington DC U.S.A. pp.327\u2013332."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312856"},{"key":"e_1_2_1_19_1","volume-title":"Software Reliability: Measurement, Prediction, Application","author":"Musa J. D.","year":"1987"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194092000051"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231481"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-266950-7.50029-3"},{"key":"e_1_2_1_23_1","unstructured":"Shooman M. L.(1976) \u2018Structural models for software reliability prediction \u2019 InProceedings of the 2nd International Conference on Software Engineering San Francisco U.S.A. pp.268\u2013280."},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1145\/800038.801015","volume-title":"Software Engineering: Design, Reliability and Management","author":"Shooman M. L.","year":"1983"},{"key":"e_1_2_1_25_1","unstructured":"Winter M. (1992) \u2018Zuverl\u00e1ssigkeit logischer Programme\u2010Eine probabilistische Untersuchung \u2019 Technical report Department of Electrical and Electronics Engineering Software and Knowledge Engineering University of Paderborn Paderborn Germany."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1984.5221826"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370040403","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370040403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T15:39:36Z","timestamp":1698161976000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370040403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/stvr.4370040403"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370040403","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}