functional test program generation Wiki

Overview

Functional test program generation is evidenced as a named methodology in processor testing literature: Fallah and Takayama published “A new functional test program generation methodology” in the 2001 International Conference on Computer Design proceedings. The same bibliography appears in a paper titled “Test Program Generation for a Microprocessor: A Case Study,” placing the topic in the context of microprocessor test-program generation.

Technical context

The available evidence situates functional test program generation among several related approaches for processor validation and testing:

Reconfigurable model-based generation: Kamkin, Kornykhin, and Vorobyev are cited for “Reconfigurable model-based test program generator for microprocessors.”
Configurable random generation: Shen, Ma, and Zhang are cited for “CRPG: a configurable random test-program generator for microprocessors.”
Specification-driven directed generation: Mishra and Dutt are cited for “Specification-driven directed test generation for validation of pipelined processors.”

Together, these references show that test program generation for processors is treated as a family of techniques, including functional, model-based, random, and specification-driven directed variants.

Adjacent formal-methods and tooling context

The same source bibliography also cites formal methods and solver/tool references, including HOL-TestGen, Z3, Isabelle/HOL, and work on formal specification or verification of processors and microcode. This indicates that the microprocessor test-program-generation case-study literature was presented alongside formal verification, theorem proving, and automated solving references, although the provided evidence does not describe the internal algorithm of functional test program generation itself.

Evidence limitations

The provided evidence is a bibliography excerpt rather than a full method description. Therefore, this article only states relationships and terminology directly supported by the cited titles and bibliographic entries.