FAQ

Test Template Framework

The Test Template Framework (TTF) is a model-based testing (MBT) framework proposed by Phil Stocks and David Carrington in () for the purpose of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2016
051019892016

Related topics

Related topics

10 relations
FastestModel-based testingMutation testingPrecondition
(More)

Broader (2)

Software testingZ notation

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Test Template Framework
Set theory
Predicate
Precondition
Software testing
Unit testing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Tool support for the Test Template Framework
This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model-based… (More)
  • figure 1
  • figure 3
  • figure 5
  • table I
  • figure 7
Is this relevant?
2013
2013
{log} as a Test Case Generator for the Test Template Framework
{log} (pronounced ‘setlog’) is a Constraint Logic Programming language that embodies the fundamental forms of set designation and… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
2012
2012
Applying SMT Solvers to the Test Template Framework
The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from… (More)
Is this relevant?
2012
2012
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions
The Test Template Framework (TTF) is a method for modelbased testing (MBT) from Z specifications. Although the TTF covers many… (More)
  • figure 1
Is this relevant?
2011
2011
Applying the Test Template Framework to Aerospace Software
We have applied Fastest, an implementation of the Test Template Framework, to five real case studies of aerospace software. This… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
2011
2011
A Language for Test Case Refinement in the Test Template Framework
Model-based testing (MBT) generates test cases by analysing a formal model of the system under test (SUT). In many MBT methods… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 6
Is this relevant?
2010
2010
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions
Fastest is an automatic implementation of Phil Stocks and David Carrington's Test Template Framework (TTF), a model-based testing… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table I
Is this relevant?
1998
1998
Extending the Test Template Framework
The Test Template Framework (TTF) is a formal, abstract model of testing, used to derive a hierarchy of test information… (More)
Is this relevant?
1997
1997
Extending Test Templates with Inheritance
We are extending a framework for specification-based testing, the Test Template Framework, to include objectoriented features… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1993
1993
Test Template Framework: A Specification-Based Testing Case Study
A framework for specification-based testing is demonstrated on a symbol table case study, specified using the Z notation. Test… (More)
Is this relevant?