A-TEST '18: "Reinforcement Learning for ..."
Reinforcement Learning for Android GUI Testing
David Adamo, Md Khorrom Khan, Sreedevi Koppula, and Renée Bryce
(Ultimate Software, USA; University of North Texas, USA)
This paper presents a reinforcement learning approach to automated GUI testing of Android apps. We use a test generation algorithm based on Q-learning to systematically select events and explore the GUI of an application under test without requiring a preexisting abstract model. We empirically evaluate the algorithm on eight Android applications and find that the proposed approach generates test suites that achieve between 3.31% to 18.83% better block-level code coverage than random test generation.
@InProceedings{A-TEST18p2,
author = {David Adamo and Md Khorrom Khan and Sreedevi Koppula and Renée Bryce},
title = {Reinforcement Learning for Android GUI Testing},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {2--8},
doi = {10.1145/3278186.3278187},
year = {2018},
}
Publisher's Version
A-TEST '18: "Abstract Flow Learning for ..."
Abstract Flow Learning for Web Application Test Generation
Dionny Santiago, Peter J. Clarke, Patrick Alt, and Tariq M. King
(Florida International University, USA; Ultimate Software, USA)
Achieving high software quality today involves manual analysis, test planning, documentation of testing strategy and test cases, and the development of scripts to support automated regression testing. To keep pace with software evolution, test artifacts must also be frequently updated. Although test automation practices help mitigate the cost of regression testing, a large gap exists between the current paradigm and fully automated software testing. Researchers and practitioners are realizing the potential for artificial intelligence and machine learning (ML) to help bridge the gap between the testing capabilities of humans and those of machines. This paper presents an ML approach that combines a language specification that includes a grammar that can be used to describe test flows, and a trainable test flow generation model, in order to generate tests in a way that is trainable, reusable across different applications, and generalizable to new applications.
@InProceedings{A-TEST18p49,
author = {Dionny Santiago and Peter J. Clarke and Patrick Alt and Tariq M. King},
title = {Abstract Flow Learning for Web Application Test Generation},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {49--55},
doi = {10.1145/3278186.3278194},
year = {2018},
}
Publisher's Version
A-TEST '18: "Goal-Oriented Mutation Testing ..."
Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, and Markus Borg
(University of Antwerp, Belgium; University of Bern, Switzerland; RISE SICS, Sweden)
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project shows a speed-up of 573.5x for the mutants located in focal methods with a quality score of 80%.
@InProceedings{A-TEST18p23,
author = {Sten Vercammen and Mohammad Ghafari and Serge Demeyer and Markus Borg},
title = {Goal-Oriented Mutation Testing with Focal Methods},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {23--30},
doi = {10.1145/3278186.3278190},
year = {2018},
}
Publisher's Version
A-TEST '18: "Reinforcement Learning for ..."
Reinforcement Learning for Android GUI Testing
David Adamo, Md Khorrom Khan, Sreedevi Koppula, and Renée Bryce
(Ultimate Software, USA; University of North Texas, USA)
This paper presents a reinforcement learning approach to automated GUI testing of Android apps. We use a test generation algorithm based on Q-learning to systematically select events and explore the GUI of an application under test without requiring a preexisting abstract model. We empirically evaluate the algorithm on eight Android applications and find that the proposed approach generates test suites that achieve between 3.31% to 18.83% better block-level code coverage than random test generation.
@InProceedings{A-TEST18p2,
author = {David Adamo and Md Khorrom Khan and Sreedevi Koppula and Renée Bryce},
title = {Reinforcement Learning for Android GUI Testing},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {2--8},
doi = {10.1145/3278186.3278187},
year = {2018},
}
Publisher's Version
A-TEST '18: "Abstract Flow Learning for ..."
Abstract Flow Learning for Web Application Test Generation
Dionny Santiago, Peter J. Clarke, Patrick Alt, and Tariq M. King
(Florida International University, USA; Ultimate Software, USA)
Achieving high software quality today involves manual analysis, test planning, documentation of testing strategy and test cases, and the development of scripts to support automated regression testing. To keep pace with software evolution, test artifacts must also be frequently updated. Although test automation practices help mitigate the cost of regression testing, a large gap exists between the current paradigm and fully automated software testing. Researchers and practitioners are realizing the potential for artificial intelligence and machine learning (ML) to help bridge the gap between the testing capabilities of humans and those of machines. This paper presents an ML approach that combines a language specification that includes a grammar that can be used to describe test flows, and a trainable test flow generation model, in order to generate tests in a way that is trainable, reusable across different applications, and generalizable to new applications.
@InProceedings{A-TEST18p49,
author = {Dionny Santiago and Peter J. Clarke and Patrick Alt and Tariq M. King},
title = {Abstract Flow Learning for Web Application Test Generation},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {49--55},
doi = {10.1145/3278186.3278194},
year = {2018},
}
Publisher's Version
A-TEST '18: "Property-Based Testing for ..."
Property-Based Testing for the Robot Operating System
André Santos, Alcino Cunha, and Nuno Macedo
(INESC TEC, Portugal; University of Minho, Portugal)
The Robot Operating System (ROS) is an open source framework for the development of robotic software, in which a typical system consists of multiple processes communicating under a publisher-subscriber architecture. A great deal of development time goes into orchestration and making sure that the communication interfaces comply with the expected contracts (e.g. receiving a message leads to the publication of another message). Orchestration mistakes are only detected during runtime, stressing the importance of component and integration testing in the verification process. Property-based Testing is fitting in this context, since it is based on the specification of contracts and treats tested components as black boxes, but there is no support for it in ROS. In this paper, we present a first approach towards automatic generation of test scripts for property-based testing of various configurations of a ROS system.
@InProceedings{A-TEST18p56,
author = {André Santos and Alcino Cunha and Nuno Macedo},
title = {Property-Based Testing for the Robot Operating System},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {56--62},
doi = {10.1145/3278186.3278195},
year = {2018},
}
Publisher's Version
A-TEST '18: "Goal-Oriented Mutation Testing ..."
Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, and Markus Borg
(University of Antwerp, Belgium; University of Bern, Switzerland; RISE SICS, Sweden)
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project shows a speed-up of 573.5x for the mutants located in focal methods with a quality score of 80%.
@InProceedings{A-TEST18p23,
author = {Sten Vercammen and Mohammad Ghafari and Serge Demeyer and Markus Borg},
title = {Goal-Oriented Mutation Testing with Focal Methods},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {23--30},
doi = {10.1145/3278186.3278190},
year = {2018},
}
Publisher's Version
A-TEST '18: "Test Patterns for IoT ..."
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima, and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)
The Internet of Things (IoT) is expected to bring forward new promising solutions in various domains. Consequently, it can impact many aspects of everyday life, and errors can have serious consequences. Despite this, there is a lack of standard testing processes and methods, which poses a major challenge for IoT testing. Nonetheless, closer examination makes it possible to identify a set of recurring behaviors of IoT applications and a set of corresponding test strategies. This paper formalizes the notion of a Pattern-Based IoT Testing method for systematizing and automating the testing of IoT ecosystems. It consists in a set of test strategies for recurring behaviors of the IoT system, which can be defined as IoT Test Patterns.
@InProceedings{A-TEST18p63,
author = {Pedro Martins Pontes and Bruno Lima and João Pascoal Faria},
title = {Test Patterns for IoT},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {63--66},
doi = {10.1145/3278186.3278196},
year = {2018},
}
Publisher's Version
A-TEST '18: "Goal-Oriented Mutation Testing ..."
Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, and Markus Borg
(University of Antwerp, Belgium; University of Bern, Switzerland; RISE SICS, Sweden)
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project shows a speed-up of 573.5x for the mutants located in focal methods with a quality score of 80%.
@InProceedings{A-TEST18p23,
author = {Sten Vercammen and Mohammad Ghafari and Serge Demeyer and Markus Borg},
title = {Goal-Oriented Mutation Testing with Focal Methods},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {23--30},
doi = {10.1145/3278186.3278190},
year = {2018},
}
Publisher's Version
A-TEST '18: "HDDr: A Recursive Variant ..."
HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
Ákos Kiss, Renáta Hodován, and Tibor Gyimóthy
(University of Szeged, Hungary)
The minimization of failure-inducing test cases is an important first step in the process of bug fixing. It helps focusing the expensive software engineering resources on the root of the problem by pruning down the excess from the input that is not contributing to the failure. Naturally, minimization is most helpful if it is automated. The original minimizing Delta Debugging algorithm and the follow-up Hierarchical Delta Debugging approach have been invented to give a solution to this challenge. Although automated, the minimization of inputs from real-life scenarios can take hours for both approaches. This paper builds on and improves the hierarchical minimization algorithm and experiments with a recursive variant called HDDr. After evaluating HDDr on various test cases, it turns out that it can give minimal results in 29–65% less time than the baseline hierarchical algorithm. On our largest test case, this means that the minimization process gets shorter by more than 4 hours.
@InProceedings{A-TEST18p16,
author = {Ákos Kiss and Renáta Hodován and Tibor Gyimóthy},
title = {HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {16--22},
doi = {10.1145/3278186.3278189},
year = {2018},
}
Publisher's Version
A-TEST '18: "Grammarinator: A Grammar-Based ..."
Grammarinator: A Grammar-Based Open Source Fuzzer
Renáta Hodován, Ákos Kiss, and Tibor Gyimóthy
(University of Szeged, Hungary)
Fuzzing, or random testing, is an increasingly popular testing technique. The power of the approach lies in its ability to generate a large number of useful test cases without consuming expensive manpower. Furthermore, because of the randomness, it can often produce unusual cases that would be beyond the awareness of a human tester. In this paper, we present Grammarinator, a general purpose test generator tool that is able to utilize existing parser grammars as models. Since the model can act both as a parser and as a generator, the tool can provide the capabilities of both generation and mutation-based fuzzers. The presented tool is actively used to test various JavaScript engines and has found more than 100 unique issues.
@InProceedings{A-TEST18p45,
author = {Renáta Hodován and Ákos Kiss and Tibor Gyimóthy},
title = {Grammarinator: A Grammar-Based Open Source Fuzzer},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {45--48},
doi = {10.1145/3278186.3278193},
year = {2018},
}
Publisher's Version
A-TEST '18: "HDDr: A Recursive Variant ..."
HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
Ákos Kiss, Renáta Hodován, and Tibor Gyimóthy
(University of Szeged, Hungary)
The minimization of failure-inducing test cases is an important first step in the process of bug fixing. It helps focusing the expensive software engineering resources on the root of the problem by pruning down the excess from the input that is not contributing to the failure. Naturally, minimization is most helpful if it is automated. The original minimizing Delta Debugging algorithm and the follow-up Hierarchical Delta Debugging approach have been invented to give a solution to this challenge. Although automated, the minimization of inputs from real-life scenarios can take hours for both approaches. This paper builds on and improves the hierarchical minimization algorithm and experiments with a recursive variant called HDDr. After evaluating HDDr on various test cases, it turns out that it can give minimal results in 29–65% less time than the baseline hierarchical algorithm. On our largest test case, this means that the minimization process gets shorter by more than 4 hours.
@InProceedings{A-TEST18p16,
author = {Ákos Kiss and Renáta Hodován and Tibor Gyimóthy},
title = {HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {16--22},
doi = {10.1145/3278186.3278189},
year = {2018},
}
Publisher's Version
A-TEST '18: "Grammarinator: A Grammar-Based ..."
Grammarinator: A Grammar-Based Open Source Fuzzer
Renáta Hodován, Ákos Kiss, and Tibor Gyimóthy
(University of Szeged, Hungary)
Fuzzing, or random testing, is an increasingly popular testing technique. The power of the approach lies in its ability to generate a large number of useful test cases without consuming expensive manpower. Furthermore, because of the randomness, it can often produce unusual cases that would be beyond the awareness of a human tester. In this paper, we present Grammarinator, a general purpose test generator tool that is able to utilize existing parser grammars as models. Since the model can act both as a parser and as a generator, the tool can provide the capabilities of both generation and mutation-based fuzzers. The presented tool is actively used to test various JavaScript engines and has found more than 100 unique issues.
@InProceedings{A-TEST18p45,
author = {Renáta Hodován and Ákos Kiss and Tibor Gyimóthy},
title = {Grammarinator: A Grammar-Based Open Source Fuzzer},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {45--48},
doi = {10.1145/3278186.3278193},
year = {2018},
}
Publisher's Version
A-TEST '18: "Random Testing of Compilers’ ..."
Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison
Kota Kitaura and Nagisa Ishiura
(Kwansei Gakuin University, Japan)
This paper proposes an automated test method for detecting performance bugs in compilers. It is based on differential random testing, in which randomly generated programs are compiled by two different compilers and resulting pairs of assembly codes are compared. Our method attempts to achieve efficient and accurate detection of performance difference, by combining dynamic measurement of execution time with static assembly-level comparison and test program minimization. In the first step, discrepant pairs of code sections in the assembly codes are extracted, and then the sums of the weights of discrepant instructions in the sections are computed. If significant differences are detected, the test program is reduced to a small program that still exhibits the static difference and then the actual execution time of the codes are compared. A test system has been implemented on top of the random test system Orange4, which has successfully detected a regression in the optimizer of a development version of GCC-8.0.0 (latest as of May, 2017).
@InProceedings{A-TEST18p38,
author = {Kota Kitaura and Nagisa Ishiura},
title = {Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {38--44},
doi = {10.1145/3278186.3278192},
year = {2018},
}
Publisher's Version
A-TEST '18: "Extending Equivalence Transformation ..."
Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Shogo Takakura, Mitsuyoshi Iwatsuji, and Nagisa Ishiura
(Kwansei Gakuin University, Japan)
This paper proposes a method of reinforcing random program generation for automated testing of C compilers. Although program generation based on equivalence transformation is a promising method for detecting deep bugs in compilers, the range of syntax it can cover has been narrower than the production rule based methods. While the conventional method based on equivalence transformation can only generate programs with scalar variables, assign statements, if and for statements, the proposed method attempts to extend them to handle arrays, structures, unions, as well as while and switch statements and function calls. A random test system, Orange4, extended with the proposed method has detected bugs in the latest development versions of GCC-8.0.0 and LLVM/Clang-6.0 which had been missed by the existing test methods.
@InProceedings{A-TEST18p9,
author = {Shogo Takakura and Mitsuyoshi Iwatsuji and Nagisa Ishiura},
title = {Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {9--15},
doi = {10.1145/3278186.3278188},
year = {2018},
}
Publisher's Version
A-TEST '18: "Extending Equivalence Transformation ..."
Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Shogo Takakura, Mitsuyoshi Iwatsuji, and Nagisa Ishiura
(Kwansei Gakuin University, Japan)
This paper proposes a method of reinforcing random program generation for automated testing of C compilers. Although program generation based on equivalence transformation is a promising method for detecting deep bugs in compilers, the range of syntax it can cover has been narrower than the production rule based methods. While the conventional method based on equivalence transformation can only generate programs with scalar variables, assign statements, if and for statements, the proposed method attempts to extend them to handle arrays, structures, unions, as well as while and switch statements and function calls. A random test system, Orange4, extended with the proposed method has detected bugs in the latest development versions of GCC-8.0.0 and LLVM/Clang-6.0 which had been missed by the existing test methods.
@InProceedings{A-TEST18p9,
author = {Shogo Takakura and Mitsuyoshi Iwatsuji and Nagisa Ishiura},
title = {Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {9--15},
doi = {10.1145/3278186.3278188},
year = {2018},
}
Publisher's Version
A-TEST '18: "Reinforcement Learning for ..."
Reinforcement Learning for Android GUI Testing
David Adamo, Md Khorrom Khan, Sreedevi Koppula, and Renée Bryce
(Ultimate Software, USA; University of North Texas, USA)
This paper presents a reinforcement learning approach to automated GUI testing of Android apps. We use a test generation algorithm based on Q-learning to systematically select events and explore the GUI of an application under test without requiring a preexisting abstract model. We empirically evaluate the algorithm on eight Android applications and find that the proposed approach generates test suites that achieve between 3.31% to 18.83% better block-level code coverage than random test generation.
@InProceedings{A-TEST18p2,
author = {David Adamo and Md Khorrom Khan and Sreedevi Koppula and Renée Bryce},
title = {Reinforcement Learning for Android GUI Testing},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {2--8},
doi = {10.1145/3278186.3278187},
year = {2018},
}
Publisher's Version
A-TEST '18: "Abstract Flow Learning for ..."
Abstract Flow Learning for Web Application Test Generation
Dionny Santiago, Peter J. Clarke, Patrick Alt, and Tariq M. King
(Florida International University, USA; Ultimate Software, USA)
Achieving high software quality today involves manual analysis, test planning, documentation of testing strategy and test cases, and the development of scripts to support automated regression testing. To keep pace with software evolution, test artifacts must also be frequently updated. Although test automation practices help mitigate the cost of regression testing, a large gap exists between the current paradigm and fully automated software testing. Researchers and practitioners are realizing the potential for artificial intelligence and machine learning (ML) to help bridge the gap between the testing capabilities of humans and those of machines. This paper presents an ML approach that combines a language specification that includes a grammar that can be used to describe test flows, and a trainable test flow generation model, in order to generate tests in a way that is trainable, reusable across different applications, and generalizable to new applications.
@InProceedings{A-TEST18p49,
author = {Dionny Santiago and Peter J. Clarke and Patrick Alt and Tariq M. King},
title = {Abstract Flow Learning for Web Application Test Generation},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {49--55},
doi = {10.1145/3278186.3278194},
year = {2018},
}
Publisher's Version
A-TEST '18: "HDDr: A Recursive Variant ..."
HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
Ákos Kiss, Renáta Hodován, and Tibor Gyimóthy
(University of Szeged, Hungary)
The minimization of failure-inducing test cases is an important first step in the process of bug fixing. It helps focusing the expensive software engineering resources on the root of the problem by pruning down the excess from the input that is not contributing to the failure. Naturally, minimization is most helpful if it is automated. The original minimizing Delta Debugging algorithm and the follow-up Hierarchical Delta Debugging approach have been invented to give a solution to this challenge. Although automated, the minimization of inputs from real-life scenarios can take hours for both approaches. This paper builds on and improves the hierarchical minimization algorithm and experiments with a recursive variant called HDDr. After evaluating HDDr on various test cases, it turns out that it can give minimal results in 29–65% less time than the baseline hierarchical algorithm. On our largest test case, this means that the minimization process gets shorter by more than 4 hours.
@InProceedings{A-TEST18p16,
author = {Ákos Kiss and Renáta Hodován and Tibor Gyimóthy},
title = {HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {16--22},
doi = {10.1145/3278186.3278189},
year = {2018},
}
Publisher's Version
A-TEST '18: "Grammarinator: A Grammar-Based ..."
Grammarinator: A Grammar-Based Open Source Fuzzer
Renáta Hodován, Ákos Kiss, and Tibor Gyimóthy
(University of Szeged, Hungary)
Fuzzing, or random testing, is an increasingly popular testing technique. The power of the approach lies in its ability to generate a large number of useful test cases without consuming expensive manpower. Furthermore, because of the randomness, it can often produce unusual cases that would be beyond the awareness of a human tester. In this paper, we present Grammarinator, a general purpose test generator tool that is able to utilize existing parser grammars as models. Since the model can act both as a parser and as a generator, the tool can provide the capabilities of both generation and mutation-based fuzzers. The presented tool is actively used to test various JavaScript engines and has found more than 100 unique issues.
@InProceedings{A-TEST18p45,
author = {Renáta Hodován and Ákos Kiss and Tibor Gyimóthy},
title = {Grammarinator: A Grammar-Based Open Source Fuzzer},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {45--48},
doi = {10.1145/3278186.3278193},
year = {2018},
}
Publisher's Version
A-TEST '18: "Random Testing of Compilers’ ..."
Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison
Kota Kitaura and Nagisa Ishiura
(Kwansei Gakuin University, Japan)
This paper proposes an automated test method for detecting performance bugs in compilers. It is based on differential random testing, in which randomly generated programs are compiled by two different compilers and resulting pairs of assembly codes are compared. Our method attempts to achieve efficient and accurate detection of performance difference, by combining dynamic measurement of execution time with static assembly-level comparison and test program minimization. In the first step, discrepant pairs of code sections in the assembly codes are extracted, and then the sums of the weights of discrepant instructions in the sections are computed. If significant differences are detected, the test program is reduced to a small program that still exhibits the static difference and then the actual execution time of the codes are compared. A test system has been implemented on top of the random test system Orange4, which has successfully detected a regression in the optimizer of a development version of GCC-8.0.0 (latest as of May, 2017).
@InProceedings{A-TEST18p38,
author = {Kota Kitaura and Nagisa Ishiura},
title = {Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {38--44},
doi = {10.1145/3278186.3278192},
year = {2018},
}
Publisher's Version
A-TEST '18: "Reinforcement Learning for ..."
Reinforcement Learning for Android GUI Testing
David Adamo, Md Khorrom Khan, Sreedevi Koppula, and Renée Bryce
(Ultimate Software, USA; University of North Texas, USA)
This paper presents a reinforcement learning approach to automated GUI testing of Android apps. We use a test generation algorithm based on Q-learning to systematically select events and explore the GUI of an application under test without requiring a preexisting abstract model. We empirically evaluate the algorithm on eight Android applications and find that the proposed approach generates test suites that achieve between 3.31% to 18.83% better block-level code coverage than random test generation.
@InProceedings{A-TEST18p2,
author = {David Adamo and Md Khorrom Khan and Sreedevi Koppula and Renée Bryce},
title = {Reinforcement Learning for Android GUI Testing},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {2--8},
doi = {10.1145/3278186.3278187},
year = {2018},
}
Publisher's Version
A-TEST '18: "Test Patterns for IoT ..."
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima, and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)
The Internet of Things (IoT) is expected to bring forward new promising solutions in various domains. Consequently, it can impact many aspects of everyday life, and errors can have serious consequences. Despite this, there is a lack of standard testing processes and methods, which poses a major challenge for IoT testing. Nonetheless, closer examination makes it possible to identify a set of recurring behaviors of IoT applications and a set of corresponding test strategies. This paper formalizes the notion of a Pattern-Based IoT Testing method for systematizing and automating the testing of IoT ecosystems. It consists in a set of test strategies for recurring behaviors of the IoT system, which can be defined as IoT Test Patterns.
@InProceedings{A-TEST18p63,
author = {Pedro Martins Pontes and Bruno Lima and João Pascoal Faria},
title = {Test Patterns for IoT},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {63--66},
doi = {10.1145/3278186.3278196},
year = {2018},
}
Publisher's Version
A-TEST '18: "Property-Based Testing for ..."
Property-Based Testing for the Robot Operating System
André Santos, Alcino Cunha, and Nuno Macedo
(INESC TEC, Portugal; University of Minho, Portugal)
The Robot Operating System (ROS) is an open source framework for the development of robotic software, in which a typical system consists of multiple processes communicating under a publisher-subscriber architecture. A great deal of development time goes into orchestration and making sure that the communication interfaces comply with the expected contracts (e.g. receiving a message leads to the publication of another message). Orchestration mistakes are only detected during runtime, stressing the importance of component and integration testing in the verification process. Property-based Testing is fitting in this context, since it is based on the specification of contracts and treats tested components as black boxes, but there is no support for it in ROS. In this paper, we present a first approach towards automatic generation of test scripts for property-based testing of various configurations of a ROS system.
@InProceedings{A-TEST18p56,
author = {André Santos and Alcino Cunha and Nuno Macedo},
title = {Property-Based Testing for the Robot Operating System},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {56--62},
doi = {10.1145/3278186.3278195},
year = {2018},
}
Publisher's Version
A-TEST '18: "Test Patterns for IoT ..."
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima, and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)
The Internet of Things (IoT) is expected to bring forward new promising solutions in various domains. Consequently, it can impact many aspects of everyday life, and errors can have serious consequences. Despite this, there is a lack of standard testing processes and methods, which poses a major challenge for IoT testing. Nonetheless, closer examination makes it possible to identify a set of recurring behaviors of IoT applications and a set of corresponding test strategies. This paper formalizes the notion of a Pattern-Based IoT Testing method for systematizing and automating the testing of IoT ecosystems. It consists in a set of test strategies for recurring behaviors of the IoT system, which can be defined as IoT Test Patterns.
@InProceedings{A-TEST18p63,
author = {Pedro Martins Pontes and Bruno Lima and João Pascoal Faria},
title = {Test Patterns for IoT},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {63--66},
doi = {10.1145/3278186.3278196},
year = {2018},
}
Publisher's Version
A-TEST '18: "Improving Regression Testing ..."
Improving Regression Testing in Continuous Integration Development Environments (Keynote)
Gregg Rothermel
(North Carolina State University, USA)
In continuous integration development environments, software engineers frequently integrate new or changed code with the mainline codebase. Merged code is then regression tested to help ensure that the codebase remains stable and that continuing engineering efforts can be performed more reliably. Continuous integration is advantageous because it can reduce the amount of code rework that is needed in later phases of development, and speed up overall development time. From a testing standpoint, however, continuous integration raises several challenges.
Chief among these challenges are the costs, in terms and time and resources, associated with handling a constant flow of requests to execute tests. To help with this, organizations often utilize farms of servers to run tests in parallel, or execute tests "in the cloud", but even then, test suites tend to expand to utilize all available resources, and then continue to expand beyond that.
We have been investigating strategies for applying regression testing in continuous integration development environments more cost-effectively. Our strategies are based on two well-researched techniques for improving the cost-effectiveness of regression testing – regression test selection (RTS) and test case prioritization (TCP). In the continuous integration context, however, traditional RTS and TCP techniques are difficult to apply, because these techniques rely on instrumentation and analyses that cannot easily be applied to fast-arriving streams of test suites.
We have thus created new forms of RTS and TCP techniques that utilize relatively lightweight analyses, that can cope with the volume of test requests. To evaluate our techniques, we have conducted an empirical study on several large data sets. In this talk, I describe our techniques and the empirical results we have obtained in studying them.
@InProceedings{A-TEST18p1,
author = {Gregg Rothermel},
title = {Improving Regression Testing in Continuous Integration Development Environments (Keynote)},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {1--1},
doi = {10.1145/3278186.3281454},
year = {2018},
}
Publisher's Version
A-TEST '18: "Abstract Flow Learning for ..."
Abstract Flow Learning for Web Application Test Generation
Dionny Santiago, Peter J. Clarke, Patrick Alt, and Tariq M. King
(Florida International University, USA; Ultimate Software, USA)
Achieving high software quality today involves manual analysis, test planning, documentation of testing strategy and test cases, and the development of scripts to support automated regression testing. To keep pace with software evolution, test artifacts must also be frequently updated. Although test automation practices help mitigate the cost of regression testing, a large gap exists between the current paradigm and fully automated software testing. Researchers and practitioners are realizing the potential for artificial intelligence and machine learning (ML) to help bridge the gap between the testing capabilities of humans and those of machines. This paper presents an ML approach that combines a language specification that includes a grammar that can be used to describe test flows, and a trainable test flow generation model, in order to generate tests in a way that is trainable, reusable across different applications, and generalizable to new applications.
@InProceedings{A-TEST18p49,
author = {Dionny Santiago and Peter J. Clarke and Patrick Alt and Tariq M. King},
title = {Abstract Flow Learning for Web Application Test Generation},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {49--55},
doi = {10.1145/3278186.3278194},
year = {2018},
}
Publisher's Version
A-TEST '18: "Property-Based Testing for ..."
Property-Based Testing for the Robot Operating System
André Santos, Alcino Cunha, and Nuno Macedo
(INESC TEC, Portugal; University of Minho, Portugal)
The Robot Operating System (ROS) is an open source framework for the development of robotic software, in which a typical system consists of multiple processes communicating under a publisher-subscriber architecture. A great deal of development time goes into orchestration and making sure that the communication interfaces comply with the expected contracts (e.g. receiving a message leads to the publication of another message). Orchestration mistakes are only detected during runtime, stressing the importance of component and integration testing in the verification process. Property-based Testing is fitting in this context, since it is based on the specification of contracts and treats tested components as black boxes, but there is no support for it in ROS. In this paper, we present a first approach towards automatic generation of test scripts for property-based testing of various configurations of a ROS system.
@InProceedings{A-TEST18p56,
author = {André Santos and Alcino Cunha and Nuno Macedo},
title = {Property-Based Testing for the Robot Operating System},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {56--62},
doi = {10.1145/3278186.3278195},
year = {2018},
}
Publisher's Version
A-TEST '18: "A Reinforcement Learning Based ..."
A Reinforcement Learning Based Approach to Automated Testing of Android Applications
Thi Anh Tuyet Vuong and Shingo Takada
(Keio University, Japan)
In recent years, researchers have actively proposed tools to automate testing for Android applications. Their techniques, however, still encounter major difficulties. First is the difficulty of achieving high code coverage because applications usually have a large number of possible combinations of operations and transitions, which makes testing all possible scenarios time-consuming and ineffective for large systems. Second is the difficulty of achieving a wide range of application functionalities, because some functionalities can only be reached through a specific sequence of events. Therefore they are tested less often in random testing. Facing these problems, we apply a reinforcement learning algorithm called Q-learning to take advantage of both random and model-based testing. A Q-learning agent interacts with the Android application, builds a behavioral model gradually and generates test cases based on the model. The agent explores the application in an optimal way that reveals as much functionalities of the application as possible. The exploration using Q-learning improves code coverage in comparison to random and model-based testing and is able to detect faults in applications under test.
@InProceedings{A-TEST18p31,
author = {Thi Anh Tuyet Vuong and Shingo Takada},
title = {A Reinforcement Learning Based Approach to Automated Testing of Android Applications},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {31--37},
doi = {10.1145/3278186.3278191},
year = {2018},
}
Publisher's Version
A-TEST '18: "Extending Equivalence Transformation ..."
Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Shogo Takakura, Mitsuyoshi Iwatsuji, and Nagisa Ishiura
(Kwansei Gakuin University, Japan)
This paper proposes a method of reinforcing random program generation for automated testing of C compilers. Although program generation based on equivalence transformation is a promising method for detecting deep bugs in compilers, the range of syntax it can cover has been narrower than the production rule based methods. While the conventional method based on equivalence transformation can only generate programs with scalar variables, assign statements, if and for statements, the proposed method attempts to extend them to handle arrays, structures, unions, as well as while and switch statements and function calls. A random test system, Orange4, extended with the proposed method has detected bugs in the latest development versions of GCC-8.0.0 and LLVM/Clang-6.0 which had been missed by the existing test methods.
@InProceedings{A-TEST18p9,
author = {Shogo Takakura and Mitsuyoshi Iwatsuji and Nagisa Ishiura},
title = {Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {9--15},
doi = {10.1145/3278186.3278188},
year = {2018},
}
Publisher's Version
A-TEST '18: "Goal-Oriented Mutation Testing ..."
Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, and Markus Borg
(University of Antwerp, Belgium; University of Bern, Switzerland; RISE SICS, Sweden)
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project shows a speed-up of 573.5x for the mutants located in focal methods with a quality score of 80%.
@InProceedings{A-TEST18p23,
author = {Sten Vercammen and Mohammad Ghafari and Serge Demeyer and Markus Borg},
title = {Goal-Oriented Mutation Testing with Focal Methods},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {23--30},
doi = {10.1145/3278186.3278190},
year = {2018},
}
Publisher's Version
A-TEST '18: "A Reinforcement Learning Based ..."
A Reinforcement Learning Based Approach to Automated Testing of Android Applications
Thi Anh Tuyet Vuong and Shingo Takada
(Keio University, Japan)
In recent years, researchers have actively proposed tools to automate testing for Android applications. Their techniques, however, still encounter major difficulties. First is the difficulty of achieving high code coverage because applications usually have a large number of possible combinations of operations and transitions, which makes testing all possible scenarios time-consuming and ineffective for large systems. Second is the difficulty of achieving a wide range of application functionalities, because some functionalities can only be reached through a specific sequence of events. Therefore they are tested less often in random testing. Facing these problems, we apply a reinforcement learning algorithm called Q-learning to take advantage of both random and model-based testing. A Q-learning agent interacts with the Android application, builds a behavioral model gradually and generates test cases based on the model. The agent explores the application in an optimal way that reveals as much functionalities of the application as possible. The exploration using Q-learning improves code coverage in comparison to random and model-based testing and is able to detect faults in applications under test.
@InProceedings{A-TEST18p31,
author = {Thi Anh Tuyet Vuong and Shingo Takada},
title = {A Reinforcement Learning Based Approach to Automated Testing of Android Applications},
booktitle = {Proc.\ A-TEST},
publisher = {ACM},
pages = {31--37},
doi = {10.1145/3278186.3278191},
year = {2018},
}
Publisher's Version