An incremental testing method based on timed Message Sequence Charts

Author

En-Nouaary, Abdeslam

Author_Institution

Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, QC

fYear

2008

fDate

13-15 May 2008

Firstpage

1248

Lastpage

1253

Abstract

This paper addresses timed test cases generation using test purposes given as Message Sequence Charts (MSCs) [1]. A test purpose is a partial behaviour of the system under test. Test purposes are very important in testing because they help reduce the number of test cases while guaranteeing acceptable fault coverage. The adoption of MSCs as a model for test purposes is very important because they have graphical notations that can be used to express clearly what the user wants to test. The approach presented in this paper is fundamentally based on timed input output automata (TIOA) theory. The approach has been implemented using C++.

Keywords

C++ language; automata theory; formal specification; program testing; C++ language; fault coverage; incremental testing method; system behaviour; system under test; timed input output automata; timed message sequence charts; timed test case generation; Automata; Communication industry; Explosions; Fault detection; Fault diagnosis; Life testing; Power system modeling; Software testing; System testing; Time factors;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Communication Engineering, 2008. ICCCE 2008. International Conference on

Conference_Location

Kuala Lumpur

Print_ISBN

978-1-4244-1691-2

Electronic_ISBN

978-1-4244-1692-9

Type

conf

DOI

10.1109/ICCCE.2008.4580805

Filename

4580805