A Language for Test Case Refinement in the Test Template Framework

CRISTIÁ, MAXIMILIANO; HOLLMANN, DIEGO; ALBERTENGO, PABLO; FRYDMAN, CLAUDIA; RODRÍGUEZ MONETTI, PABLO

Durham

Conferencia; 13th International Conference on Formal Engineering Methods, ICFEM; 2011

ICFEM

Model-based testing (MBT) generates test cases by analysing a formal model of the system under test (SUT). In many MBT methods, these test cases are too abstract to be executed. Therefore, an executable representation of them is necessary to test the SUT. So far, the MBT community has focused on methods that automate the generation of test cases, but less has been done in making them executable. In this paper we propose a language to specify rules that can be automatically applied to produce an executable representation of test cases generated by the Test Template Framework (TTF), a MBT method for the Z notation.