发布求助
文献互助 智能选刊 最新文献

Proceedings. 1991 International Symposium on Software Reliability Engineering最新文献

筛选
英文 中文
Formal specifications and reliability: an experimental study 形式规范与可靠性:一项实验研究
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145368
A. Goel, S. N. Sahoo
{"title":"Formal specifications and reliability: an experimental study","authors":"A. Goel, S. N. Sahoo","doi":"10.1109/ISSRE.1991.145368","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145368","url":null,"abstract":"An experimental study was undertaken to assess the improvement in program quality by using formal specifications. Specifications in the Z notation were developed for a simple but realistic anti-missile system. These specifications were then used to develop two versions in C by two programmers. Another set of three versions in Ada were independently developed from informal specifications in English. A comparison of the reliability of the resulting programs suggests the advantages of using formal specifications in terms of number of errors detected. Also, several errors that have been known to occur in earlier experiments dealing with this system were avoided by the use of formal specifications.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"400 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":"120886430","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}
引用次数: 5
Safety arguments, software and system reliability 安全论证，软件和系统可靠性
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145352
J. Mcdermid
{"title":"Safety arguments, software and system reliability","authors":"J. Mcdermid","doi":"10.1109/ISSRE.1991.145352","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145352","url":null,"abstract":"The aim is to discuss the nature of safety arguments to consider the role of system and software reliability evaluation in these arguments, and to outline an approach to supporting the development of safety arguments. The author reviews some existing work addressing the problems of evaluating systems to high levels of reliability such as 10/sup -9/ failures per hour using 'black box' testing. He also considers ways of achieving confidence beyond testable levels through the use of prior beliefs and discusses some approaches to achieving strong prior beliefs. He uses these possible approaches to illustrate a canonical form for representing (safety) arguments, and to outline the characteristics of a tool which he is constructing for safety argument management.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"62 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":"123759659","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}
引用次数: 11
Poisson processes with nearly constant failure intensity 失效强度几乎恒定的泊松过程
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145355
G. Knafl, J. Sacks
{"title":"Poisson processes with nearly constant failure intensity","authors":"G. Knafl, J. Sacks","doi":"10.1109/ISSRE.1991.145355","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145355","url":null,"abstract":"Poisson processes with failure intensity functions that are approximately constant are investigated. Maximum likelihood estimation procedures are used to estimate the failure intensity for a fixed level of approximation. The level of approximation is chosen through an adaptation of crossvalidation. Since model performance changes with time, the authors utilize a procedure that adaptively selects models over time. The predictive performance of such an adaptive procedure based on selection from among three nonparametric models is compared to that of the logarithmic Poisson and the exponential Poisson models for two software reliability data sets.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"68 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":"130165581","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}
引用次数: 5
On the determination of optimum software release time 软件最佳发布时间的确定
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145384
M. Xie
{"title":"On the determination of optimum software release time","authors":"M. Xie","doi":"10.1109/ISSRE.1991.145384","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145384","url":null,"abstract":"One of the important applications of software reliability models is the determination of software release time. The author presents some software release policies and discusses the problem of determination of optimum test time. Both reliability requirements and cost models are considered in obtaining specific release policies. It is noted that acceptable failure intensity should be used as a reliability goal and optimum release policy should be based on sequential approach. Some other interesting software release policies are also reviewed.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"9 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":"127746158","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}
引用次数: 13
Validating software metrics: producing quality discriminators 验证软件度量:产生质量鉴别器
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145385
N. Schneidewind
{"title":"Validating software metrics: producing quality discriminators","authors":"N. Schneidewind","doi":"10.1109/ISSRE.1991.145385","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145385","url":null,"abstract":"The author proposes a comprehensive metrics validation methodology that has six validation criteria, each of which supports certain quality functions. New criteria are defined and illustrated, including consistency, discrimination power, tracking, and repeatability. He shows that certain nonparametric statistical methods like contingency tables play an important role in evaluating metrics against the validity criteria. A detailed example emphasizing the discriminative power validity criterion is presented.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"325 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":"114064738","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}
引用次数: 13
Practical applications of software reliability models 软件可靠性模型的实际应用
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145358
R. Karcich, Y. Levendel, B. Jensen, R. Tausworthe, T. Keller, J. Gaffney
{"title":"Practical applications of software reliability models","authors":"R. Karcich, Y. Levendel, B. Jensen, R. Tausworthe, T. Keller, J. Gaffney","doi":"10.1109/ISSRE.1991.145358","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145358","url":null,"abstract":"A discussion is given on the use of software reliability models to guide engineering and management decisions on projects involving software. The focus is on experiences with using various software reliability models on actual projects, e.g. PBX project, space shuttle and software process control.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"49 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":"116006062","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}
引用次数: 2
How faults cause software failures: implications for software reliability engineering 故障是如何导致软件故障的:对软件可靠性工程的启示
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145386
W. K. Ehrlich, A. Iannino, Bala Prasanna, J. Stampfel, Jar R. Wu
{"title":"How faults cause software failures: implications for software reliability engineering","authors":"W. K. Ehrlich, A. Iannino, Bala Prasanna, J. Stampfel, Jar R. Wu","doi":"10.1109/ISSRE.1991.145386","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145386","url":null,"abstract":"Software systems typically contain design and code defects that manifest themselves as software failures at various points during program execution. These software faults can be viewed as causing failures to occur according to some chance mechanism that is often taken to be a Poisson process. Individual per-fault failure sequences (resulting from delayed fault detection and software correction) during test execution were analyzed to determine whether they satisfied Poisson process assumptions. The system analyzed, a large, complex, industrial software system, was executed under a defined operational profile corresponding to a controlled command and autonomous event mix characteristic of the system's actual usage. The failure events, defined as severe, system-wide affecting events attributed to software faults, typically occurred following many cycles of interacting system features in the expected user mode. Execution times between failure events were calculated and then statistically analyzed for conformance to Poisson process assumptions. The results indicated that first-time failure events conformed to the assumptions of a Poisson process and were consistent with a reliability growth Poisson model but that per-fault failure sequences attributed to specific faults tended to violate Poisson assumptions due to failure clustering.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"22 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":"124054472","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}
引用次数: 12
The use of software complexity metrics in software reliability modeling 软件复杂性度量在软件可靠性建模中的应用
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145346
J. Munson, T. Khoshgoftaar
{"title":"The use of software complexity metrics in software reliability modeling","authors":"J. Munson, T. Khoshgoftaar","doi":"10.1109/ISSRE.1991.145346","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145346","url":null,"abstract":"The central theme of the study is the creation of a suitable complexity measure for use in software reliability models. Factor analytic techniques are employed to reduce the dimensionality of the complexity problem space to produce a set of reduced metrics. The reduced metrics are subsequently combined into a single relative complexity measure. Program complexity varies dynamically as a function of inputs to the system. Hence, the notion of relative complexity is extended to a dynamic or functional complexity metric for use in proposed modifications to existing reliability models.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"60 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":"130298249","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}
引用次数: 39
Reliability evaluation using NHPP models 基于NHPP模型的可靠性评估
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145372
F. Vallée, A. Ragot
{"title":"Reliability evaluation using NHPP models","authors":"F. Vallée, A. Ragot","doi":"10.1109/ISSRE.1991.145372","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145372","url":null,"abstract":"Many papers have been written on the theory of software reliability, and as many specific models described for evaluating it. Recent years have seen a trend toward a more global approach, though. The authors show how the non homogeneous Poisson process (NHPP) approach can be applied to the industrial world, The French space agency (CNES) has used this approach in studying one of its ground segment programs, and has concluded in favor of using different models for evaluating software in its qualification and operational phases. NHPP was also found to generate predictions that were accurate enough to justify using it in space application software.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"5 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":"128080367","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}
引用次数: 4
A heuristic approach for software reliability prediction: the equally-weighted linear combination model 软件可靠性预测的一种启发式方法:等权线性组合模型
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145376
Michael R. Lyu, A. Nikora
{"title":"A heuristic approach for software reliability prediction: the equally-weighted linear combination model","authors":"Michael R. Lyu, A. Nikora","doi":"10.1109/ISSRE.1991.145376","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145376","url":null,"abstract":"A heuristic approach is given to addressing the software reliability modeling problem. The heuristic approach is based on a linear combination of three popular software reliability models. A simple, predetermined combination is suggested by assigning equal weights to each component model for the final delivery of the software reliability prediction. In a preliminary examination, this equally-weighted linear combination (ELC) model is judged to perform well when applied to three published software failure data sets. The authors further present five other sets of software failure data taken from major projects at the Jet Propulsion Laboratory, and apply the ELC model as well as six other popular models for a detailed comparison and evaluation. The evaluation results indicate that the proposed ELC Model not only performs better than all the other models by a wide margin, but also enjoys favorable properties that practitioners would like to see in their software reliability modeling practices. These properties include: simplicity, low-risk, ease of application, and insensitivity to data noise.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"56 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":"132265333","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}
引用次数: 25
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信