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

fYear

2009

Firstpage

117

Lastpage

122

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/VALID.2009.13

Filename

5279413