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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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} (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
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
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
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
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
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
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
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
A framework for specification-based testing is demonstrated on a symbol table case study, specified using the Z notation. Test… (More)
Is this relevant?