Arab, Ali - Examining the Impact of Propagating and Partitioning for Mutation Analysis of C Programs...

View the thesis

This thesis has been submitted to the Library for purposes of graduation, but needs to be audited for technical details related to publication in order to be approved for inclusion in the Library collection.
Term: 
Summer 2017
Degree: 
M.Sc.
Degree type: 
Thesis
Department: 
School of Computing Science
Faculty: 
Applied Sciences
Senior supervisor: 
William (Nick) Sumner
Thesis title: 
Examining the Impact of Propagating and Partitioning for Mutation Analysis of C Programs
Given Names: 
Ali
Surname: 
Arab
Abstract: 
Mutation analysis is a technique for assessing the quality of test suites by seeding artificial defects into a program. The application of this method is still limited as it places a high demand on computational resources. There are techniques called infection, propagation, and partitioning that leverage the information available at run-time to reduce the execution time of mutation analysis. Although the effectiveness of these techniques has been investigated for Java, it is not known how they behave on programs written in low-level languages such as C. This thesis makes contributions toward investigating the effectiveness and efficiency of infection, propagation, and partitioning optimizations for programs written in C. It also explores the impact of statically pruning redundant mutants on these optimizations. The analysis of five real-world applications, with 402,000 lines of code in total, suggests that while infection might have the same effectiveness in C and Java, propagation and partitioning could be more effective for C. Additionally, it shows that static pruning reduces the impact of infection, propagation, and partitioning by around 5%, 7.29%, and 11.90% respectively.
Keywords: 
Mutation Analysis; Program Analysis
Total pages: 
47