Proceedings The Eighth International Symposium on Software Reliability Engineering最新文献_第4页

Program segmentation for controlling test coverage 用于控制测试覆盖率的程序分段

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630849

F. Belli, Javier Dreyer

{"title":"Program segmentation for controlling test coverage","authors":"F. Belli, Javier Dreyer","doi":"10.1109/ISSRE.1997.630849","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630849","url":null,"abstract":"We present a new control flow based approach to dynamic testing of sequential software. A practicable number of test cases is generated by using the boundary interior path testing strategy (J.B. Goodenough and S.L. Gerhard, 1975) and by dividing the test units into test segments (program fragments composed of one statement or a sequence of statements). The size of the test segments can be adjusted by means of a parameter, i.e. the thoroughness of the test coverage can be adapted to the needs of the tester. The selection of test cases is performed by constructing path classes for each test segment. The coverage criteria constructed by means of our approach (test segment coverage criteria) are fulfilled if at least one path from each path class is covered. A validation of our approach is given by comparing the fault detection capabilities of test segment coverage criteria with the fault detection capabilities of branch testing, multiple condition testing, LCSAJ testing and all-uses testing using n test cases for each item (e.g. branch) to be covered. The comparison demonstrates that, compared with the other testing criteria, greater fault detection probabilities can be achieved if a test segment coverage criterion is used.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125910827","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

Empirical performance analysis of computer-supported code-reviews 计算机支持的代码审查的实证性能分析

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630871

F. Belli, R. Crisan

{"title":"Empirical performance analysis of computer-supported code-reviews","authors":"F. Belli, R. Crisan","doi":"10.1109/ISSRE.1997.630871","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630871","url":null,"abstract":"Checklist-based code-reviews have been generally accepted as valuable means for software development and management. In order to overcome shortcomings of manual reviewing techniques, such as high costs and lack of systematization, we have already developed and implemented a knowledge-based approach for semi-automation of some steps of individual code-reviews based on checklists. The aim of this paper is to evaluate the performance of our approach for code-reviews. Therefore, two independent groups of reviewers were analyzing the same piece of code (conventional C-programs developed in the automotive industry for gear unit control), where one of the groups deployed the semi-automated approach and the other group used the traditional manual technique. The resulting empirical data were analyzed by means of software metrics and software reliability modeling. Metrics specific to review processes, e.g. average review rate, average preparation rate, etc. were adapted for our knowledge-based methodology in order to capture the particularities of our approach. The results of these empirical investigations are compared with other methods (e.g. statistical, plan-based scenario-based) for reviews' computer support.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116762240","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

Software metrics model for integrating quality control and prediction 用于集成质量控制和预测的软件度量模型

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630888

N. Schneidewind

{"title":"Software metrics model for integrating quality control and prediction","authors":"N. Schneidewind","doi":"10.1109/ISSRE.1997.630888","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630888","url":null,"abstract":"A model is developed that is used to validate and apply metrics for quality control and quality prediction, with the objective of using metrics as early indicators of software quality problems. Metrics and quality factor data from the Space Shuttle flight software are used as an example. Our approach is to integrate quality control and prediction in a single model and to validate metrics with respect to a quality factor. Boolean discriminant functions (BDFs) were developed for use in the quality control and quality prediction process. BDFs provide good accuracy for classifying low quality software because they include additional information for discriminating quality: critical values. Critical values are threshold values of metrics that are used to either accept or reject modules when the modules are inspected during the quality control process. A series of nonparametric statistical methods is also used in the method presented. It is important to perform a marginal analysis when making a decision about how many metrics to use in the quality control and prediction process. We found that certain metrics are dominant in their effects on classifying quality and that additional metrics are not needed to accurately classify quality. This effect is called dominance. Related to the property of dominance is the property of concordance, which is the degree to which a set of metrics produces the same result in classifying software quality. A high value of concordance implies that additional metrics will not make a significant contribution to accurately classifying quality; hence, these metrics are redundant.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126561421","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}

引用次数: 58

Detection of response time failures of real-time software 实时软件响应时间故障检测

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630846

B. Pekilis, R. Seviora

{"title":"Detection of response time failures of real-time software","authors":"B. Pekilis, R. Seviora","doi":"10.1109/ISSRE.1997.630846","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630846","url":null,"abstract":"Classical software reliability research has tended to focus on behavioral type failures which typically manifest themselves as incorrect or missing outputs. In real time software, a correct output which is not produced within a specified response time interval may also constitute a failure. As a result, response time failures must also be taken into account when real time software reliability is assessed. The paper considers the case where the detection of response times failures is done by a separate unit which observes the inputs and outputs of the target software. Automatic detection of such failures is complicated by state dependencies which require the unit to track a target's state as well as the elapsed times between specified stimulus and response pairs. A novel black box approach is described for detecting response time failures and quality of service degradations of session oriented, real time software. The behavior of the target software is assumed to be specified in a formalism based on the notion of communicating extended finite state machines. The response time failure detection unit implemented independently of the target software, interprets a formal model derived directly from the target's requirement specifications. The model is used both to track the state of the target and to determine when to start and stop time interval timing measurements. Measurements of multiple response time intervals may occur simultaneously. The approach was evaluated on the call processing program of a small telephone exchange. Some results of the evaluation are presented and discussed.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"211 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132383766","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

Hierarchical supervisors for automatic detection of software failures 用于自动检测软件故障的分层监控器

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630847

T. Savor, R. Seviora

{"title":"Hierarchical supervisors for automatic detection of software failures","authors":"T. Savor, R. Seviora","doi":"10.1109/ISSRE.1997.630847","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630847","url":null,"abstract":"Software supervision is an approach to the automatic detection of software failures. A supervisor observes the inputs and outputs of a target system. It uses a model of correct behavior, derived from the target system's requirement specification. Discrepancies between specified and observed behaviors are reported as failures. Applications of the supervisor include online failure detection in real time reactive systems, fault localization and automatic collection of failure data. The paper describes a hierarchical approach to supervision. The approach differs from previous approaches in that supervision is split into two sub problems: tracking the behavior of the target system and detailed behavior checking. The architecture of the hierarchical supervisor has two layers: the path detection layer and the base supervisor layer. The hierarchical approach results in a significant reduction in computational cost arising from specification nondeterminism. The approach was evaluated by supervising the call processing software of a small telephone exchange, executed under random telephone traffic at different loads. Several thousand failures were individually seeded into the output generated by the exchange. The supervisor was able to detect the presence of all seeded failures. Reductions in computational cost of several orders of magnitude were measured in comparison with the direct, single layer supervisor.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116246948","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

Statistical quality control: how to detect unreliable software components 统计质量控制:如何检测不可靠的软件组件

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630843

H. Stieber

引用次数: 31

Xept: a software instrumentation method for exception handling Xept:用于异常处理的软件插装方法

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630848

Kiem-Phong Vo, Yi-Min Wang, P. Chung, Yennun Huang

引用次数: 27

Analysis of a software reliability growth model with logistic testing-effort function 具有逻辑测试努力函数的软件可靠性增长模型分析

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630886

Chin-Yu Huang, S. Kuo, Ing-Yi Chen

{"title":"Analysis of a software reliability growth model with logistic testing-effort function","authors":"Chin-Yu Huang, S. Kuo, Ing-Yi Chen","doi":"10.1109/ISSRE.1997.630886","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630886","url":null,"abstract":"We investigate a software reliability growth model (SRGM) based on the Non Homogeneous Poisson Process (NHPP) which incorporates a logistic testing effort function. Software reliability growth models proposed in the literature incorporate the amount of testing effort spent on software testing which can be described by an exponential curve, a Rayleigh curve, or a Weibull curve. However it may not be reasonable to represent the consumption curve for testing effort only by an exponential, a Rayleigh or a Weibull curve in various software development environments. Therefore, we show that a logistic testing effort function can be expressed as a software development/test effort curve and give a reasonable predictive capability for the real failure data. Parameters are estimated and experiments on three actual test/debug data sets are illustrated. The results show that the software reliability growth model with logistic testing effort function can estimate the number of initial faults better than the model with Weibull type consumption curve. In addition, the optimal release policy of this model based on cost reliability criterion is discussed.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133379007","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}

引用次数: 84

Testing strategies for form-based visual programs 基于表单的可视化程序的测试策略

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630851

G. Rothermel, Lixin Li, M. Burnett

引用次数: 36

Effect of class testing on the reliability of object-oriented programs 类测试对面向对象程序可靠性的影响

Proceedings The Eighth International Symposium on Software Reliability Engineering Pub Date : 1997-11-02 DOI: 10.1109/ISSRE.1997.630876

Mei-Hwa Chen, H. M. Kao

{"title":"Effect of class testing on the reliability of object-oriented programs","authors":"Mei-Hwa Chen, H. M. Kao","doi":"10.1109/ISSRE.1997.630876","DOIUrl":"https://doi.org/10.1109/ISSRE.1997.630876","url":null,"abstract":"Although object-oriented programming has been increasingly adopted for software development and many approaches for testing object-oriented programs have been proposed, the issue of reliability of object-oriented programs has not been explored. The objective of this study was to investigate the effectiveness of class testing from the perspective of reliability. The experiments in this study involved testing and measuring the reliability of a C++ program and a Java program. We introduced a class testing technique that exploits the function dependence relationship to reduce the testing effort in subclass testing and in testing polymorphism without degrading the reliability of object-oriented programs. In subclass testing, the impact of function dependence class testing on reliability was compared with two other techniques: exhaustive class testing, which flattens every class and tests every function in the class; and minimal class testing, which tests only new and re-defined functions. The results show that function dependence class testing preserves the same level of program reliability as does exhaustive class testing, while the effort is significant reduced. In polymorphism testing, we conducted an experiment to observe the relationship between the binding coverage and the reliability of the program. The results suggest that testing possible bindings is necessary, and using the function dependence relationship to determine which bindings to cover in testing is sufficient.","PeriodicalId":170184,"journal":{"name":"Proceedings The Eighth International Symposium on Software Reliability Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128055382","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}

引用次数: 14