2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)最新文献_第2页

Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability 基于分支执行概率特征选择的故障定位方法

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.55

Ang Li, Yan Lei, Xiaoguang Mao

{"title":"Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability","authors":"Ang Li, Yan Lei, Xiaoguang Mao","doi":"10.1109/QRS.2016.55","DOIUrl":"https://doi.org/10.1109/QRS.2016.55","url":null,"abstract":"The current fault localization techniques for debugging basically depend on the binary execution information which indicates each program statement being executed or not executed by a particular test case. However, this simple information may lose some essential clues such as the branching execution information for fault localization, and therefore restricts localization effectiveness. To alleviate this problem, this paper proposes a novel fault localization approach denoted as FLBF which incorporates the branching execution information in the manner of feature selection. This approach firstly uses branching execution probability to model the behavior of each statement as a feature, then adopts one of the most widely used feature selection method called Fisher score to calculate the relevance between each statement's feature and the failures, and finally outputs the suspicious statements potentially responsible for the failures. The scenario used to demonstrate the utility of FLBF is composed of two standard benchmarks and three real-life UNIX utility programs. The experimental results show that input with branching execution information can improve the performance of current fault localization techniques and FLBF performs more stably and efficiently than other six typical fault localization techniques.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131854928","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}

引用次数: 3

Detecting and Preventing Program Inconsistencies under Database Schema Evolution 数据库模式演化下的程序不一致性检测与预防

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.38

L. Meurice, Csaba Nagy, Anthony Cleve

{"title":"Detecting and Preventing Program Inconsistencies under Database Schema Evolution","authors":"L. Meurice, Csaba Nagy, Anthony Cleve","doi":"10.1109/QRS.2016.38","DOIUrl":"https://doi.org/10.1109/QRS.2016.38","url":null,"abstract":"Nowadays, data-intensive applications tend to access their underlying database in an increasingly dynamic way. The queries that they send to the database server are usually built at runtime, through String concatenation, or Object-Relational-Mapping (ORM) frameworks. This level of dynamicity significantly complicates the task of adapting application programs to database schema changes. Failing to correctly adapt programs to an evolving database schema results in program inconsistencies, which in turn may cause program failures. In this paper, we present a tool-supported approach, that allows developers to (1) analyze how the source code and database schema co-evolved in the past and (2) simulate a database schema change and automatically determine the set of source code locations that would be impacted by this change. Developers are then provided with recommendations about what they should modify at those source code locations in order to avoid inconsistencies. The approach has been designed to deal with Java systems that use dynamic data access frameworks such as JDBC, Hibernate and JPA. We motivate and evaluate the proposed approach, based on three real-life systems of different size and nature.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129222578","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}

引用次数: 15

Applying Combinatorial Testing in Industrial Settings 组合测试在工业环境中的应用

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.16

Xue-Lin Li, Ruizhi Gao, W. E. Wong, Chunhui Yang, Dong Li

{"title":"Applying Combinatorial Testing in Industrial Settings","authors":"Xue-Lin Li, Ruizhi Gao, W. E. Wong, Chunhui Yang, Dong Li","doi":"10.1109/QRS.2016.16","DOIUrl":"https://doi.org/10.1109/QRS.2016.16","url":null,"abstract":"Combinatorial testing (CT) is a black-box-based technique to generate a small number of test cases with a focus on covering various interactions among input parameters of a software system. How effective is CT in practice? What are the challenges and issues presented by the process of applying CT? How can these challenges and issues be overcome to improve the application of CT? Although CT has attracted attention from both academia and industry, these questions have not been addressed or researched in depth based on an empirical study in industrial settings. From January 2016 to February 2016, we have worked with CEPREI, an authoritative software testing company in China, on testing three real-life software systems using CT. Throughout the process, we have generated 601 test cases and found 33 bugs in total. The results demonstrate that CT not only detects more bugs but also requires less time in designing test cases for a specific system comparing to traditional function coverage-based testing. This paper will present our empirical study thoroughly and give an insightful analysis to investigate the advantages as well as the possible challenges of applying CT.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"34 50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123082088","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

Correlation between the Distribution of Software Bugs and Network Motifs 软件bug分布与网络主题的关系

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.32

Shaoxiong Zhang, J. Ai, Xue-Lin Li

{"title":"Correlation between the Distribution of Software Bugs and Network Motifs","authors":"Shaoxiong Zhang, J. Ai, Xue-Lin Li","doi":"10.1109/QRS.2016.32","DOIUrl":"https://doi.org/10.1109/QRS.2016.32","url":null,"abstract":"With the increase of scale and complexity of software systems as well as the long existing threats of software accidents such as Therac-25 radiation exposure and the Toyota Prius braking system failure, improving the reliability and quality has become the major pressure in developing safety-or security-critical software systems. Since more and more large-scale software systems exhibit the properties of complex network, how can we employ the concepts and metrics of complex networks to the area of software engineering? What structural patterns can be used as indications for software quality and reliability? Though applying the concept of complex network to the field of software engineering has attracted attentions from both the academia and industry, these questions have not been researched thoroughly with satisfactory unanimity. In this study, we analyzed the bug distribution in 1,047 versions of four open source software projects downloaded from GitHub with complex network theory and focused on the correlation between software bugs and a specific type of software network structure -- network motifs. Our results indicate that the functions containing bugs are more likely to be involved in feedforward loop motifs, one type of network motifs with highest degree of uniqueness. This paper could serve as a guide to further investigate the nature of software failures and a powerful tool for software fault prediction and quality evaluation.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"283 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116091763","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

Quantifying the Impact of Replication on the Quality-of-Service in Cloud Databases 量化复制对云数据库服务质量的影响

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.40

Rasha Osman, Juan F. Pérez, G. Casale

引用次数: 3

Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification 基于贝叶斯分类的大规模软件系统缺陷自动定位

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.54

Leif Jonsson, David Broman, Måns Magnusson, K. Sandahl, M. Villani, Sigrid Eldh

引用次数: 7

Grey Relational Analysis Based k Nearest Neighbor Missing Data Imputation for Software Quality Datasets 基于k近邻缺失数据的灰色关联分析软件质量数据集

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.20

Jianglin Huang, Hongyi Sun

引用次数: 11

A Specification-Based Approach to the Testing of Java Memory Bloat 基于规范的Java内存膨胀测试方法

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.46

Ju Qian, Xiaoyu Zhou, W. Dang, Ziyuan Wang

{"title":"A Specification-Based Approach to the Testing of Java Memory Bloat","authors":"Ju Qian, Xiaoyu Zhou, W. Dang, Ziyuan Wang","doi":"10.1109/QRS.2016.46","DOIUrl":"https://doi.org/10.1109/QRS.2016.46","url":null,"abstract":"Inefficient use of memory may cause memory bloat, and the bloat may lead to performance slowdowns or even crashes. To address the problem, lots of efforts have been devoted to the diagnosing of bloat, especially the bloat caused by memory leaks. However, testing and identifying the executions potentially containing bloat, which act as key steps before diagnosing, are still challenging. In this paper, we introduce a memory specification tool named MemSpec to help programmers test memory inefficiencies in Java programs. The specification works as a test oracle to automatically determine whether a program suffers from memory bloat. Users can write their own memory specifications using our specification language. MemSpec weaves the specification checking mechanisms into the tested programs. During test runs, memory bloat will be reported if the some specifications are not satisfied. With this specification-based approach, a tester does not need to manually watch the program executions to identify bloat. The automatically reporting of memory bloat can reduce the manual efforts in memory inefficiency testing. We test the proposed approach on ArgoUML. The initial results show that it is effective.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123749571","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

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study 基于分支的组合测试有多有效?一项探索性研究

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.15

Huiyan Wang, Chang Xu, Junming Sui, Jian Lu

引用次数: 1

A Faceted Classification Scheme for Change-Based Industrial Code Review Processes 基于变化的工业代码评审过程的分面分类方案

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2016-08-01 DOI: 10.1109/QRS.2016.19

T. Baum, Olga Liskin, Kai Niklas, K. Schneider

引用次数: 44