|
Test Template Framework
The Test Template Framework (TTF) is a model-based testing (MBT) framework proposed by Phil Stocks and David Carrington for the purpose of software testing. Although the TTF was meant to be notation-independent, the original presentation was made using the Z notation, Z formal notation. It is one of the few MBT frameworks approaching unit testing. Introduction The TTF is a specific proposal of model-based testing (MBT). It considers models to be Z notation, Z specifications. Each operation within the specification is analyzed to derive or generate #Abstract test case, ''abstract test cases''. This analysis consists of the following steps: # Define the #Input space, ''input space'' (IS) of each operation. # Derive the #Valid input space, ''valid input space'' (VIS) from the #Input space, IS of each operation. # Apply one or more #Testing tactic, ''testing tactics'',Stocks and Carrington use the term ''testing strategies'' in . starting from each #Valid input space, VIS, to build a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model-based Testing
Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing. Models can be used to represent the desired behavior of a system under test (SUT), or to represent testing strategies and a test environment. The picture on the right depicts the former approach. A model describing a SUT is usually an abstract, partial presentation of the SUT's desired behavior. Test cases derived from such a model are functional tests on the same level of abstraction as the model. These test cases are collectively known as an abstract test suite. An abstract test suite cannot be directly executed against an SUT because the suite is on the wrong level of abstraction. An executable test suite needs to be derived from a corresponding abstract test suite. The executable test suite can communicate directly with the system under test. This is achieved by mapping the abstract test cases to concrete test cases su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
