Harman, M;
Jia, Y;
Zhang, Y;
(2015)
Achievements, open problems and challenges for search based software testing.
In: Wotawa, F and Fraser, G and Marinov, D, (eds.)
Proceedings of 2015 IEEE International Conference on Software Testing, Verification and Validation (ICST).
IEEE: Graz, Austria.
Preview |
Text
Jia_Achievements_icst15.pdf - Accepted Version Download (350kB) | Preview |
Abstract
Search Based Software Testing (SBST) formulates testing as an optimisation problem, which can be attacked using computational search techniques from the field of Search Based Software Engineering (SBSE). We present an analysis of the SBST research agenda, focusing on the open problems and challenges of testing non-functional properties, in particular a topic we call 'Search Based Energy Testing' (SBET), Multi-objective SBST and SBST for Test Strategy Identification. We conclude with a vision of FIFIVERIFY tools, which would automatically find faults, fix them and verify the fixes. We explain why we think such FIFIVERIFY tools constitute an exciting challenge for the SBSE community that already could be within its reach.
Type: | Proceedings paper |
---|---|
Title: | Achievements, open problems and challenges for search based software testing |
Event: | 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
Location: | Graz, AUSTRIA |
Dates: | 13 April 2015 - 17 April 2015 |
ISBN-13: | 9781479971251 |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1109/ICST.2015.7102580 |
Publisher version: | http://dx.doi.org/10.1109/ICST.2015.7102580 |
Language: | English |
Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
Keywords: | Science & technology, technology, computer science, software engineering, computer science, theory & methods, engineering, electrical & electronic, computer science, engineering, test data generation, multiobjective optimization, verification, programs, algorithms, framework, systems. |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/1499459 |
Archive Staff Only
View Item |