2010 Third International Conference on Software Testing, Verification and Validation最新文献_第3页

An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations 基于Fix-Cache建议的回归检验实证评价

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.40

Emelie Engström, P. Runeson, Greger Wikstrand

引用次数: 43

The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects 回归测试技术在减少残余缺陷发生方面的有效性

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.57

Panduka Nagahawatte, Hyunsook Do

{"title":"The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects","authors":"Panduka Nagahawatte, Hyunsook Do","doi":"10.1109/ICST.2010.57","DOIUrl":"https://doi.org/10.1109/ICST.2010.57","url":null,"abstract":"Regression testing is a necessary maintenance activity that can ensure high quality of the modified software system, and a great deal of research on regression testing has been performed. Most of the studies performed to date, however, have evaluated regression testing techniques under the limited context, such as a short-term assessment, which do not fully account for system evolution or industrial circumstances. One important issue associated with a system lifetime view that we have overlooked in past years is the effects of residual defects -- defects that persist undetected -- across several releases of a system. Depending on an organization's business goals and the type of system being built, residual defects might affect the level of success of the software products. In this paper, we conducted an empirical study to investigate whether regression testing techniques are effective in reducing the occurrence and persistence of residual defects across a system's lifetime, in particular, considering test case prioritization techniques. Our results show that heuristics can be effective in reducing both the occurrence of residual defects and their age. Our results also indicate that residual defects and their age have a strong impact on the cost-benefits of test case prioritization techniques.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129848264","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}

引用次数: 6

It Does Matter How You Normalise the Branch Distance in Search Based Software Testing 在基于搜索的软件测试中，如何规范分支距离很重要

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.17

Andrea Arcuri

引用次数: 82

GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns GraphSeq:一个用于移动模式提取的图匹配工具

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.53

Minh Duc Nguyen, H. Waeselynck, Nicolas Rivière

引用次数: 8

Model Based Testing and Abstract Interpretation in the Railway Signaling Context 铁路信号环境下基于模型的测试与抽象解释

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.44

Daniele Grasso, A. Fantechi, Alessio Ferrari, C. Becheri, Stefano Bacherini

引用次数: 9

Repairing GUI Test Suites Using a Genetic Algorithm 使用遗传算法修复GUI测试套件

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.39

Si Huang, Myra B. Cohen, A. Memon

{"title":"Repairing GUI Test Suites Using a Genetic Algorithm","authors":"Si Huang, Myra B. Cohen, A. Memon","doi":"10.1109/ICST.2010.39","DOIUrl":"https://doi.org/10.1109/ICST.2010.39","url":null,"abstract":"Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be executed on the GUI, and then use the graphs to generate test cases (event sequences) that achieve a specified coverage goal. However, because these models are only approximations of the actual event flows, the generated test cases may suffer from problems of infeasibility, i.e., some events may not be available for execution causing the test case to terminate prematurely. In this paper we develop a method to automatically repair GUI test suites, generating new test cases that are feasible. We use a genetic algorithm to evolve new test cases that increase our test suite's coverage while avoiding infeasible sequences. We experiment with this algorithm on a set of synthetic programs containing different types of constraints and for test sequences of varying lengths. Our results suggest that we can generate new test cases to cover most of the feasible coverage and that the genetic algorithm outperforms a random algorithm trying to achieve the same goal in almost all cases.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133301493","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}

引用次数: 107

Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista 大海捞针:预测Windows Vista的安全漏洞

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.32

Thomas Zimmermann, Nachiappan Nagappan, L. Williams

{"title":"Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista","authors":"Thomas Zimmermann, Nachiappan Nagappan, L. Williams","doi":"10.1109/ICST.2010.32","DOIUrl":"https://doi.org/10.1109/ICST.2010.32","url":null,"abstract":"Many factors are believed to increase the vulnerability of software system; for example, the more widely deployed or popular is a software system the more likely it is to be attacked. Early identification of defects has been a widely investigated topic in software engineering research. Early identification of software vulnerabilities can help mitigate these attacks to a large degree by focusing better security verification efforts in these components. Predicting vulnerabilities is complicated by the fact that vulnerabilities are, most often, few in number and introduce significant bias by creating a sparse dataset in the population. As a result, vulnerability prediction can be thought of us preverbally “searching for a needle in a haystack.” In this paper, we present a large-scale empirical study on Windows Vista, where we empirically evaluate the efficacy of classical metrics like complexity, churn, coverage, dependency measures, and organizational structure of the company to predict vulnerabilities and assess how well these software measures correlate with vulnerabilities. We observed in our experiments that classical software measures predict vulnerabilities with a high precision but low recall values. The actual dependencies, however, predict vulnerabilities with a lower precision but substantially higher recall.","PeriodicalId":192678,"journal":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116139792","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}

引用次数: 191

Challenges with Software Verification and Validation Activities in the Space Industry 航天工业中软件验证和验证活动的挑战

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.37

R. Feldt, R. Torkar, Ehsan Ahmad, Bilal Raza

引用次数: 24

Rex: Symbolic Regular Expression Explorer Rex:符号正则表达式浏览器

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.15

Margus Veanes, J. D. Halleux, N. Tillmann

引用次数: 153

Debug Support for Model-Based GUI Testing 基于模型的GUI测试的调试支持

2010 Third International Conference on Software Testing, Verification and Validation Pub Date : 2010-04-06 DOI: 10.1109/ICST.2010.36

Henri Heiskanen, A. Jääskeläinen, Mika Katara

引用次数: 10