InfoTestSS: Information theory and Test Suite Selection
Lead Research Organisation:
University of Sheffield
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
Publications
Patel K
(2022)
An information theoretic notion of software testability
in Information and Software Technology
Ibias A
(2021)
Using mutual information to test from Finite State Machines: Test suite selection
in Information and Software Technology
Ibias A
(2019)
Using Squeeziness to test component-based systems defined as Finite State Machines
in Information and Software Technology
Clark D
(2019)
Normalised Squeeziness and Failed Error Propagation
in Information Processing Letters
Patel K
(2019)
A partial oracle for uniformity statistics
in Software Quality Journal
Counsell S
(2021)
Are 20% of Classes Responsible for 80% of Refactorings?
Description | We were able to show how the testability of a piece of software can be captured by an Information Theoretic measure. This allows the tester to determine how easy it will be to find any faults present and so provides guidance regarading the amount of testing required. We also demonstrated that testing can be directed based on Information Theory (to make it more effective) and that one can also reason about the effectiveness of test oracles that check whether a test execution is correct. Please see the Key Findings of EPSRC Grant EP/P005888/1 |
Exploitation Route | Through devising new automated test generation algorithms and oracle placement algorithms that make testing more efficient and effective - and implementing those we developed. Please see the Key Findings of EPSRC Grant EP/P005888/1 |
Sectors | Aerospace Defence and Marine Digital/Communication/Information Technologies (including Software) |
Description | Please see the Impact summary of EPSRC Grant EP/P005888/1 |
Title | An Information Theoretic Notion of Software Testability: Data |
Description | Data used in the paper, broken down by Research Questions.Patel, K. et al. (2021) 'An information theoretic notion of software testability', Information and Software Technology. https://doi.org/10.1016/j.infsof.2021.106759 |
Type Of Material | Database/Collection of data |
Year Produced | 2021 |
Provided To Others? | Yes |
URL | https://figshare.shef.ac.uk/articles/dataset/An_Information_Theoretic_Notion_of_Software_Testability... |
Title | Experimental data from paper "Using Squeeziness to test component-based systems defined as Finite State Machines" |
Description | Experimental data for simulations from the paper "Using Squeeziness to test component-based systems defined as Finite State Machines" |
Type Of Material | Database/Collection of data |
Year Produced | 2019 |
Provided To Others? | Yes |
URL | https://figshare.shef.ac.uk/articles/dataset/Experimental_data_from_paper_Using_Squeeziness_to_test_... |
Title | Experimental data from paper "Using Squeeziness to test component-based systems defined as Finite State Machines" |
Description | Experimental data for simulations from the paper "Using Squeeziness to test component-based systems defined as Finite State Machines" |
Type Of Material | Database/Collection of data |
Year Produced | 2019 |
Provided To Others? | Yes |
URL | https://figshare.shef.ac.uk/articles/dataset/Experimental_data_from_paper_Using_Squeeziness_to_test_... |