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 102
- Downloads 0
Visualizing Computer Programming in a Computer-based Simulated Environment
This paper investigated the challenges presented by computer programming (sequential/traditional, concurrent and parallel) for novice programmers and developers. The researcher involved Higher Education in Computer Scien...
Crypto-Steganographic LSB-based System for AES-Encrypted Data
The purpose of this work is to increase the level of concealment of information from unauthorized access by pre-encrypting and hiding it in multimedia files such as images. A crypto-steganographic information protection...
Review of Image Compression and Encryption Techniques
In line with a growing need for data and information transmission in a safe and quick manner, researches on image protection and security through a combination of cryptographic and compression techniques begin to take fo...
Literature Survey of previous research work in Models and Methodologies in Project Management
This paper provides a survey of the existing literature and research carried out in the area of project management using different models, methodologies, and frameworks. Project Management (PM) broadly means programme ma...
A Low Complexity based Edge Color Matching Algorithm for Regular Bipartite Multigraph
An edge coloring of a graph G is a process of assigning colors to the adjacent edges so that the adjacent edges represents the different colors. In this paper, an algorithm is proposed to find the perfect color matching...