A UML Profile for Communicating Systems-Informal Semantic Comparison and Example-

WWW www.informatik.uni-goettingen.de Ich erkläre hiermit, dass ich die vorliegende Arbeit selbständig verfasst und keine anderen als die angegebenen Quellen und Hilfsmittel verwendet habe

Benjamin Zeiss 1

The comprehensive test of modern communication systems leads to large and complex test suites which have to be maintained throughout the system life-cycle. Experience with those written in the standardised Testing and Test Control Notation (TTCN-3) has shown that the maintenance of test suites is a non-trivial task and its burden can be reduced with appropriate tool support. To this aim, we have developed the TRex tool, published as open-source tool under the Eclipse Public License, which supports the assessment and automatic restructuring of TTCN-3 test suites by providing suitable metrics and refactorings. This paper presents TRex, its functionality, and its implementation

Comparison Studies between Pre-Shared Key and Public Key Exchange Mechanisms for Transport Layer Security (TLS

WWW www.ifi.informatik.uni-goettingen.d