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

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

筛选
英文 中文
A framework for reliability estimation 可靠性估计的框架
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341343
Denise M. Woit
{"title":"A framework for reliability estimation","authors":"Denise M. Woit","doi":"10.1109/ISSRE.1994.341343","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341343","url":null,"abstract":"We present a framework for reliability estimation for software modules. The framework comprises methods and tools relating not only to calculating the reliability estimates, but also for specifying and creating the operational profiles and random test cases upon which the estimations are based.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"254 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":"115861817","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
A generalized software reliability process simulation technique and tool 一种通用的软件可靠性过程仿真技术和工具
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341385
R. Tausworthe, Michael R. Lyu
{"title":"A generalized software reliability process simulation technique and tool","authors":"R. Tausworthe, Michael R. Lyu","doi":"10.1109/ISSRE.1994.341385","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341385","url":null,"abstract":"The paper describes the structure and rationale of the generalized software reliability process and a set of simulation techniques that may be applied for the purpose of software reliability modeling. These techniques establish a convenient means for studying a realistic, end-to-end software life cycle that includes intricate subprocess interdependencies, multiple defect categories, many factors of influence, and schedule and resource dependencies, subject to only a few fundamental assumptions, such as the independence of causes of failures. The goals of this research are dual: first, to generate data for truly satisfying the simplified assumptions of various existing models for the purpose of studying their comparative merits, and second, to enable these models to extend their merits to a less idealized, more realistic reliability life cycle. This simulation technique has been applied to data from a spacecraft project at the Jet Propulsion Laboratory; results indicate that the simulation technique potentially may lead to more accurate tracking and more timely prediction of software reliability than obtainable from analytic modeling techniques.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"35 4 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":"114075306","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
The Automatic Efficient Test Generator (AETG) system 自动高效测试发生器(AETG)系统
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341392
D. Cohen, S. Dalal, A. Kajla, G. Patton
{"title":"The Automatic Efficient Test Generator (AETG) system","authors":"D. Cohen, S. Dalal, A. Kajla, G. Patton","doi":"10.1109/ISSRE.1994.341392","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341392","url":null,"abstract":"Software testing is expensive, tedious and time consuming. Thus, the problem of making testing more efficient and mechanical, without losing its effectiveness, is very important. The Automatic Efficient Test Generator (AETG) is a new tool that mechanically generates efficient test sets from user defined test requirements. It is based on algorithms that use ideas from statistical experimental design theory to minimize the number of tests needed for a specific level of test coverage of the input test space. The savings due to AETG are substantial when compared to exhaustive testing or other methods of testing. AETG has been used in Bellcore for screen testing, interoperability testing and for protocol conformance testing. The paper describes the current system and it constructs and reports some preliminary results obtained during initial trials.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"74 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":"122388250","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}
引用次数: 136
A case study to investigate sensitivity of reliability estimates to errors in operational profile 用实例研究了可靠性估计对运行剖面误差的敏感性
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341387
Mei-Hwa Chen, A. Mathur, V. Rego
{"title":"A case study to investigate sensitivity of reliability estimates to errors in operational profile","authors":"Mei-Hwa Chen, A. Mathur, V. Rego","doi":"10.1109/ISSRE.1994.341387","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341387","url":null,"abstract":"We report a case study to investigate the effect of errors in an operational profile on reliability estimates. A previously reported tool named TERSE was used in this study to generate random flow graphs representing programs, model errors in operational profile, and compute reliability estimates. Four models for reliability estimation were considered: the Musa-Okumoto model, the Goel-Okumoto model, coverage enhanced Musa-Okumoto model, and coverage enhanced Goel-Okumoto model. It was found that the error in reliability estimates from these models grows nonlinearly with errors in operational profile. Results from this case study lend credit to the argument that further research is necessary in development of more robust models for reliability estimation.<<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":"124573356","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}
引用次数: 41
More efficient software testing through the application of design of experiments (DOE) 通过应用实验设计(DOE)实现更高效的软件测试
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341395
Tim Raske, M. Marietta
{"title":"More efficient software testing through the application of design of experiments (DOE)","authors":"Tim Raske, M. Marietta","doi":"10.1109/ISSRE.1994.341395","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341395","url":null,"abstract":"The paper presents one application of the design of experiments techniques to the software test of a thrust vector control system similar to those used in space booster vehicles and upper stages. Traditionally, testing similar control systems has involved substantial investments in time to test all the components of the system and large quantities of engineering experience to make critical choices. The use of design of experiments methods still requires a thorough understanding of the system under test, but significant gains (demonstrated as high as 10:1) may be made in terms of analytical run reduction with the same or greater level of confidence in the completeness of the testing and hence software reliability.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"16 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":"129502122","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 impact of software product dissimilarity on software quality models 论软件产品差异性对软件质量模型的影响
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341360
T. Khoshgoftaar, D. Lanning
{"title":"On the impact of software product dissimilarity on software quality models","authors":"T. Khoshgoftaar, D. Lanning","doi":"10.1109/ISSRE.1994.341360","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341360","url":null,"abstract":"The current software market favors software development organizations that apply software quality models. Software engineers fit quality models to data collected from past projects. Predictions from these models provide guidance in setting schedules and allocating resources for new and ongoing development projects. To improve model stability and predictive quality, engineers select models from the orthogonal linear combinations produced using principal components analysis. However, recent research revealed that the principal components underlying source code measures are not necessarily stable across software products. Thus, the principal components underlying the product used to fit a regression model can vary from the principal components underlying the product for which we desire predictions. We investigate the impact of this principal components instability on the predictive quality of regression models. To achieve this, we apply an analytical technique for accessing the aptness of a given model to a particular application.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"7 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":"134121298","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
Mutation analysis testing for finite state machines 有限状态机的突变分析测试
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341378
S. Fabbri, M. Delamaro, J. Maldonado, P. Masiero
{"title":"Mutation analysis testing for finite state machines","authors":"S. Fabbri, M. Delamaro, J. Maldonado, P. Masiero","doi":"10.1109/ISSRE.1994.341378","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341378","url":null,"abstract":"Proposes the application of the mutation analysis criterion in the context of specifications based on finite state machines. The main concepts of finite state machines and mutation analysis are briefly introduced. An experiment is reported which manually applies mutation analysis to a finite state machine modeling a Class 0 ISO transport protocol specification, using two test-sequence generator criteria-the W method and the TT (transition tours) method. The results obtained are presented, and evidences are given that the use of mutation analysis is effective in this context. Finally, the lines of evolution of the work presented in this paper are briefly discussed.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"26 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":"114234921","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}
引用次数: 97
Temporal complexity and software faults 时间复杂性和软件故障
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341361
F. Anger, J. Munson, R. V. Rodríguez
{"title":"Temporal complexity and software faults","authors":"F. Anger, J. Munson, R. V. Rodríguez","doi":"10.1109/ISSRE.1994.341361","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341361","url":null,"abstract":"Software developers use complexity metrics to predict development costs before embarking on a project and to estimate the likelihood of faults once the system is built. Traditional measures, however, were designed principally for sequential programs, providing little insight into the added complexity of concurrent systems or increased demands of real-time systems. For the purpose of predicting cost and effort of development, the CoCoMo model considers factors such as real-time and other performance requirements; for fault prediction, however, most complexity metrics are silent on concurrency. An outline for developing a measure of what we term temporal complexity, including significant and encouraging results of preliminary validation, is presented. 13 standard measures of software complexity are shown to define only two distinct domains of variance in module characteristics. Two new domains of variance are uncovered through 6 out of 10 proposed measures of temporal complexity. The new domains are shown to have predictive value in the modeling of software faults.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"291 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":"116527891","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
Effect of test set size and block coverage on the fault detection effectiveness 测试集大小和块覆盖率对故障检测有效性的影响
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341379
W. E. Wong, J. R. Horgan, S. London, A. Mathur
{"title":"Effect of test set size and block coverage on the fault detection effectiveness","authors":"W. E. Wong, J. R. Horgan, S. London, A. Mathur","doi":"10.1109/ISSRE.1994.341379","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341379","url":null,"abstract":"Size and code coverage are two important attributes that characterize a set of tests. When a program P is executed on elements of a test set T, we can observe the fault-detecting capacity of T for P. We can also observe the degree to which T induces code coverage on P according to some coverage criterion. We would like to know whether it is the size of T or the coverage of T on P which determines the fault detection effectiveness (FDE) of T for P. We found that there is little or no reduction in the FDE of a test set when its size is reduced while the all-uses coverage is kept constant. These data suggest, indirectly, that coverage is more correlated than the size with the FDE. To further investigate this suggestion, we report an empirical study to compare the statistical correlation between (1) FDE and coverage, and (2) FDE and the size. Results from our experiments indicate that the correlation between FDE and block coverage is higher than that between FDE and size.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"28 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":"127734881","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}
引用次数: 96
Testing synchronous critical software 测试同步关键软件
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI: 10.1109/ISSRE.1994.341380
F. Ouabdesselam, I. Parissis
{"title":"Testing synchronous critical software","authors":"F. Ouabdesselam, I. Parissis","doi":"10.1109/ISSRE.1994.341380","DOIUrl":"https://doi.org/10.1109/ISSRE.1994.341380","url":null,"abstract":"Three approaches to the problem of testing synchronous critical software are presented, based on the data-flow language LUSTRE. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment into a constrained random generator of test data sequences. The second approach consists in analyzing the required safety properties (written in LUSTRE) of the software. This analysis may result, in specific cases, in automatic generators of relevant test data. The third approach considers that LUSTRE is used for the implementation of the software. The usual structure-based testing criteria are adapted to the operator net associated with the LUSTRE nodes. Moreover, an automatic test data generation process is described for this last approach using LESAR, a tool designed to automatically prove the satisfaction of safety properties on LUSTRE programs.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"48 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":"124940801","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}
引用次数: 32
首页 上一页 下一页 尾页
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学术官方微信