Test Templates

Concept

Test templates are structured, parameterized specifications used to define and generate test cases in various testing methodologies, including model-based testing (such as the Test Template Framework for the Z notation), functional processor verification (as in IBM's Genesys-Pro tool), and dependability testing of distributed systems. They encapsulate testing knowledge and architectural modeling to systematically produce test cases that exercise specific scenarios or system properties.

First seen 6/9/2026

Last seen 6/9/2026

Evidence 1 chunks

Wiki v1

WIKI

Test Templates

Overview

Test templates are structured, reusable specifications that encode testing knowledge and architectural models to systematically generate test cases. They appear in several distinct testing contexts, including model-based testing, hardware functional verification, and dependability testing of distributed systems.

READ FULL ARTICLE →

NEIGHBORHOOD

2 nodes · 1 edges

graph · test templates · depth=1

RELATIONSHIPS

1 connections

Genesys-Pro ← uses 96% 1e

Genesys-Pro leverages test templates as a core mechanism for test generation.

LINKED ENTITIES

1 links

Genesys-Pro USES Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] Genesys-Pro is the main test generation tool for functional verification of IBM processors, and using the full power of test templates requires a high level of expertise to model architectures and testing knowledge, but the language reduces the effort needed to define and maintain knowledge specific to an implementation and verification plan. Genesys-Pro: Innovations in test program generation for functional processor verification for IEEE Design and Test of Computers - IBM Research

[2] The Test Template Framework (TTF) is a model-based testing method for the Z notation, in which test cases are generated from test specifications (predicates written in Z), and a test case is a witness satisfying a formula in first-order logic with Zermelo-Fraenkel set theory. Applying SMT Solvers to the Test Template Framework

[3] SMT solvers (Yices and CVC3) can be applied as engines to find test cases from TTF's test specifications, requiring shallow embeddings of a significant portion of the Z notation into their input languages. Applying SMT Solvers to the Test Template Framework

[4] In dependability testing of distributed systems, test templates are determined from combinations of components in recovery groups (identified via layered networks and combinatorial techniques) to demonstrate system dependability. Dependability Tests Selection Based on the Concept of Layered Networks