{"title":"Realistic assumptions for software reliability models","authors":"David Zeitler","doi":"10.1109/ISSRE.1991.145356","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145356","url":null,"abstract":"A definition of reliability appropriate for systems containing significant software that includes trustworthiness and is independent of requirements is stated and argued for. The systems addressed encompass the entire product development process as well as both product and its documentation. Cost incurred as a result of faults are shown to be appropriate as a performance measurement for this definition. This and more realistic assumptions are shown to lead to the use of auto-regressive integrated moving average (ARIMA) mathematical models for the modeling of reliability growth.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126142131","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Prediction of software reliability using neural networks","authors":"N. Karunanithi, Y. Malaiya, L. D. Whitley","doi":"10.1109/ISSRE.1991.145366","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145366","url":null,"abstract":"Software reliability growth models have achieved considerable importance in estimating reliability of software products. The authors explore the use of feed-forward neural networks as a model for software reliability growth prediction. To empirically evaluate the predictive capability of this new approach, data sets from different software projects are used. The neural networks approach exhibits a consistent behavior in prediction and the predictive performance is comparable to that of parametric models.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"356 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123212293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A framework for selecting system design metrics","authors":"C. Ebert, A. Riegg","doi":"10.1109/ISSRE.1991.145347","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145347","url":null,"abstract":"Specification and design have a decisive influence over the quality of software systems. The article is based on a classification of design aspects. Design decisions that determine the design and specification products are derived by a selection process according to the functional specification and a set of non-functional constraints. The techniques of a CASE tool as a constructive approach and those of software metrics as an analytic approach have been combined to support quality management early in the development process.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123374558","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On some reliability estimation problems in random and partition testing","authors":"M. Tsoukalas, J. Duran, S. Ntafos","doi":"10.1109/ISSRE.1991.145380","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145380","url":null,"abstract":"Random testing is receiving increasing attention in recent years. Aside from its relative simplicity and low cost, studies have shown that random testing is an effective testing strategy. An advantage of random testing is that the reliability of the program can be estimated from the test outcomes. The authors extend the Thayer-Lipow-Nelson reliability model to account for the cost of errors. They also compare random with partition testing by looking at upper confidence bounds for the cost weighted performance of the two strategies.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125953868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Timing errors in real-time systems and their detection","authors":"J. Tsai, Yao-Dong Bi","doi":"10.1109/ISSRE.1991.145365","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145365","url":null,"abstract":"Most real-time applications require a high degree of reliability. Past research efforts have not fully addressed issues peculiar to real-time systems. Recently much attention has been focused on formal methods to verify timing properties of real-time systems. Despite the contribution of these formal methods, the dynamic method for analyzing timing properties is still necessary because of the inherent limitations of formal methods and imperfect program execution environment. The authors present a dynamic timing analysis method for identifying the causes of timing errors in real-time systems.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123550043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A survey of software reliability measurement tools","authors":"G. Stark","doi":"10.1109/ISSRE.1991.145361","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145361","url":null,"abstract":"The results are given of a survey of software reliability measurement tools performed for the American Institute of Aeronautics and Astronautics (AIAA) Space Based Observation Systems (SBOS) Committee on Standards (COS). This survey is part of an effort to develop a standard for software reliability measurement. Surveys were completed on four tools. This information is presented, along with partial information on three other known tools. The need for critical evaluation and review of these tools is stressed and a brief description of planned work in this area is presented.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133848847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Reliability models for very large software systems in industry","authors":"W. Jones","doi":"10.1109/ISSRE.1991.145351","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145351","url":null,"abstract":"BNR, the R&D subsidiary of Northern Telecom and Bell Canada, has one of the largest software systems in the world, with code libraries exceeding 8 million source lines of a high level language. This software is used in the high-end digital switching systems that Northern Telecom markets. Software reliability methods are applied to a major subset of this software to determine if the total number of customer-perceived failures and actual software faults can be predicted before or soon after a new release of such a system. These predictions are based on pre-customer testing ( alpha and beta ) and small field trials. Many of the existing reliability models and methods of parameter estimation currently demonstrated in the literature are compared.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123714526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quality assurance experience data base","authors":"Michel Defamie, P. Jacobs, Christian Jacques","doi":"10.1109/ISSRE.1991.145370","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145370","url":null,"abstract":"An outline is given of a method and a tool developed to ensure permanent software quality evaluation and to create an experience database for future quality assurance tasks. The authors mainly focus on the benefits of using such a tool and its evolution in an industrial environment for global quality assurance of multisite large-scale software projects.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127707329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A new Markov model of N version programming systems","authors":"K. Goseva-Popstojanova","doi":"10.1109/ISSRE.1991.145382","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145382","url":null,"abstract":"Reliability performance modeling of N version programming is given. The study is based on continuous time Markov model for the general case of N versions. Derived mathematical relations between reliability performances (as a function of version execution time) and modeling parameters enable us to gain a great deal of quantitative results. The obtained results can be used to guide a design of actual systems.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117003561","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Software reliability model selection: a cast study","authors":"T. Khoshgoftaar, T. Woodcock","doi":"10.1109/ISSRE.1991.145378","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145378","url":null,"abstract":"Predicting the remaining errors in a software system historically has been difficult to do with accuracy. The models used to predict future events have often worked well on one system or collection of data, and not at all well on another. Much of the recent work in the software reliability field has been on model selection and identifying which model would work well with which software system. The Akaike Information Criterion can be used to select the best model from among several models. A case study is given of an application of this technique to an ongoing software project. The Akaike Information Criterion was used to select the best model for a system and then that model was used to predict the number of remaining errors.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133978955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}