TTCN-3 Bibliography

WIKINDX Resources

P. Makedonski, "Equivalence cheking of test case behavior," ETSI TTCN-3 User Conference 2008: Madrid (Spain), June 3-6, 2008. 
Added by: Deleted user (22 Aug 2008 10:25:53 Europe/Berlin)   
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: 17/1392
Views index: %
Popularity index: 1.5%
   URLs   http://www.mtp.es/TTCN3UC2008/home.html#
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
wikindx 5.2.1 ©2017 | Total resources: 348 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: Institute of Electrical and Electronics Engineers (IEEE) | Database queries: 45 | DB execution: 0.01363 secs | Script execution: 0.01978 secs