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

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95最新文献

筛选
英文 中文
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net 基于马尔科夫再生随机Petri网的软件年轻化分析
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497656
S. Garg, A. Puliafito, M. Telek, Kishor S. Trivedi
{"title":"Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net","authors":"S. Garg, A. Puliafito, M. Telek, Kishor S. Trivedi","doi":"10.1109/ISSRE.1995.497656","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497656","url":null,"abstract":"In a client-server type system, the server software is required to run continuously for very long periods. Due to repeated and potentially faulty usage by many clients, such software \"ages\" with time and eventually fails. (Huang et al., 1995) proposed a technique called \"software rejuvenation\" in which the software is periodically stopped and then restarted in a \"robust\" state after proper maintenance. This \"renewal\" of software prevents (or at least postpones) the crash failure. As the time lost (or the cost incurred) due to the software failure is typically more than the time lost (or the cost incurred) due to rejuvenation, the technique reduces the expected unavailability of the software. We present a quantitative analysis of software rejuvenation. The behavior of the system is represented through a Markov Regenerative Stochastic Petri Net (MRSPN) model which is solved both for steady state as well as transient conditions. We provide a closed-form analytical solution for the steady state expected down time (and the expected cost incurred) due to system unavailability. We also evaluate the optimal rejuvenation interval which minimizes the expected unavailability of the software.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122385930","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}
引用次数: 232
BNR/NORTEL: path to improve product quality, reliability and customer satisfaction BNR/NORTEL:提高产品质量、可靠性和客户满意度的途径
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497665
Walter Baziuk
{"title":"BNR/NORTEL: path to improve product quality, reliability and customer satisfaction","authors":"Walter Baziuk","doi":"10.1109/ISSRE.1995.497665","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497665","url":null,"abstract":"BNR is known throughout the world as one of the leading research and design companies in the telecommunications field. As the number of features in our product family increased, the complexity increased. The predictability of our design and delivery interval was reduced. Our products have always been considered some of the most reliable in the industry. It would be extremely difficult for us to maintain our high levels of quality and reliability if we did not have a plan to ensure this. Our corporate goal is, and has always been, to set global standards for product quality and reliability. The paper documents where we were, what we have done and outlines the path we have created to guarantee high system reliability levels. In order to win new business and keep current customers satisfied we must continually improve the reliability of our products at initial delivery. We must always, as a way of doing business, exceed our customers expectations of our products.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116152790","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}
引用次数: 24
The role of testing in the B formal development process 测试在B正式开发过程中的作用
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497644
H. Waeselynck, J.-L. Boulanger
{"title":"The role of testing in the B formal development process","authors":"H. Waeselynck, J.-L. Boulanger","doi":"10.1109/ISSRE.1995.497644","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497644","url":null,"abstract":"The B method is a formal approach covering all the software development process, through a series of proved refinement steps. An on going debate in the B community is the removal of some classical verification steps of the design, eg. unit and integration testing: the paper is aimed to support the maintenance of stringent testing policies. We first recall previous work that addresses the general question of the limits of formal methods for ultra high dependability (A. Cohn, 1989; A. Hall, 1990). Then, the discussion is focused on the case of the B method. Although the method significantly contributes to fault avoidance, it is shown that additional verifications are still required throughout the development process, whether inspections or tests.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131731394","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}
引用次数: 15
Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events 预测软件对罕见输入事件的最小危险时间和平均危险时间
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497662
J. Voas, K. Miller
{"title":"Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events","authors":"J. Voas, K. Miller","doi":"10.1109/ISSRE.1995.497662","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497662","url":null,"abstract":"The paper turns the concept of input distributions on its head to exploit inverse input distributions. Although such distributions are not always true mathematical inverses, they do capture an intuitive property: inputs that have high frequencies in the original distribution will have low frequencies in the inverse distribution, and vice versa. We can use the inverse distribution in several different quality checks during development. We provide a fault based (fault injection) method to determine minimum time to failure and mean time to failure for software systems under normal operational and non normal operational conditions (meaning rare but legal events). In our calculations, we consider how various programmer faults, design errors, and incoming hardware failures are expected to impact the observability of the software system.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123472678","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}
引用次数: 17
An approach to safety and correctness verification of software design specification 软件设计规范的安全性和正确性验证方法
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497646
Eun Mi Kim, S. Kusumoto, T. Kikuno
{"title":"An approach to safety and correctness verification of software design specification","authors":"Eun Mi Kim, S. Kusumoto, T. Kikuno","doi":"10.1109/ISSRE.1995.497646","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497646","url":null,"abstract":"We try to develop a new design review method to verify bath safety and correctness of software product simultaneously. In the proposed method, we assume that requirement specification and design specification are given, and that designers and verifiers participate to build several kinds of information tables from the specifications. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct two verification tables. One of the verification tables includes semantic information, some of which is taken from the knowledge and experience of the verifiers. Then, by comparing the items of three tables, the verifiers review a given design specification and try to detect faults in it. The information contained in the tables is relatively easily extracted from the requirement and design specifications. Finally, by applying the proposed method to the examples of software design specification, we show that faults can be detected in the design review.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"28 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123593499","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
Software reliability growth analysis: application of NHPP models and its evaluation 软件可靠性增长分析:NHPP模型的应用及其评价
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497664
Takamasa Nara, M. Nakata, Akihiro Ooishi
{"title":"Software reliability growth analysis: application of NHPP models and its evaluation","authors":"Takamasa Nara, M. Nakata, Akihiro Ooishi","doi":"10.1109/ISSRE.1995.497664","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497664","url":null,"abstract":"The paper reports the suitability and stability of the NHPP and trend curve software reliability growth models. For evaluating these characteristics, we applied these models to our actual software development projects. The study shows that NHPP model fits our projects well. Furthermore, it also suggests quality control limit curves for more effective application of these models.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130829499","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
A software reliability engineering success story. AT&T's Definity PBX 一个软件可靠性工程的成功案例。AT&T的专用电话交换机
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497675
B. Jensen
{"title":"A software reliability engineering success story. AT&T's Definity PBX","authors":"B. Jensen","doi":"10.1109/ISSRE.1995.497675","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497675","url":null,"abstract":"Over the past five years, a number of quality improvement initiatives have been completed on AT&T's Definity PBX product development process. This paper describes the quality improvement initiatives and the quality improvement results that were achieved. The new initiatives include incremental development and operational-profile, statistical testing. The quality improvement results include an increase in customer satisfaction with product quality and a decrease in development and testing costs and intervals.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131853882","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
An integrated approach for criticality prediction 临界预测的综合方法
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497639
C. Ebert, T. Liedtke
{"title":"An integrated approach for criticality prediction","authors":"C. Ebert, T. Liedtke","doi":"10.1109/ISSRE.1995.497639","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497639","url":null,"abstract":"The paper provides insight in techniques for criticality prediction as they are applied within the development of Alcatel 1000 S12 switching software. The primary goal is to identify critical components and to make failure predictions as early as possible during the life cycle and hence reduce managerial risk combined with too early or too late release. The approach is integrated in the development process and starts with complexity based criticality prediction of modules. Modules identified as overly complex are given additional tests or review efforts. Release time prediction and field performance prediction are both based on tailored ENHPP reliability models. For the complete approach of criticality prediction, recent data from the development of a switching system with around 2 MLOC is provided. The switching system is currently in operational use, thus allowing for validation and tuning of the prediction models.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115518411","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}
引用次数: 15
Software reliability engineering study of a large-scale telecommunications software system 某大型电信软件系统软件可靠性工程研究
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497677
D. Carman, A. A. Dolinsky, Michael R. Lyu, J. S. Yu
{"title":"Software reliability engineering study of a large-scale telecommunications software system","authors":"D. Carman, A. A. Dolinsky, Michael R. Lyu, J. S. Yu","doi":"10.1109/ISSRE.1995.497677","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497677","url":null,"abstract":"Software reliability is a crucial performance factor of telecommunications network elements and operational systems. This paper describes the state-of-practice software reliability engineering (SRE) methods that we selected and organized into an SRE framework for use at Bellcore. This framework comprises several SRE methods: determination of a reliability objective for a product, development and use of operational profiles, reliability modeling and estimation (prediction) to manage system testing, estimation of the product's reliability in the field, and subsequent validation of this estimate using actual field data. Reliability modeling involves assessment of several models according to their predictive accuracy and the use of the most accurate model for reliability estimation. We have successfully tested this framework on several pilot projects. As part of these projects, we tested the usefulness of three different reliability modeling tools [the Economic Stop-Test Model (ESTM), Computer-Aided Software Reliability Estimation (CASRE) and Software Reliability Modelling Programs (SRMP)], as well as several different system test time metrics. This paper describes one of these pilot projects, involving a large operational system for networks.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124415932","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}
引用次数: 20
Detection of fault-prone program modules in a very large telecommunications system 大型电信系统中易故障程序模块的检测
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497640
T. Khoshgoftaar, E. B. Allen, K. Kalaichelvan, N. Goel, J. Hudepohl, J. Mayrand
{"title":"Detection of fault-prone program modules in a very large telecommunications system","authors":"T. Khoshgoftaar, E. B. Allen, K. Kalaichelvan, N. Goel, J. Hudepohl, J. Mayrand","doi":"10.1109/ISSRE.1995.497640","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497640","url":null,"abstract":"Telecommunications software is known for its high reliability. Society has become so accustomed to reliable telecommunications, that failures can cause major disruptions. This is an experience report on application of discriminant analysis based on 20 static software product metrics, to identify fault prone modules in a large telecommunications system, so that reliability may be improved. We analyzed a sample of 2000 modules representing about 1.3 million lines of code, drawn from a much larger system. Sample modules were randomly divided into a fit data set and a test data set. We simulated utilization of the fitted model with the test data set. We found that identifying new modules and changed modules mere significant components of the discriminant model, and improved its performance. The results demonstrate that data on module reuse is a valuable input to quality models and that discriminant analysis can be a useful tool in early identification of fault prone software modules in large telecommunications systems. Model results could be used to identify those modules that would probably benefit from extra attention, and thus, reduce the risk of unexpected problems with those modules.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129411865","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}
引用次数: 36
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信