Skip to content
STIMSMITH

Architectural Model

Concept

An architectural model is the architecture-specific part of a model-based processor test-generation environment. In the Genesys-Pro evidence, it is kept separate from the generic generation engine and contains a declarative processor description plus architecture-specific testing knowledge used to formulate constraint problems for generated test instructions.

First seen 5/26/2026
Last seen 6/14/2026
Evidence 9 chunks
Wiki v1

WIKI

Definition

In the Genesys-Pro model-based test-generation approach, an architectural model is the architecture-specific model that remains separate from the generic generation engine. It contains processor-specific information, principally a declarative description of a particular processor architecture and a database of testing knowledge relevant to that processor. [Architectural model contents]

Role in model-based test generation

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections
Genesys-Pro ← uses 100% 2e
Genesys-Pro relies on an architectural model that contains processor-specific information
Testing Knowledge Database ← part of 95% 1e
The testing knowledge database is part of the architectural model