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

Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering最新文献

筛选
英文 中文
Connecting test coverage to software dependability 将测试覆盖率与软件可靠性联系起来
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341368
D. Hamlet
{"title":"Connecting test coverage to software dependability","authors":"D. Hamlet","doi":"10.1109/ISSRE.1994.341368","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341368","url":null,"abstract":"It is widely felt that software quality in the form of reliability or \"trustworthiness\", can be demonstrated by the successful completion of testing that \"covers\" the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software \"dependability\" are suggested, along with new approaches for measuring this analogy of trustworthiness.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121226753","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
Assessment of a sampling method for measuring safety-critical software reliability 用于测量安全关键软件可靠性的抽样方法的评估
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341358
F. Bastani, A. Pasquini
{"title":"Assessment of a sampling method for measuring safety-critical software reliability","authors":"F. Bastani, A. Pasquini","doi":"10.1109/ISSRE.1994.341358","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341358","url":null,"abstract":"The paper addresses the issue of using sampling to assess the reliability of safety-critical software. Several factors are considered, such as the number of test cases required, modifications in the program, determining the operational profile, generating test cases, and checking the correctness of the output. The problems are classified into two broad categories: those that can be overcome via advances in technology and those that are more fundamental in nature. The general conclusion is that, in principle, a combination of testing and verification will be successful in measuring ultrahigh software reliability.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116277748","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
System reliability policy at Motorola Codex 摩托罗拉食品法典公司的系统可靠性政策
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341389
Alex Elentukh
{"title":"System reliability policy at Motorola Codex","authors":"Alex Elentukh","doi":"10.1109/ISSRE.1994.341389","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341389","url":null,"abstract":"The paper describes the Motorola Codex experience of establishing a company-wide system reliability policy. It outlines the consistent policy requirements for each project, as well as the method for assessing the project maturity from the system reliability point of view. Practical numerical results are provided. It could serve as a guide for quality and reliability practitioners implementing similar policies.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122651551","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
Assessing the dynamic strength of software systems using interference analysis 利用干扰分析评估软件系统的动态强度
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341401
James O. Wilder
{"title":"Assessing the dynamic strength of software systems using interference analysis","authors":"James O. Wilder","doi":"10.1109/ISSRE.1994.341401","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341401","url":null,"abstract":"The concept of dynamic strength is closely related to reliability: the probability that a software system does not encounter a latent fault during execution. Dynamic strength is assessed by analyzing the interference between the execution profile, a probability density for system size, and the composite static strength distributions. Composite static strength is the sum of the relative software complexity metrics of each of the system's software modules. Composite static strength is a density function with size as the variate. Latent faults occur in the region of interference when the execution distribution exceeds a critical level of the strength distribution. An important relationship between the execution profile and strength distributions is characterized by the return period function.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126093030","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
Sensitivity of field failure intensity to operational profile errors 现场故障强度对操作剖面误差的敏感性
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341399
J. Musa
{"title":"Sensitivity of field failure intensity to operational profile errors","authors":"J. Musa","doi":"10.1109/ISSRE.1994.341399","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341399","url":null,"abstract":"Sensitivity of field failure intensity estimates to operational profile occurrence probability errors is investigated. This is an important issue in software reliability engineering, because these estimates enter into many development decisions. Sensitivity was computed for 59,200 sets of conditions, spread over a wide range. For 99.4% of these points, the failure intensity was very robust with respect to occurrence probability errors, the error in failure intensity being more than a factor of 5 smaller than the occurrence probability error. Thus projects do not have to spend extra effort to obtain high precision in measuring the operational profile, nor do they need to worry about moderate changes in system usage with time.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124486926","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}
引用次数: 60
On input profile selection for software testing 关于软件测试输入配置文件的选择
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341374
Michael Naixin Li, Y. Malaiya
{"title":"On input profile selection for software testing","authors":"Michael Naixin Li, Y. Malaiya","doi":"10.1109/ISSRE.1994.341374","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341374","url":null,"abstract":"Analyzes the effect of input profile selection on software testing using the concept of a fault detectability profile. The optimality of the input profile during testing depends on factors such as the planned testing effort and the fault detectability profile. To achieve ultra-reliable software, it is preferable to select the test input uniformly among the different input domains. On the other hand, if the testing effort is limited due to cost or schedule constraints, one should test only the highly used input domains. Use of an operational profile is also needed for the accurate determination of operational reliability.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133562864","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}
引用次数: 35
V&V in defense and commercial projects 国防和商业项目的V&V
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341357
H. Hecht, M. Hecht
{"title":"V&V in defense and commercial projects","authors":"H. Hecht, M. Hecht","doi":"10.1109/ISSRE.1994.341357","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341357","url":null,"abstract":"Verification and validation activities in defense projects are compared with those in the nuclear power plant industry. A significant difference is that in most defense projects the V&V effort is funded directly by the sponsor whereas in the nuclear power industry the major responsibility for V&V resides with the developer. This may cause a shift in V&V emphasis from early life cycle stages (in defense) to later phases (in the nuclear power industry). The paper shows that there are sufficient similarities to make development of dual use technologies possible.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124873959","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
An exploratory analysis of system test data 对系统测试数据进行探索性分析
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341344
R. Follenweider, R. Karcich, G. Knafl
{"title":"An exploratory analysis of system test data","authors":"R. Follenweider, R. Karcich, G. Knafl","doi":"10.1109/ISSRE.1994.341344","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341344","url":null,"abstract":"We conduct an exploratory data analysis of a specific system test data set that includes concomitant variables measuring aspects of test effort as well as the failure count and time variables considered in standard software reliability analyses. We consider a family of Poisson process models for which failure rates may depend on time as well as on the test effort variables. We analyze failure rates computed from this test data using least squares parameter estimation and model selection via the predicted residual sum of squares (PRESS).<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129404199","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
Modelling an imperfect debugging phenomenon with testing effort 用测试努力对不完美的调试现象建模
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341371
P. K. Kapur, P. S. Grover, S. Younes
{"title":"Modelling an imperfect debugging phenomenon with testing effort","authors":"P. K. Kapur, P. S. Grover, S. Younes","doi":"10.1109/ISSRE.1994.341371","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341371","url":null,"abstract":"A software reliability growth model (SRGM) based on non-homogeneous Poisson processes (NHPP) is developed. The model describes the relationship between the calendar time, the testing effort consumption and the error removal process under an imperfect debugging environment. The role of learning (gaining experience) with the progress of the testing phase is taken into consideration by assuming that the imperfect debugging probability is dependent on the current software error content. The model has the in-built flexibility of representing a wide range of growth curves. The model can be used to plan the amount of testing effort required to achieve a pre-determined target in terms of the number of errors removed in a given span of time.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115924791","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
FIABILOG: a software reliability tool and its application to space projects FIABILOG:软件可靠性工具及其在空间项目中的应用
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341391
F. Vallée, A. Ragot
{"title":"FIABILOG: a software reliability tool and its application to space projects","authors":"F. Vallée, A. Ragot","doi":"10.1109/ISSRE.1994.341391","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341391","url":null,"abstract":"To support project managers in reliability evaluation, the company Mathix has developed a tool named Fiabilog. Fiabilog can be used for any software from the test phase onwards and would be of interest to anyone involved in software debugging, validation or maintenance. The CNES (French Spatial Agency) has chosen Fiabilog to analyze software reliability during the development and operational phases. The main features of Fiabilog are described, as well as the results of data analysis undertaken on two actual space projects. With tools and industrial applications, the software reliability engineering is entering a new era.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124812508","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
首页 上一页 下一页 尾页
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学术官方微信