Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000最新文献

Extending fault trees with an AND-THEN gate 用AND-THEN门扩展故障树

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885879

P. G. Wijayarathna, M. Maekawa

引用次数: 13

Software reliability and maintenance concept used for automatic call distributor MEDIO ACD 软件可靠性和维护概念用于自动呼叫分配器MEDIO ACD

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885884

M. Popovic, V. Kovacevic, M. Skrbic

引用次数: 3

Formal semantics of models for computational engineering: a case study on dynamic fault trees 计算工程模型的形式语义:以动态故障树为例

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885878

D. Coppit, K. Sullivan, J. Dugan

{"title":"Formal semantics of models for computational engineering: a case study on dynamic fault trees","authors":"D. Coppit, K. Sullivan, J. Dugan","doi":"10.1109/ISSRE.2000.885878","DOIUrl":"https://doi.org/10.1109/ISSRE.2000.885878","url":null,"abstract":"Computational modeling tools are critical to engineering. In the absence of a sufficiently complete, mathematically precise, abstract specification of the semantics of the modeling framework supported by such a tool, rigorous validation of the framework and of models built using it is impossible; there is no sound basis for program implementation, verification or documentation; the scientific foundation of the framework remains weak; and significant conceptual errors in framework definition and implementation are likely. Yet such specifications are rarely defined. We present an approach based on the use of formal specification and denotational semantics techniques from software engineering and programming language design. To illustrate the approach, we present elements of a formal semantics for a dynamic fault tree framework that promises to aid reliability analysis. No such specification of the meaning of dynamic fault trees has been defined previously. The approach revealed important shortcomings in the previous, informal definitions of the framework, and thus led to significant improvements, suggesting that formally specifying framework semantics is critical to effective framework design.","PeriodicalId":322009,"journal":{"name":"Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126257106","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}

引用次数: 75

ATACOBOL-a COBOL test coverage analysis tool and its applications 一个COBOL测试覆盖率分析工具及其应用

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885883

Sam K. S. Sze, Michael R. Lyu

引用次数: 12

Ranking software engineering measures related to reliability using expert opinion 使用专家意见对与可靠性相关的软件工程措施进行排名

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885876

Ming Li, C. Smidts, R. Brill

{"title":"Ranking software engineering measures related to reliability using expert opinion","authors":"Ming Li, C. Smidts, R. Brill","doi":"10.1109/ISSRE.2000.885876","DOIUrl":"https://doi.org/10.1109/ISSRE.2000.885876","url":null,"abstract":"The field of software engineering measurement appears to the unfamiliar eye as a chaotic environment lacking unifying principles and rigor. The number of software engineering measures developed over the years is stupefying and keeps increasing. Software engineering measures relate to multiple aspects of the software development process and product. Software development organizations typically select a small number of such software engineering measures to manage their development processes and products. The research presented in this paper is an attempt to help software development organizations identify the software engineering measures that are best predictors of software reliability. The research is based on the top 30 measures identified in an earlier study carried out by Lawrence Livermore National Laboratory (J.D. Lawrence et al., Technical Report UCRL-ID-136035, 1998). The set of ranking criteria was modified to fit the needs of the study. The score of each measure for each ranking criterion was elicited through expert opinion and then aggregated into a single score using multi-attribute utility theory. The basic aggregation scheme selected was a linear additive scheme. A comprehensive sensitivity analysis was carried out. The sensitivity analysis included variation of levels, variation of weights and variation of aggregation schemes.","PeriodicalId":322009,"journal":{"name":"Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115078111","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

On the repeatability of metric models and metrics across software builds 度量模型和跨软件构建的度量的可重复性

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885875

N. Schneidewind

{"title":"On the repeatability of metric models and metrics across software builds","authors":"N. Schneidewind","doi":"10.1109/ISSRE.2000.885875","DOIUrl":"https://doi.org/10.1109/ISSRE.2000.885875","url":null,"abstract":"We have developed various software metrics models over the years: Boolean discriminate functions (BDFs); the Kolmogorov-Smirnov distance; derivative calculations for assessing achievable quality; a stopping rule; point and confidence interval estimates of quality; relative critical value deviation metrics; and nonlinear regression functions. We would like these models and metrics to be repeatable across the n builds of a software system. The advantage of repeatability is that models and metrics only need to be developed and validated once on build, and then applied n-1 times without modification to subsequent builds, with considerable savings in analysis and computational effort. In practical terms, this approach involves using the same model parameters that were validated and applying them unchanged on subsequent builds. The disadvantage is that the quality and metrics data of builds 2, ..., n, which varies across builds, is not utilized. We make a comparison of this approach with one that involves validating models and metrics on each build i and applying them only on build i+1, and then repeating the process. The advantage of this approach is that all available data are used in the models and analysis but at considerable cost in effort. We report on experiments involving large sets of discrepancy reports and metrics data on the Space Shuttle flight software, where we compare the predictive accuracy and effort of the two approaches for BDFs, critical values, derivative quality and inspection calculations, and the stopping rule.","PeriodicalId":322009,"journal":{"name":"Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128733262","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

Planner based error recovery testing 基于计划器的错误恢复测试

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885871

A. Andrews, M. Scheetz, E. Dahlman, A. Howe

引用次数: 15

Quantitative software reliability modeling from testing to operation 从测试到运行的定量软件可靠性建模

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885862

Chin-Yu Huang, S. Kuo, J. Lo, Michael R. Lyu

引用次数: 29

Software Black Box: an alternative mechanism for failure analysis 软件黑盒:故障分析的另一种机制

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885887

Sebastian G. Elbaum, J. Munson

引用次数: 15

Structural testing of Web applications Web应用程序的结构测试

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 Pub Date : 2000-10-08 DOI: 10.1109/ISSRE.2000.885863

Chien-Hung Liu, D. Kung, P. Hsia, Chih-Tung Hsu

引用次数: 116