Heuristics Applied to Mutation Testing in an Impure Functional Programming Language
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 6
Abstract
The task of elaborating accurate test suites for pro-gram testing can be an extensive computational work. Mutation testing is not immune to the problem of being a computational and time-consuming task so that it has found relief in the use of heuristic techniques. The use of Genetic Algorithms in mutation testing has proved to be useful for probing test suites, but it has mainly been enclosed only in the field of imperative programming paradigms. Therefore, we decided to test the feasibility of using Genetic Algorithms for performing mutation testing in functional programming environments. We tested our proposal by making a graph representations of four different functional programs and applied a Genetic Algorithm to generate a population of mutant programs. We found that it is possible to obtain a set of mutants that could find flaws in test suites in functional programming languages. Additionally, we encountered that when a source code increases its number of instructions it was simpler for a genetic algorithm to find a mutant that can avoid all of the test cases.
Authors and Affiliations
Juan Guti errez-C´ardenas, Hernan Quintana-Cruz, Diego Mego-Fernandez, Serguei Diaz-Baskakov
Keywords
Related Articles
- EP ID EP597481
- DOI 10.14569/IJACSA.2019.0100670
- Views 70
- Downloads 0
Comparison Shopping Engines
Since the stimulation of both feelings of need and temptation have become excessive with the spread of internet advertising, the e-consumer have begun to feel increasingly lost and overwhelmed by offers in a purchasing c...
Multi-Objective Optimization Algorithm to the Analyses of Diabetes Disease Diagnosis
There is huge amount of data available in health industry which is found difficult in handing, hence mining of data is necessary to innovate the hidden patterns and their relevant features. Recently, many researchers hav...
Recognition of Ironic Sentences in Twitter using Attention-Based LSTM
Analyzing written language is an interesting topic that has been studied by many disciplines. Recently, due to the explosive growth of Internet, social media has become an attractive source of searching and getting infor...
Electronic Health as a Component of G2C Services
This paper explores electronic health as a segment of electronic government. International practice in electronic health field and electronic health strategies adopted in Europe are analysed. Current practices in deliver...
The Implementation of Software Anti-Ageing Model towards Green and Sustainable Products
Software ageing is a phenomenon that normally occurs in a long running software. Progressive degradation of software performance is a symptom that shows software is getting aged and old. Researchers believe that the agei...