Login | Register

Timed test suite generation based on test purpose expressed in MSC


Timed test suite generation based on test purpose expressed in MSC

Liu, Gang (2004) Timed test suite generation based on test purpose expressed in MSC. Masters thesis, Concordia University.

Text (application/pdf)
MQ91070.pdf - Accepted Version


When testing real time system, Automating timed test suite generation has much advantages over manual test suite generation. Formal models are usually used to describe the complex system behaviours, such as TIOA (Timed Input Output Automaton) and MSC (Message Sequence Charts). Therefore, test suite can be generated from the formal model of the specification. Exhaustive test are preferred to cover all faults in a test, but it is almost impossible. Test purpose represents the partial requirements to be tested. In this thesis, we present a new method for automatically generating timed test suite based on the test purpose expressed in MSC, and the specification expressed in TIOA. A set of integrated algorithms is provided to process input test purpose and specification to generate timed test suite. In this method, MSC is transformed to TIOA, and the test purpose and the specification are synchronized as one single product. This single product is then sampled to construct a grid automaton. Finally, a traversal algorithm is applied to the grid automaton to generate test suite. We implemented this method and experimented it with different examples. Comparing with other methods, test cases generated by our method have a smaller number, and they are self-evident and can be easily represented by TTCN (Tree and Tabular Combined Notation)

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Liu, Gang
Pagination:ix, 139 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):En-Nouaary, Abdeslam
ID Code:7933
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:11
Last Modified:18 Jan 2018 17:31
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

Back to top Back to top