Brazilian Symposium on Systematic and Automated Software Testing最新文献

筛选

英文中文

SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3 - 7, 2022 SAST 2022:第七届巴西系统和自动化软件测试研讨会，巴西Uberlandia, 2022年10月3日至7日

Brazilian Symposium on Systematic and Automated Software Testing Pub Date : 1900-01-01 DOI: 10.1145/3559744

引用次数: 0

Data flow Subsumption and its Impact on Spectrum-based Fault Localization 数据流包容及其对频谱故障定位的影响

Brazilian Symposium on Systematic and Automated Software Testing Pub Date : 1900-01-01 DOI: 10.1145/3559744.3559750

Dennis Lopes Da Silva, M. Chaim, H. A. D. Souza

{"title":"Data flow Subsumption and its Impact on Spectrum-based Fault Localization","authors":"Dennis Lopes Da Silva, M. Chaim, H. A. D. Souza","doi":"10.1145/3559744.3559750","DOIUrl":"https://doi.org/10.1145/3559744.3559750","url":null,"abstract":"Debugging aims at finding and correcting software defects. To help the developer, fault localization techniques were developed using association metrics and code coverage data spectra to identify the most suspicious code snippets. They assist the developer by means of a ranking of the most suspicious spectra that guides the developer in his or her ”hunt” for defects. These techniques, when based on data flow spectra, use definition use associations (DUA) for ranking calculation. However, the coverage of given DUAs often guarantees the coverage of other DUAs, in a relationship between DUAs called subsumption. In practice, the subsumption relationship means that if a given DUA is covered, others are also guaranteed to be covered in certain conditions. Based on the subsumption property, this work presents an experiment in which fault localization effectiveness is assessed using only the spectra of the set of unconstrained DUAs, that is, the minimal set of DUAs that may guarantee coverage of all other DUAs of the software under test. For this experiment, we use a subset of programs of the Defects4J repository, data flow spectra, and the Ochiai association metric. Our results compare the rankings produced by the set of unconstrained DUAs against those produced by all DUAs for fault localization. They indicate that most of the faults reached by DUA spectra can be found by inspecting only the unconstrained DUAs.","PeriodicalId":208536,"journal":{"name":"Brazilian Symposium on Systematic and Automated Software Testing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121521414","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

首页上一页