2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)最新文献

Fault localization in embedded software based on a single cyclic trace 基于单循环轨迹的嵌入式软件故障定位

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698914

A. Amiar, Mickaël Delahaye, Yliès Falcone, L. D. Bousquet

{"title":"Fault localization in embedded software based on a single cyclic trace","authors":"A. Amiar, Mickaël Delahaye, Yliès Falcone, L. D. Bousquet","doi":"10.1109/ISSRE.2013.6698914","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698914","url":null,"abstract":"Locating faults in embedded software, especially in microcontrollers, is still difficult. Quite recently, it became possible to recover execution traces from microcontrollers using specific hardware probes. However, the collected traces contain a huge volume of low-level data. Consequently, manual analysis is difficult and our industrial partners call for automatic and more effective fault-localization methods for embedded software. This paper presents a new approach to automatically locate faults in embedded programs given a single faulty execution trace. Our approach exploits the cyclic nature of embedded programs and uses several adapted spectrum-based methods in order to find faults on a single execution, rather than a set of multiple failing and passing executions. Our approach is implemented in the tool CoMET and evaluated on several faulty programs. The evaluation shows that our single-trace fault-localization method using Ochiai [1] allows engineers to find a fault by inspecting less than 5% of the program in most cases, and it confirms the interest of automatic fault localization for microcontrollers.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123756519","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

Evaluating long-term predictive power of standard reliability growth models on automotive systems 评估汽车系统标准可靠性增长模型的长期预测能力

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698922

Rakesh Rana, M. Staron, C. Berger, J. Hansson, Martin Nilsson, Fredrik Törner

{"title":"Evaluating long-term predictive power of standard reliability growth models on automotive systems","authors":"Rakesh Rana, M. Staron, C. Berger, J. Hansson, Martin Nilsson, Fredrik Törner","doi":"10.1109/ISSRE.2013.6698922","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698922","url":null,"abstract":"Software is today an integral part of providing improved functionality and innovative features in the automotive industry. Safety and reliability are important requirements for automotive software and software testing is still the main source of ensuring dependability of the software artifacts. Software Reliability Growth Models (SRGMs) have been long used to assess the reliability of software systems; they are also used for predicting the defect inflow in order to allocate maintenance resources. Although a number of models have been proposed and evaluated, much of the assessment of their predictive ability is studied for short term (e.g. last 10% of data). But in practice (in industry) the usefulness of SRGMs with respect to optimal resource allocation depends heavily on the long term predictive power of SRGMs i.e. much before the project is close to completion. The ability to reasonably predict the expected defect inflow provides important insight that can help project and quality managers to take necessary actions related to testing resource allocation on time to ensure high quality software at the release. In this paper we evaluate the long-term predictive power of commonly used SRGMs on four software projects from the automotive sector. The results indicate that Gompertz and Logistic model performs best among the tested models on all fit criterias as well as on predictive power, although these models are not reliable for long-term prediction with partial data.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115036664","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}

引用次数: 37

Request success rate of multipathing I/O with a paired storage controller 使用配对存储控制器的I/O多路径请求成功率

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698906

Gangadhar Enagandula, V. Apte, Bipul Raj

{"title":"Request success rate of multipathing I/O with a paired storage controller","authors":"Gangadhar Enagandula, V. Apte, Bipul Raj","doi":"10.1109/ISSRE.2013.6698906","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698906","url":null,"abstract":"The success probability of I/O requests in presence of failures is increased by a combination of failover mechanisms built into the storage server, multiple access paths from I/O clients to the server, and timeout-retry mechanisms at the client itself. We define and evaluate a unified availability metric, request failures per million (RFPM), which quantifies request failure probability while taking into account client-side as well as server-side mechanisms. We calculate this metric using a two-level model of I/O service - a probability tree that captures the I/O driver behaviour, and a set of CTMC (Continuous Time Markov Chain) models that capture failover mechanisms at the server. The I/O driver model captures detailed timeout-retry mechanisms including retries at multiple ports (“multipathing”). The server model captures transient phenomena such as failure detection, takeover and emulation behaviour of a paired storage controller. The model shows that client retry mechanisms provide significant improvement in request success probability. The model is then used to study the sensitivity of RFPMs to parameters such as timeouts, reboot time and failure detection delay. The results show that the model can help in answering several what-if questions related to how system parameters impact request success rate.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129872812","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}

引用次数: 0

Feedback-directed exploration of web applications to derive test models 对web应用程序进行反馈导向的探索，以派生测试模型

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698880

A. M. Fard, A. Mesbah

引用次数: 43

Help, help, i'm being suppressed! The significance of suppressors in software testing 救命，救命，我被压制住了!抑制因子在软件测试中的意义

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698892

Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, E. Eide, Yang Chen, J. Regehr

{"title":"Help, help, i'm being suppressed! The significance of suppressors in software testing","authors":"Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, E. Eide, Yang Chen, J. Regehr","doi":"10.1109/ISSRE.2013.6698892","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698892","url":null,"abstract":"Test features are basic compositional units used to describe what a test does (and does not) involve. For example, in API-based testing, the most obvious features are function calls; in grammar-based testing, the obvious features are the elements of the grammar. The relationship between features as abstractions of tests and produced behaviors of the tested program is surprisingly poorly understood. This paper shows how large-scale random testing modified to use diverse feature sets can uncover causal relationships between what a test contains and what the program being tested does. We introduce a general notion of observable behaviors as targets, where a target can be a detected fault, an executed branch or statement, or a complex coverage entity such as a state, predicate-valuation, or program path. While it is obvious that targets have triggers - features without which they cannot be hit by a test - the notion of suppressors - features which make a test less likely to hit a target - has received little attention despite having important implications for automated test generation and program understanding. For a set of subjects including C compilers, a flash file system, and JavaScript engines, we show that suppression is both common and important.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131867261","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}

引用次数: 19

Stress testing of task deadlines: A constraint programming approach 任务期限的压力测试:一种约束编程方法

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698915

Stefano Di Alesio, S. Nejati, L. Briand, A. Gotlieb

{"title":"Stress testing of task deadlines: A constraint programming approach","authors":"Stefano Di Alesio, S. Nejati, L. Briand, A. Gotlieb","doi":"10.1109/ISSRE.2013.6698915","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698915","url":null,"abstract":"Safety-critical Real Time Embedded Systems (RT-ESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use effective search strategies whose goal is finding worst case scenarios with respect to deadline misses. Such scenarios can in turn be used to test the target RTES and ensure that it satisfies its timing requirements even under worst case conditions. Specifically, we develop an approach based on Constraint Programming (CP) to automate the generation of test cases that reveal, or are likely to, task deadline misses. We evaluate it through a comparison with a state-of-the-art approach based on Genetic Algorithms (GA). In particular, we compare CP and GA in five case studies for efficiency, effectiveness, and scalability. Our experimental results show that, on the largest and more complex case studies, CP performs significantly better than GA. Furthermore, CP offers some advantages over GA, such as it guarantees a complete search when there is sufficient time, and, being deterministic, it doesn't rely on parameters that potentially have a significant effect on the search and therefore need to be tuned. Hence, we conclude that our results are encouraging and suggest this is an advantageous approach for stress testing of RTESs with respect to timing constraints.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"11 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128582353","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}

引用次数: 21

Finding test data with specific properties via metaheuristic search 通过元启发式搜索查找具有特定属性的测试数据

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698888

R. Feldt, Simon M. Poulding

引用次数: 47

Analysis of local re-execution in mobile offloading system 移动卸载系统局部重执行分析

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698902

Qiushi Wang, Marti Griera Jorba, J. Ripoll, K. Wolter

{"title":"Analysis of local re-execution in mobile offloading system","authors":"Qiushi Wang, Marti Griera Jorba, J. Ripoll, K. Wolter","doi":"10.1109/ISSRE.2013.6698902","DOIUrl":"https://doi.org/10.1109/ISSRE.2013.6698902","url":null,"abstract":"Richer functional mobile applications are developed through offloading the heavy computation from resource constrained mobile devices to powerful cloud servers. For guaranteeing the completion of such tasks, strong connectivity with the servers is essential. However, the wireless network is not sufficiently reliable. It is often unable to satisfy the offloading condition, and thus interrupts the program execution. To deal with this problem, locally re-executing the offloaded computation in the mobile client is an efficient way to maintain the continuity of the application. In this paper, we present a synthetical method to find the optimal moment for launching the local re-execution. First, we develop a general program engine to implement offloading applications. Then we design a Stochastic Activity Network (SAN) model based on the engine structure and three metrics to evaluate the engine's performance. The model parameters are set to values obtained from experimental data of our engine. We compare the performance of different local re-execution launching intervals with the model simulation and find the optimum. Last, the optimal launching interval is returned to configure the engine and its efficiency is verified with experiments. The result shows that starting the local re-execution after an appropriate interval provides a better performance than always offloading, and our model can effectively find the optimal launching interval.","PeriodicalId":288473,"journal":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130148561","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}

引用次数: 10

Sinfer: Inferring information flow lattices for checking self-stabilization 推断:推断信息流格以检查自稳定性

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698925

Y. Eom, Brian Demsky

引用次数: 0

Constructing subtle higher order mutants for Java and AspectJ programs 为Java和AspectJ程序构建微妙的高阶突变体

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) Pub Date : 2013-11-01 DOI: 10.1109/ISSRE.2013.6698887

Elmahdi Omar, Sudipto Ghosh, L. D. Whitley

引用次数: 32