Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification

Autor:	Yuqin Zhou, Taku Sugihara, Yuji Sato
Rok vydání:	2015
Předmět:	Set (abstract data type) Program testing Test case Cover (telecommunications) Programming language Computer science Formal specification Genetic algorithm computer.software_genre Notation computer Tabu list
Zdroj:	Structured Object-Oriented Formal Language and Method ISBN: 9783319174037 SOFL+MSVL
DOI:	10.1007/978-3-319-17404-4_2
Popis:	How to generate adequate test cases based on a specification to cover all of the paths in its implementation is a challenge in software testing. This paper presents a new approach to selecting test cases for program testing. The essential idea is to generate a set of test cases based on a given operation specification in pre-post notation, and then apply the genetic algorithm to facilitate the generation of more effective test cases in terms of program path coverage. The principle of GA is discussed and an improvement of the GA through integration with Tabu list is presented. An experiment is conducted to study how the improved GA can be applied and to evaluate its effectiveness. The result shows that our proposed method is more efective than conventional methods and can cover all paths based on formal specification.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fe2851d5a14841ee8e86d09199379193 https://doi.org/10.1007/978-3-319-17404-4_2 Zobrazit plný text záznamu