Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering最新文献

Automatic failure detection with Conditional-Belief supervisors 条件信念监督的自动故障检测

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558672

J. J. Li, R. Seviora

{"title":"Automatic failure detection with Conditional-Belief supervisors","authors":"J. J. Li, R. Seviora","doi":"10.1109/ISSRE.1996.558672","DOIUrl":"https://doi.org/10.1109/ISSRE.1996.558672","url":null,"abstract":"Failures of a software system are detected by a supervisor, a separate unit which observes the inputs and outputs of the system and reports its failures in real-time. The supervisor determines whether a failure has occurred by comparing the observed and the specified behavior. The specification of behavior is assumed to be expressed in a formalism based on communicating extended finite state machines (specifically, ITU-T SDL). The supervisor must tolerate legal behavioral alternatives resulting from nondeterminisms in the specification. The computational costs of considering such alternatives can be fairly high. The paper presents the Conditional-Belief (CB) theory that reduces the cost of consideration of alternatives by using conditional-beliefs to represent sets of legal behavioral alternatives. The paper reviews belief-based supervision, introduces the CB theory, and outlines an algorithm for conversion of a class of SDL specification to a CB supervisor model. It describes a demonstration system developed to evaluate CB supervision, and summarizes failure detection and computational cost results for the supervisor of the control program of a small telephone exchange.","PeriodicalId":441362,"journal":{"name":"Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering","volume":"49 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114127735","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}

引用次数: 16

Comparing disk and memory's resistance to operating system crashes 比较磁盘和内存对操作系统崩溃的抵抗力

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558792

Wee Teck Ng, Christopher M. Aycock, Gurushankar Rajamani, Peter M. Chen

{"title":"Comparing disk and memory's resistance to operating system crashes","authors":"Wee Teck Ng, Christopher M. Aycock, Gurushankar Rajamani, Peter M. Chen","doi":"10.1109/ISSRE.1996.558792","DOIUrl":"https://doi.org/10.1109/ISSRE.1996.558792","url":null,"abstract":"Memory is commonly viewed as an unreliable place to store permanent data (files) because it is perceived to be vulnerable to system crashes. Yet despite all the negative implications of memory's unreliability, no data exists that quantifies how vulnerable memory actually is to system crashes. This paper quantitatively compares the vulnerability of disk and memory to operating system crashes. We use software fault injection to induce a wide variety of operating system crashes in DEC Alpha workstations running Digital Unix, ranging from bit errors in the kernel stack to deleting branch instructions to C-level allocation management errors. We find that files on disk are rarely corrupted (1.1% corruption rate), which agrees with our intuition. We also find that, surprisingly files in memory are nearly as safe as files on disk. Only 10 of the 650 crashes we observed (1.5%) corrupt any files in memory. Our data contradicts the common assumption that operating system crashes often corrupt files in memory and suggests that memory can be used to store permanent data rather than needing to write it back to disk.","PeriodicalId":441362,"journal":{"name":"Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129676538","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}

引用次数: 16

Validating software architectures for high reliability 验证软件架构的高可靠性

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558800

W. K. Ehrlich, R. Chan, W. J. Donnelly, H. Park, M. Saltzman, P. Verma

引用次数: 0

Deploying SRE in Your Organization or Company 在您的组织或公司中部署SRE

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558894

A. A. Dolinsky, David Rentschler, S. Steele, John A. Teresinski, Jim Widmaier

引用次数: 0

Integrating metrics and models for software risk assessment 为软件风险评估集成度量和模型

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558707

J. Hudepohl, S. Aud, T. Khoshgoftaar, E. B. Allen, J. Mayrand

引用次数: 21

On reducing the sensitivity of software reliability to variations in the operational profile 降低软件可靠性对操作剖面变化的敏感性

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558694

B. Cukic, F. Bastani

引用次数: 30

Using fault injection to increase software test coverage 使用故障注入来增加软件测试覆盖率

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558776

J. Bieman, D. Dreilinger, Lijun Lin

引用次数: 50

Assessing the reliability impacts of software fault-tolerance mechanisms 评估软件容错机制对可靠性的影响

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558711

V. Mendiratta

引用次数: 8

Sensitivity of reliability growth models to operational profile errors 可靠性增长模型对操作剖面误差的敏感性

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558688

A. Pasquini, A. Crespo, Paolo Matrella

{"title":"Sensitivity of reliability growth models to operational profile errors","authors":"A. Pasquini, A. Crespo, Paolo Matrella","doi":"10.1109/ISSRE.1996.558688","DOIUrl":"https://doi.org/10.1109/ISSRE.1996.558688","url":null,"abstract":"The estimation of the operational profile is one of the key factors during the use of software reliability growth models. However, the operational profile can be very difficult to estimate in particular applications such as software used for process control. In other cases, a single operational profile may not be sufficient to describe the use of the product by a number of different customers. An operational profile may also change during the development of software or during its operational usage. All these cases may lead to errors in the estimation of the operational profile. The paper describes an empirical evaluation of the sensitivity of reliability growth models to errors in the estimation of the operational profiles. Some reliability growth models are applied during the testing phase of a software system. The particular characteristics of the case study allow the measurement of the actual reliability growth of the software and its comparison with the estimations provided by the models. Measurement and comparison are repeated for different operational profiles giving information about the effect of a possible error in the estimation of the operational profile. Results show that errors in the operational profile estimation do not heavily affect reliability estimates and that their influence is strongly dependent on the accuracy with which the software system has been tested.","PeriodicalId":441362,"journal":{"name":"Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125492607","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

Automatic test generation for predicates 自动生成谓词的测试

Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering Pub Date : 1996-10-30 DOI: 10.1109/ISSRE.1996.558700

A. Paradkar, K. Tai, M. Vouk

引用次数: 36