Stream Generation
ConceptStream generation is the test-program generation level that decides which instructions appear in a generated test and in what order. In Genesys-Pro, it is primarily driven by sequencing-control statements in a user test template, uses stream solvers that recursively invoke substatement solvers, and ultimately delegates concrete instruction creation to a single-instruction solver.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 2 chunks
Wiki v1
WIKI
Definition
Stream generation is one of the two levels of test program generation described for Genesys-Pro. It determines which instructions appear in a test and the order in which they appear, while instruction-level generation creates the specific instruction instances. [C1]
Role in Genesys-Pro
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsStream generation is part of the Genesys-Pro generation engine
CITATIONS
10 sources10 citations — click to expand
[1] C1: Test program generation occurs at stream and single-instruction levels; stream-level generation determines which instructions appear and their order, while instruction-level generation creates specific instruction instances. [PDF] Genesys-pro: innovations in test program generation for functional ...
[2] C2: The Genesys-Pro generation engine takes a test template and declarative architecture model as input, produces a scenario-compliant test program, and uses pseudorandom generation with generic biasing constraints to vary noncritical parameters. [PDF] Genesys-pro: innovations in test program generation for functional ...
[3] C3: Sequencing-control statements in the user test template primarily drive stream generation; Genesys-Pro associates stream solvers with control statements, recursively invokes substatement solvers, and terminates recursive paths with the single-instruction solver. [PDF] Genesys-pro: innovations in test program generation for functional ...
[4] C4: Users can express dependencies between instructions in the stream through shared variables and generic biases. [PDF] Genesys-pro: innovations in test program generation for functional ...
[5] C5: When generating a statement, the engine considers only previously generated instructions and not later requests, which can increase the possibility of later generation failures. [PDF] Genesys-pro: innovations in test program generation for functional ...
[6] C6: Genesys-Pro can reduce generation failures by detecting failures before they occur and injecting special instructions, including register reloading through injected load instructions for bounded resource families such as floating-point registers. [PDF] Genesys-pro: innovations in test program generation for functional ...
[7] C7: Stream solvers have rollback capabilities that let them retry substatement generation after failure, such as rolling back a failed Add generation attempt and selecting another substatement such as Sub. [PDF] Genesys-pro: innovations in test program generation for functional ...
[8] C8: The stream solver allows controlled generation of reentrant instructions such as procedure calls, recurring interrupts, user-defined loops, and self-modifying code; prohibiting randomly generated loops protects against infinite loops. [PDF] Genesys-pro: innovations in test program generation for functional ...
[9] C9: For multiprocessor or multithreaded designs, the stream solver creates separate instruction sequences for each processor or thread and may involve synchronization mechanisms. [PDF] Genesys-pro: innovations in test program generation for functional ...
[10] C10: Generating a single instruction is handled as a constraint satisfaction problem in which the engine formulates the request as a CSP, the instruction solver finds a solution, and an instruction instance satisfying constraints is produced. [PDF] Genesys-pro: innovations in test program generation for functional ...