2006 17th International Symposium on Software Reliability Engineering最新文献_第2页

Queuing Models for Field Defect Resolution Process 现场缺陷解决过程的排队模型

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.38

S. Gokhale, R. Mullen

{"title":"Queuing Models for Field Defect Resolution Process","authors":"S. Gokhale, R. Mullen","doi":"10.1109/ISSRE.2006.38","DOIUrl":"https://doi.org/10.1109/ISSRE.2006.38","url":null,"abstract":"This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. Initially, we provide a detailed description of the states a defect traverses from find to fix and a definition and justification of mean time to resolution as a useful process metric. We consider the effect of queuing system structures, priority levels and priority disciplines on the differential mean times to resolution of defects of different severities. We find that modeling the defect resolution capacity of a software engineering group as n identical M/M/1 servers provides a flexible and realistic approximation to the queuing behavior of four different organizations. We consider three queuing disciplines. Though purely preemptive and non-preemptive priority disciplines may be suited for other groups, our data was best fit by a mixed discipline, one in which only the most severe defects preempt ongoing service activities of lesser severities. We provide two examples of the utility of such a model: given the reasonable assumption that the most severe defects have the highest impact on reliability, we find that the reduction of the resolution time for these defects must come from changes reducing the service time. On the other hand the effect of additional engineering resources on the resolution time of less severe defects is easily computed and can be significant","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115286613","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}

引用次数: 20

Effectively Combining Software Verification Strategies: Understanding Different Assumptions 有效地结合软件验证策略:理解不同的假设

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.24

David Owen, Dejan Desovski, B. Cukic

{"title":"Effectively Combining Software Verification Strategies: Understanding Different Assumptions","authors":"David Owen, Dejan Desovski, B. Cukic","doi":"10.1109/ISSRE.2006.24","DOIUrl":"https://doi.org/10.1109/ISSRE.2006.24","url":null,"abstract":"In this paper we describe an experiment in which inconsistent results between two tools for testing formal models (and a third used to determine which of the two was correct) led us to a more careful look at the way each tool was being used and a clearer understanding of the output of the tools. For the experiment, we created error-seeded versions of an SCR specification representing a real-world personnel access control system. They were checked using the model checker SPIN and Lurch, our random testing tool for finite-state models. In one case a property violation was detected by Lurch, an incomplete tool, but missed by SPIN, a model checking tool designed for complete verification. We used the SCR Toolset and the Salsa invariant checker to determine that the violation detected by Lurch was indeed present in the specification. We then looked more carefully at how we were using SPIN in conjunction with the SCR Toolset and, eventually, made adjustments so that SPIN also detected the property violation initially detected only by Lurch. Once it was clear the tools were being used correctly and would give consistent results, we did an experiment to determine how they could be combined to optimize completeness and efficiency. We found that combining tools made it possible to verify the specifications faster and with much less memory in most cases","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115528255","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}

引用次数: 7

Measuring and Enhancing Prediction Capabilities of Vulnerability Discovery Models for Apache and IIS HTTP Servers Apache和IIS HTTP服务器漏洞发现模型预测能力的度量和增强

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.26

Omar H. Alhazmi, Y. Malaiya

{"title":"Measuring and Enhancing Prediction Capabilities of Vulnerability Discovery Models for Apache and IIS HTTP Servers","authors":"Omar H. Alhazmi, Y. Malaiya","doi":"10.1109/ISSRE.2006.26","DOIUrl":"https://doi.org/10.1109/ISSRE.2006.26","url":null,"abstract":"The prediction of the number of vulnerabilities in an HTTP server can allow us to evaluate the security risk associated with its use. Vulnerability discovery models have recently been proposed which can be used to estimate the future number of vulnerabilities expected to be discovered. A detailed analysis of the prediction capabilities of two models termed AML and LVD for the vulnerabilities in the two major HTTP servers is presented. Four complete data sets for Apache and US are used, representing an open source and a commercial Web server respectively. Both long term predictions involving several years and short term predictions for the following year are considered. Potential methods for enhancing the prediction accuracy are considered. The results show good predictive capabilities of the AML model when constraints are used for estimating the model parameters. The LVD model works well in some special cases when saturation has not yet set in. The results can be used by both developers to plan the test and maintenance effort needed and by users to assess the potential security risks associated with a specific server","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130293864","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}

引用次数: 40

Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs 具有重启、重试、重启和修复的基于组件的软件系统的可靠性和性能

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.39

V. Sharma, Kishor S. Trivedi

{"title":"Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs","authors":"V. Sharma, Kishor S. Trivedi","doi":"10.1109/ISSRE.2006.39","DOIUrl":"https://doi.org/10.1109/ISSRE.2006.39","url":null,"abstract":"High reliability and performance are vital for software systems handling diverse mission critical applications. Such software systems are usually component based and may possess multiple levels of fault recovery. A number of parameters, including the software architecture, behavior of individual components, underlying hardware, and the fault recovery measures, affect the behavior of such systems, and there is a need for an approach to study them. In this paper we present an integrated approach for modeling and analysis of component based systems with multiple levels of failures and fault recovery both at the software, as well as the hardware level. The approach is useful to analyze attributes such as overall reliability, performance, and machine availabilities for such systems, wherein failures may happen at the software components, the operating system, or at the hardware, and corresponding restarts, retries, reboots or repairs are used for mitigation. Our approach encompasses Markov chain, and queueing network modeling, for estimating system reliability, machine availabilities and performance. The approach is helpful for designing and building better systems and also while improving existing systems","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"1982 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134019713","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}

引用次数: 29

Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes 基于度量的非齐次泊松过程软件可靠性模型

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.28

K. Shibata, K. Rinsaka, T. Dohi

{"title":"Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes","authors":"K. Shibata, K. Rinsaka, T. Dohi","doi":"10.1109/ISSRE.2006.28","DOIUrl":"https://doi.org/10.1109/ISSRE.2006.28","url":null,"abstract":"The traditional software reliability models aim to describe the temporal behavior of software fault-detection processes with only the fault data, but fail to incorporate some significant test-metrics data observed in software testing. In this paper we develop a useful modeling framework to assess the quantitative software reliability with time-dependent covariate as well as software-fault data. The basic ideas employed here are to introduce the discrete proportional hazard model on a cumulative Bernoulli trial process, and to represent a generalized fault-detection processes having time-dependent covariate structure. The resulting stochastic models are regarded as combinations of the proportional hazard models and the familiar non-homogeneous Poisson processes. We compare these metrics-based software reliability models with some typical non-homogeneous Poisson process models, and evaluate quantitatively both goodness-of-fit and predictive performances from the viewpoint of information criteria. As an important result, the accuracy on reliability assessment strongly depends on the kind of software metrics used for analysis and can be improved by incorporating time-dependent metrics data in modeling","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117292874","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}

引用次数: 52

On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach 软件测试中故障排除的作用——贝叶斯可靠性估计方法

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.33

H. Okamura, Hitoshi Furumura, T. Dohi

引用次数: 14

Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation 评估软件断言与故障之间的关系:一项实证调查

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.14

Gunnar Kudrjavets, Nachiappan Nagappan, T. Ball

引用次数: 53

Detecting Redundant Unit Tests for AspectJ Programs 检测AspectJ程序的冗余单元测试

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/issre.2006.21

Tao Xie, Jianjun Zhao, D. Marinov, D. Notkin

{"title":"Detecting Redundant Unit Tests for AspectJ Programs","authors":"Tao Xie, Jianjun Zhao, D. Marinov, D. Notkin","doi":"10.1109/issre.2006.21","DOIUrl":"https://doi.org/10.1109/issre.2006.21","url":null,"abstract":"Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspect-oriented development. To automate generation of unit tests for AspectJ programs, we can apply the existing tools that automate generation of unit tests for Java programs. However, these tools can generate a large number of test inputs, and manually inspecting the behavior of the software on all these inputs is time consuming. We propose Raspect, a framework for detecting redundant unit tests for AspectJ programs. We introduce three levels of units in AspectJ programs: advised methods, advice, and intertype methods. We show how to detect at each level redundant test that does not exercise new behavior. Our approach selects only non-redundant tests from the automatically generated test suites, thus allowing the developer to spend less time in inspecting this reduced set of tests. We have implemented Raspect and applied it on 12 subjects taken from a variety of sources; our experience shows that Raspect can effectively reduce the size of generated test suites for inspecting AspectJ programs","PeriodicalId":373353,"journal":{"name":"2006 17th International Symposium on Software Reliability Engineering","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134084774","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}

引用次数: 36

Memoized Forward Computation of Dynamic Slices 动态切片的记忆正向计算

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.53

Wes Masri, Nagi H. Nahas, Andy Podgurski

引用次数: 9

A Perspective on Software Consumability 软件可消费性的观点

2006 17th International Symposium on Software Reliability Engineering Pub Date : 2006-11-07 DOI: 10.1109/ISSRE.2006.8

Carl Kessler

引用次数: 0