Login | Register

Testing real-time systems using TTCN-3


Testing real-time systems using TTCN-3

Abdel-hak, Mayada (2006) Testing real-time systems using TTCN-3. Masters thesis, Concordia University.

[thumbnail of MR20738.pdf]
Text (application/pdf)
MR20738.pdf - Accepted Version


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

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Abdel-hak, Mayada
Pagination:xii, 119 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):En-Nouaary, Abdeslam
Identification Number:LE 3 C66E44M 2006 A22
ID Code:9079
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:44
Last Modified:13 Jul 2020 20:05
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top