Model-based Test Generation
TechniqueModel-based test generation is an automated testing technique in which a model or input-format specification guides the creation of test cases or processor-level stimuli. Evidence from processor-verification work describes model-based generators as using input specifications, constraints processed by CSP/SMT solvers, cross-instruction constraint propagation, and automatically mined input models; other public work applies model-based generation to domain-specific test modeling and web-app regression testing.
WIKI
Overview
Model-based test generation is an automated test-generation technique in which a model or input-format specification guides the generation process. In processor-level verification literature, model-based test generators are described as using an input-format specification to guide generation, with optional constraints processed by CSP/SMT solvers. [Model-based generation definition]
The technique is discussed as one response to the limitations of unguided random generation of processor-level stimuli: the cited ISS-verification paper states that various approaches have been proposed to improve random generation, then lists model-based test generators among them. [Processor-stimulus context]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →