TTCN-3 Bibliography
TTCN-3 Bibliography |
|
 |
 |
 |
|
Makedonski, P. 2008, June 3–6, Equivalence cheking of test case behavior. Unpublished paper presented at ETSI TTCN-3 User Conference 2008, Madrid (Spain). Added by: Deleted user (22/08/2008, 10:25) |
| Resource type: Conference Paper BibTeX citation key: Makedonski View all bibliographic details  |
Categories: General Creators: Makedonski Publisher: MTP, ETSI (Madrid (Spain)) Collection: ETSI TTCN-3 User Conference 2008 |
Views: 47/2359
|
| Abstract |
|
The application of refactorings on TTCN-3 test suites as presented at the TTCN-3 User Conference 2006 in Berlin is a useful means to improve the internal quality of test suites. By using a trusted tool for the application of automated refactorings that is known to preserve the language semantics, there is only a limited risk involved to unintentionally change test behavior. Unfortunately, it is rare that a tool implements all of the refactorings that may actually be useful for the developer. In those cases, the developer has no choice but apply refactorings manually to the code. Unfortunately, validating that changes to test code are in fact behavior preservings is harder than for normal application code whose behavior can be covered, for example, by unit tests. In this presentation, we provide a solution to this problem by creating behavioral state transition models from both the original test case and the refactored test case. The behavioral equivalence can then be checked by bisimulation - an equivalence relation between these two models that intuitively matches their observable behavior. We will present how to extract models from test cases and how to practically use equivalence checking tools to validate the behavoir preservation of refactorings. Added by: Deleted user Last edited by: Deleted user |