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

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

筛选
英文 中文
A micro software reliability model for prediction and test apportionment 一种用于预测和测试分配的微软件可靠性模型
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145354
M. Shooman
{"title":"A micro software reliability model for prediction and test apportionment","authors":"M. Shooman","doi":"10.1109/ISSRE.1991.145354","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145354","url":null,"abstract":"A discussion is given on a new micro model which allows reliability estimation to begin at the module test phase, continue during integration testing and carry over to field deployment. The model first decomposes the structure of the software into a set of execution paths. The failure rate of the software system is related to the frequency and time of path traversal, and the probability of encountering an error during traversal. A second stage of decomposition is necessary to relate the path reliability to the module reliabilities. In the second decomposition the failure probabilities are expressed by combinatorial expressions involving the probabilities of failure of the individual modules. Since the basic model decomposes the structure into execution paths the model can be used to apportion reliabilities and test efforts among the various execution paths. The optimum allocation is computed for a particular effort model and applied to a numerical example.<<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":"126569888","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}
引用次数: 18
A mechanical verifier for supporting the design of reliable reactive systems 用于支持可靠的反应系统设计的机械验证器
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145367
Tie-Cheng Wang, A. Goldberg
{"title":"A mechanical verifier for supporting the design of reliable reactive systems","authors":"Tie-Cheng Wang, A. Goldberg","doi":"10.1109/ISSRE.1991.145367","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145367","url":null,"abstract":"An automated verification system, Reacto-Verifier (RVF) developed for supporting the design of reliable reactive systems is described. In order to make the formal verification of large and/or complex systems tractable, RVF is enhanced by a knowledge-base manager, a proof manager, and a dependency maintenance procedure. The knowledge base manager supports a flexible use of a large set of axioms and rules derived from the domain theory of the specification language. The proof manager helps handle verification failure and supports off-line development of proofs. The dependency maintenance procedure permits the user to trace the history of a derivation and supports efficient addition and/or retraction of assumptions. RVF can be used both for batch-style automated verification, and for incremental development of verified programs.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"60 2 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":"130885238","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}
引用次数: 9
Comparative analysis of concurrent fault tolerance techniques for real-time applications 实时应用中并发容错技术的比较分析
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145381
F. Belli, P. Jędrzejowicz
{"title":"Comparative analysis of concurrent fault tolerance techniques for real-time applications","authors":"F. Belli, P. Jędrzejowicz","doi":"10.1109/ISSRE.1991.145381","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145381","url":null,"abstract":"Consensus recovery block scheme and concurrent recovery scheme may become useful for real-time applications as they consider concurrency and time efficiency. The authors compare the performance of both techniques in terms of the times they consume to achieve software fault tolerance. For this purpose a simple model is used and analysed which simulates different real-time situations.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"6 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":"129806736","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}
引用次数: 9
The influence of syntactic and semantic errors on the quality of software 语法和语义错误对软件质量的影响
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145348
T. Dogsa, I. Rozman
{"title":"The influence of syntactic and semantic errors on the quality of software","authors":"T. Dogsa, I. Rozman","doi":"10.1109/ISSRE.1991.145348","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145348","url":null,"abstract":"Does it make any sense to count unsuccessful compilations? For what purpose can this be used? The authors describe an experiment showing that the number of unsuccessful compilations correlates with the number of failures. Problems with data collecting are also addressed. An overview is given of past research, previous experiments with error factors are discussed and the instantaneous programmer capability in the coding phase is defined.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"37 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":"129088357","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}
引用次数: 1
Software reliability practices at Cray Research Inc 克雷研究公司的软件可靠性实践
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145371
D. Adams
{"title":"Software reliability practices at Cray Research Inc","authors":"D. Adams","doi":"10.1109/ISSRE.1991.145371","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145371","url":null,"abstract":"Cray Research Inc. is using the Poisson-type models proposed by A.C. Goel (1985), K. Okumoto (1985), J.D. Musa (1987), M. Obah (1984). Because the processes fail to conform to these models, they have been of little use in predicting software reliability or failure intensity for products which have yet to be released. This led to the search for non-parametric or non-model dependent approaches. Using sequential analysis Cray have been able to test hypotheses by comparing an unspecified model to a true homogeneous Poisson process operating at a target rate.<<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":"122978996","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
A data collection environment for software reliability research 软件可靠性研究的数据采集环境
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145362
A. Andrews, J. Keables
{"title":"A data collection environment for software reliability research","authors":"A. Andrews, J. Keables","doi":"10.1109/ISSRE.1991.145362","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145362","url":null,"abstract":"With software being used in more critical applications, software reliability engineering (SRE) is an increasingly important field of software engineering. Collecting data for software reliability research, however, is difficult. Software projects do not always collect data that is complete or consistent enough for SRM research. In addition, reliability data is very sensitive. Corporations are reluctant to provide it to outside parties for use in research. The authors describe ongoing research at IIT and their approach to data collection for software reliability research. They have developed a data collection package that can be used by people who may be interested in donating software reliability data. In addition, they are developing a simulation environment for use in software reliability research. The environment is, in essence, a laboratory in which to conduct software reliability experiments.<<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":"126794137","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
EDF: a formalism for describing and reusing software experience EDF:描述和重用软件体验的一种形式
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145363
Pablo A. Straub, E. Ostertag
{"title":"EDF: a formalism for describing and reusing software experience","authors":"Pablo A. Straub, E. Ostertag","doi":"10.1109/ISSRE.1991.145363","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145363","url":null,"abstract":"One approach to achieve high levels of reuse of software experience is to create a database with information on software products, processes, and measurements. The authors present the Extensible Description Formalism (EDF), a language to describe these databases. EDF is a generalization of the faceted index approach to classification. Objects in EDF can be described in terms of different sets of facets and other object descriptions. Classification schemes are easy to extend by adding new attributes or refining existing ones. EDF has been implemented and used to classify a large software library. The authors present the EDF approach to classification; the development of a classification of data structure operations and packages; and a software defect classification scheme used to describe, explain, and predict defects in data structure packages.<<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":"124685471","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}
引用次数: 6
Metrics evaluation of software reliability growth models 软件可靠性增长模型的度量评估
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145373
Francis C. L. Chan, P. Dasiewicz, R. Seviora
{"title":"Metrics evaluation of software reliability growth models","authors":"Francis C. L. Chan, P. Dasiewicz, R. Seviora","doi":"10.1109/ISSRE.1991.145373","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145373","url":null,"abstract":"Numerous software reliability growth models have been proposed. The authors present three metrics which have been helpful in assessing the applicability and predictive validity of these models. These metrics are the relative fitting error metric, the short term predictive validity metric and the long term predictive validity metric. The application of these three metrics is illustrated on estimation of field reliability of telecommunication switching systems.<<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":"130851636","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}
引用次数: 6
Parameter estimation of the hyper-geometric distribution model for real test/debug data 真实测试/调试数据超几何分布模型的参数估计
Proceedings. 1991 International Symposium on Software Reliability Engineering Pub Date : 1991-05-17 DOI: 10.1109/ISSRE.1991.145350
Y. Tohma, Hisashi Yamano, Morio Ohba, R. Jacoby
{"title":"Parameter estimation of the hyper-geometric distribution model for real test/debug data","authors":"Y. Tohma, Hisashi Yamano, Morio Ohba, R. Jacoby","doi":"10.1109/ISSRE.1991.145350","DOIUrl":"https://doi.org/10.1109/ISSRE.1991.145350","url":null,"abstract":"The hyper-geometric distribution model (HGDM) has been proposed for estimating the number of faults initially resident in a program at the beginning of the test/debug process. However, the parameters of the hyper-geometric distribution necessary for making the estimation were previously determined by the 3-dimensional exhaustive search and therefore, much time was needed to get the numerical result. The authors demonstrate, using real test/debug data of programs, that the least square sum method can be well applied to the estimation of such parameters of the hyper-geometric distribution model. Thus, the time needed for calculating the estimates can be reduced greatly.<<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":"124481276","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}
引用次数: 28
首页 上一页
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学术官方微信