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.

Publications

10 25 50
publication icon
Clark D (2019) Normalised Squeeziness and Failed Error Propagation in Information Processing Letters

publication icon
Ibias A (2019) Using Squeeziness to test component-based systems defined as Finite State Machines in Information and Software Technology

publication icon
Patel K (2019) A partial oracle for uniformity statistics in Software Quality Journal

publication icon
Ibias A (2021) Using mutual information to test from Finite State Machines: Test suite selection in Information and Software Technology

publication icon
Patel K (2022) An information theoretic notion of software testability in Information and Software Technology

 
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_...