Title :
Validating the Behavioral Equivalence of TTCN-3 Test Cases
Author :
Makedonski, Philip ; Grabowski, Jens ; Neukirchen, Helmut
Author_Institution :
Inst. of Comput. Sci., Univ. of Gottingen, Gottingen, Germany
Abstract :
Refactoring has been proven as useful means to improve the quality of source code. However, when improperly applied, it may introduce undesired changes to the observable behavior of the software. In this paper, an equivalence checking approach is presented to validate the behavior preservation after the application of refactoring in the domain of test cases specified using the testing and test control notation version 3 (TTCN-3). The approach is based on bisimulation and incrementally checks the observable behavior of two test cases at runtime for equivalence. The approach is implemented prototypically and sample experiments are conducted to evaluate the effectiveness of the approach.
Keywords :
bisimulation equivalence; program verification; TTCN-3 test case; behavior preservation; behavioral equivalence validation; bisimulation checking method; equivalence checking approach; incrementally checking method; prototypically implemented; refactoring method; source code quality; test control notation version 3; Application software; Automatic control; Automatic testing; Computer science; Industrial engineering; Life testing; Mechanical engineering; Prototypes; Runtime; System testing; TTCN-3; behavior; bisimulation; equivalence;
Conference_Titel :
Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
Conference_Location :
Porto
Print_ISBN :
978-1-4244-4862-3
Electronic_ISBN :
978-0-7695-3774-0
DOI :
10.1109/VALID.2009.13
