Skip to Main content Skip to Navigation
New interface
Conference papers

Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing

Pierre-Cyrille Héam 1 Cyril Nicaud 2 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Random testing represents a simple and tractable way for software assessment. This paper presents the Seed tool that can be used for the uniform random generation of recursive data structures such as labelled trees and logical formulas. We show how Seed can be used in several testing contexts, from model based testing to performance testing. Generated data structures are defined by grammar-like rules, given in an XML format, multiplying Seed possible applications. Seed is based on combinatorial techniques, and can generate uniformly at random k structures of size n with an efficient time complexity. Finally, Seed is available as a free Java application and a great effort has been made to make it easy-to-use.
Document type :
Conference papers
Complete list of metadata
Contributor : Cyril Nicaud Connect in order to contact the contributor
Submitted on : Wednesday, September 7, 2011 - 4:13:38 PM
Last modification on : Tuesday, October 25, 2022 - 4:19:56 PM

Links full text



Pierre-Cyrille Héam, Cyril Nicaud. Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing. 4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11), Mar 2011, Berlin, Germany. pp.60 - 69, ⟨10.1109/ICST.2011.31⟩. ⟨hal-00620373⟩



Record views