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

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

筛选
英文 中文
An analysis of system level software availability during test 测试期间系统级软件可用性的分析
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497678
P. Franklin
{"title":"An analysis of system level software availability during test","authors":"P. Franklin","doi":"10.1109/ISSRE.1995.497678","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497678","url":null,"abstract":"Examines some of the issues associated with measuring software availability during a system-level test. Based on a client's request, a project was asked to estimate the stability of a communications system under a heavy load. The software reliability data that was gathered measured the performance of three key communication types (call types) during the test. This paper analyzes the software failure data for these three types of calls and estimates the software failure rate and associated availability for each call type and for the system as a whole. The fact that the original product requirements did not address the issues of software reliability and software reliability growth at the outset of the project proved to have significant consequences. This paper also discusses some of the issues and lessons learned resulting from this decision, in particular the difficulties in data collection and analysis.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"58 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":"116285088","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
An additive reliability model for the analysis of modular software failure data 模块化软件故障数据分析的可加性可靠性模型
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497657
M. Xie, C. Wohlin
{"title":"An additive reliability model for the analysis of modular software failure data","authors":"M. Xie, C. Wohlin","doi":"10.1109/ISSRE.1995.497657","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497657","url":null,"abstract":"Most software reliability models are applicable to a single piece of software. For more complex systems, Markov models have been studied assuming that complete reliability information at the module level is available. We study an additive model which assumes that each subsystem or module undergoes independent testing and the reliability of the complete system has to be assessed. Subsystem reliabilities are estimated and the system reliability is assessed using the additive model. The approach is simple, but generic in a sense that existing models can be combined. An example is also presented based on the log-power-model, a model with simple graphical interpretation and it shows that the modular information should be used for system reliability assessment whenever such information is available.","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":"125613014","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}
引用次数: 67
The effect of testing on the reliability of single version and 1-out-of-2 software systems 测试对单版本和1- of-2软件系统可靠性的影响
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497661
Krassimir Djambazov, P. Popov
{"title":"The effect of testing on the reliability of single version and 1-out-of-2 software systems","authors":"Krassimir Djambazov, P. Popov","doi":"10.1109/ISSRE.1995.497661","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497661","url":null,"abstract":"Some experimental results related to the effect of testing on the reliability of software systems are presented. The experiments were performed on a simulator designed for behavioral modelling of software systems in the presence of design faults. The topics of the experiments are defined as: the influence of the testing profile on the reliability evolution of a single version system, the influence of the design faults size on the evolution of system reliability in different testing profiles and the effect of the testing strategy on the reliability of 1-out-of-2 fault-tolerant scheme. In the last topic, three testing strategies are considered: individual, in coalition and back-to-back testing.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"96 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":"134031489","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}
引用次数: 8
Defect reduction in VSE-methodology and results vse方法和结果中的缺陷减少
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497667
H. Buczilowski
{"title":"Defect reduction in VSE-methodology and results","authors":"H. Buczilowski","doi":"10.1109/ISSRE.1995.497667","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497667","url":null,"abstract":"In 1990 and 1991 activities have been defined to improve the quality of VSE, one of IBM's operating systems. As a first step, all defects of the past 10 years of the VSE supervisor have been analysed and categorized using the Orthogonal Defect Classification system. This analysis and an additional review of the development process lead to improvements in the areas of defect prevention and quality tracking. The result of these improvements is very encouraging: the defect rate of VSE has been reduced by 94% compared to 1989.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"63 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":"134148180","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
A new method for increasing the reliability of multiversion software systems using software breeding 提出了一种利用软件育种提高多版本软件系统可靠性的新方法
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497659
K. Shima, Ken-ichi Matsumoto, K. Torii
{"title":"A new method for increasing the reliability of multiversion software systems using software breeding","authors":"K. Shima, Ken-ichi Matsumoto, K. Torii","doi":"10.1109/ISSRE.1995.497659","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497659","url":null,"abstract":"The paper proposes a new method for increasing the reliability of multiversion software systems. The software using software breeding is more reliable than one using N version programming. But software breeding is not suitable for real time application because program versions are executed several times for detecting faulty modules. In the proposed method, the detection of faulty modules is performed in the background when program versions fail and the software continues the execution in the foreground. When the detection of faulty modules is finished, the combination of module versions in program versions are changed. Ten simulations, each of which executed program versions 10/sup 6/ times, were performed to analyse the effectiveness of the new method. This resulted in the reduction of the number of failures to range from 33% to 76% with an average of 56%.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"33 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":"122218827","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}
引用次数: 0
Dependable computing depends on structured fault tolerance 可靠计算依赖于结构化容错
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497654
A. Avizienis
{"title":"Dependable computing depends on structured fault tolerance","authors":"A. Avizienis","doi":"10.1109/ISSRE.1995.497654","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497654","url":null,"abstract":"Fault tolerance is a fundamental technique for the attainment of dependable computing. This paper discusses a general paradigm for the design of fault-tolerant systems and illustrates it by a design paradigm for fault-tolerant software.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"12 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":"128423786","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
Software Reliability in COTS-Based Systems 基于cots系统的软件可靠性
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497653
P. Mangan, B. Cruse, J. P. VanBlois, H. Levendel, J. Nogue
{"title":"Software Reliability in COTS-Based Systems","authors":"P. Mangan, B. Cruse, J. P. VanBlois, H. Levendel, J. Nogue","doi":"10.1109/ISSRE.1995.497653","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497653","url":null,"abstract":"During the past two or three decades military services have focused on maximizing the use of space. Budgets were big and there was little incentive for cost containment. In an era of severely reduced satellite control budgets, custom software is being replaced by commercial-off-the-shelf (COTS) products which promise to relieve the software development cost burden. What are the software reliability issues associated with COTS products for space applications and how can they be &esstxl? This panel discussion will seek to understand and characterize critical issues and risk mitigation strategies for successful incorporation of COTS products in space system ground environments.","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":"130643201","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
Hyper-geometric distribution software reliability growth model with imperfect debugging 具有不完善调试的超几何分布软件可靠性增长模型
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497658
R. Hou, S. Kuo, Yi-Ping Chang
{"title":"Hyper-geometric distribution software reliability growth model with imperfect debugging","authors":"R. Hou, S. Kuo, Yi-Ping Chang","doi":"10.1109/ISSRE.1995.497658","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497658","url":null,"abstract":"Debugging actions during the test/debug phase of software development are not always performed perfectly. That is, not all the software faults detected are perfectly removed without introducing new faults. This phenomenon is called imperfect debugging. The hyper-geometric distribution software reliability growth model (HGDM) was developed for estimating the number of software faults initially in a program. We propose an extended model based on the HGDM incorporating the notion of imperfect debugging.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"35 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":"129367809","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
On the correlation between code coverage and software reliability 论代码覆盖率与软件可靠性的关系
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497650
F. Frate, P. Garg, A. Mathur, A. Pasquini
{"title":"On the correlation between code coverage and software reliability","authors":"F. Frate, P. Garg, A. Mathur, A. Pasquini","doi":"10.1109/ISSRE.1995.497650","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497650","url":null,"abstract":"We report experiments conducted to investigate the correlation between code coverage and software reliability. Black-, decision-, and all-use-coverage measures were used. Reliability was estimated to be the probability of no failure over the given input domain defined by an operational profile. Four of the five programs were selected from a set of Unix utilities. These utilities range in size from 121 to 8857 lines of code, artificial faults were seeded manually using a fault seeding algorithm. Test data was generated randomly using a variety of operational profiles for each program. One program was selected from a suite of outer space applications. Faults seeded into this program were obtained from the faults discovered during the integration testing phase of the application. Test cases were generated randomly using the operational profile for the space application. Data obtained was graphed and analyzed to observe the relationship between code coverage and reliability. In all cases it was observed that an increase in reliability is accompanied by an increase in at least one code coverage measure. It was also observed that a decrease in reliability is accompanied by a decrease in at least one code coverage measure. Statistical correlations between coverage and reliability were found to vary between -0.1 and 0.91 for the shortest two of the five programs considered; for the remaining three programs the correlations varied from 0.89 to 0.99.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"3 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":"127850065","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}
引用次数: 76
Towards a unified approach to the testability of co-designed systems 对协同设计系统的可测试性采用统一的方法
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497668
Yves Le Traon, C. Robach
{"title":"Towards a unified approach to the testability of co-designed systems","authors":"Yves Le Traon, C. Robach","doi":"10.1109/ISSRE.1995.497668","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497668","url":null,"abstract":"The paper deals with the testability analysis of dataflow co designed systems. As a data flow specification is independent from the hardware/software implementation choice, a uniform approach may be used to evaluate the specification with respect to testability. The difficulty of generating test sets, and of detecting and diagnosing faults is discussed and estimated. We chose to use an existing hardware testability model which is suitable for data flow software specification; this model, based on information transfers, is called the Information Transfer Graph. A real case study supplied by Aerospatiale illustrates the proposed testability estimates.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"10 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":"132989078","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
首页 上一页 下一页 尾页
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学术官方微信