Generating Complete Controllable Test Suites for Distributed Testing
- Submitting institution
-
The University of Sheffield
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2559
- Type
- D - Journal article
- DOI
-
10.1109/tse.2014.2364035
- Title of journal
- IEEE Transactions on Software Engineering
- Article number
- -
- First page
- 279
- Volume
- 41
- Issue
- 3
- ISSN
- 0098-5589
- Open access status
- Out of scope for open access requirements
- Month of publication
- October
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
H - Testing
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first paper to formalise what it means for a test suite to be complete (find all faults in a class) for controllable distributed testing from a finite state machine. It also provides the first algorithm for generating a complete test suite - leading to automated generation of tests with guaranteed fault detection ability. The research has achieved influence, on an international scale, directly leading to Invited presentations at several universities (e.g. UCL, Madrid), the 2016 TAROT summer school, and keynote at the 11th Workshop on Advances in Model-based Software Testing http://msdl.cs.mcgill.ca/conferences/amost/20_program.dtml.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -