2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)最新文献_第3页

Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs 大规模并行，高效，但是测试套件的质量如何?在GPU程序中应用突变测试

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00030

Qianqian Zhu, A. Zaidman

{"title":"Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs","authors":"Qianqian Zhu, A. Zaidman","doi":"10.1109/icst46399.2020.00030","DOIUrl":"https://doi.org/10.1109/icst46399.2020.00030","url":null,"abstract":"Thanks to rapid advances in programmability and performance, GPUs have been widely applied in High Performance Computing (HPC) and safety-critical domains. As such, quality assurance of GPU applications has gained increasing attention. This brings us to mutation testing, a fault-based testing technique that assesses the test suite quality by systematically introducing small artificial faults. It has been shown to perform well in exposing faults. In this paper, we investigate whether GPU programming can benefit from mutation testing. In addition to conventional mutation operators, we propose nine GPU-specific mutation operators based on the core syntax differences between CPU and GPU programming. We conduct a preliminary study on six CUDA systems. The results show that mutation testing can effectively evaluate the test quality of GPU programs: conventional mutation operators can guide the engineers to write simple direct tests, while GPU-specific mutation operators can lead to more intricate test cases which are better at revealing GPU-specific weaknesses.","PeriodicalId":235967,"journal":{"name":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121085472","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}

引用次数: 2

Poster: SONAR Testing – Novel Testing Approach Based on Operation Recording and Visualization 海报:声纳测试——基于操作记录和可视化的新型测试方法

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00050

Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno, Ippei Kumagawa

引用次数: 0

STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases STICCER:通过合并相似的测试用例快速有效地减少数据库测试套件

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00031

A. Alsharif, G. M. Kapfhammer, Phil McMinn

{"title":"STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases","authors":"A. Alsharif, G. M. Kapfhammer, Phil McMinn","doi":"10.1109/icst46399.2020.00031","DOIUrl":"https://doi.org/10.1109/icst46399.2020.00031","url":null,"abstract":"Since relational databases support many software applications, industry professionals recommend testing both database queries and the underlying database schema that contains complex integrity constraints. These constraints, which include primary and foreign keys, NOT NULL, and arbitrary CHECK constraints, are important because they protect the consistency and coherency of data in the relational database. Since testing integrity constraints is potentially an arduous task, human testers can use new tools to automatically generate test suites that effectively find schema faults. However, these tool-generated test suites often contain many lengthy tests that may both increase the time overhead of regression testing and limit the ability of human testers to understand them. Aiming to reduce the size of automatically generated test suites for database schemas, this paper introduces STICCER, a technique that finds overlaps between test cases, merging database interactions from similar tests and removing others. By systematically discarding and merging redundant tests, STICCER creates a reduced test suite that is guaranteed to have the same coverage as the original one. Using thirty-four relational database schemas, we experimentally compared STICCER to two greedy test suite reduction techniques and a random method. The results show that, compared to the greedy and random methods, STICCER is the most effective at reducing the number of test cases and database interactions while maintaining test effectiveness as measured by the mutation score.","PeriodicalId":235967,"journal":{"name":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127232269","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

Toward Automated Assessment of User Experience in Extended Reality 扩展现实中用户体验的自动化评估

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00056

Saba Gholizadeh Ansari

引用次数: 1

Poster: Test Case Prioritization Using Error Propagation Probability* 海报:测试用例优先级使用错误传播概率*

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00047

Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park

引用次数: 3

Run Java Applications and Test Them In-Vivo Meantime 运行Java应用程序并在体内测试它们

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00061

A. Bertolino, G. D. Angelis, Breno Miranda, P. Tonella

引用次数: 5

ICST 2020 TOC

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00004

引用次数: 0

Anomaly Analyses to Guide Software Testing Activity 异常分析指导软件测试活动

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00055

Allan Mori

{"title":"Anomaly Analyses to Guide Software Testing Activity","authors":"Allan Mori","doi":"10.1109/icst46399.2020.00055","DOIUrl":"https://doi.org/10.1109/icst46399.2020.00055","url":null,"abstract":"Software testing is a quality activity with the purpose of revealing errors not yet discovered. Also, this activity verifies if the software realizes its functionalities conformance with its specification. As software testing activity evolves during software development, a large set of test cases can be generated, compromising the effort during the regression testing, for instance. Regression testing is a type of software testing to confirm that a new program or code change has not adversely affected existing features of the software. In this activity, the tester may not have enough time to run all test cases, needing to decide which test cases are best in terms of effectiveness in reveal faults. In another way, during code refactoring activities, code smells can be identified, which represents unwanted situations that can negatively impact software quality. This project proposes an approach that employs information about code smells to guide software testing activity. Our hypothesis is that the code smells can guide, for instance, the prioritization of test cases, focusing on effort reduction of software testing. I would like to acknowledged my advisor, Simone R. S. Souza for guiding and supporting in this work.","PeriodicalId":235967,"journal":{"name":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)","volume":"446 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115929097","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}

引用次数: 1

Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection 学习如何搜索:通过自适应适应度函数选择生成异常触发测试

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00017

H. Almulla, Gregory Gay

{"title":"Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection","authors":"H. Almulla, Gregory Gay","doi":"10.1109/icst46399.2020.00017","DOIUrl":"https://doi.org/10.1109/icst46399.2020.00017","url":null,"abstract":"Search-based test generation is guided by feedback from one or more fitness functions—scoring functions that judge solution optimality. Choosing informative fitness functions is crucial to meeting the goals of a tester. Unfortunately, many goals—such as forcing the class-under-test to throw exceptions— do not have a known fitness function formulation. We propose that meeting such goals requires treating fitness function identification as a secondary optimization step. An adaptive algorithm that can vary the selection of fitness functions could adjust its selection throughout the generation process to maximize goal attainment, based on the current population of test suites. To test this hypothesis, we have implemented two reinforcement learning algorithms in the EvoSuite framework, and used these algorithms to dynamically set the fitness functions used during generation.We have evaluated our framework, EvoSuiteFIT, on a set of 386 real faults. EvoSuiteFIT discovers and retains more exception-triggering input and produces suites that detect a variety of faults missed by the other techniques. The ability to adjust fitness functions allows EvoSuiteFIT to make strategic choices that efficiently produce more effective test suites.","PeriodicalId":235967,"journal":{"name":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121025590","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}

引用次数: 9

NodeRacer: Event Race Detection for Node.js Applications NodeRacer: Node.js应用程序的事件竞争检测

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Pub Date : 2020-10-01 DOI: 10.1109/icst46399.2020.00022

A. T. Endo, Anders Møller

引用次数: 12