Abstract

In system engineering, testing plays an important role to validate systems and system components. As the market time becomes ever shorter and the requirements on system features, reliability, availability, integrity and performance further increase, assured quality of system and its components is very important. Moreover, in real-time systems extreme reliability and safety are the most fundamental requirements. Thus, in order to fulfill the requirements of such systems as well as those of the market, a systematic proficient approach to testing is an essential need. The Testing and Test Control Notation TTCN-3 has been developed by ETSI to address testing needs and to enable systematic specification-based testing for software systems. This thesis will discuss in particular the use of TTCN-3 for testing real-time software systems. It takes textual test cases that have previously been generated for a particular real-time application. Each of them has input actions, time delays, and output actions. Then, the thesis explains the procedure of transforming the generated test cases into a test suite coded in TTCN-3. After that, it shows the process of creating and implementing the required TTCN-3 interfaces to complete the test system and follows it by running the test system and analysing the results. To define the black-box testing procedure of these timed test cases, stimuli are applied on the system under test. Then, the reactions are observed and compared with the expected ones with respect to the time delays. According to this comparison, a test verdict assignment is set to determine the test behaviour of each test case. If the expected and the observed responses are matched while respecting the value of the related timers, a test verdict is set to "pass" indicating a successful test case. Otherwise, the verdict is set to "fail" signifying an unsuccessful test case