Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

Issue title: Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003

Article type: Research Article

Authors: El-Gendy, Hazem^{a; *} | El-Kadhi, Nabil^b

Affiliations: [a] Faculty of Computer & Information Sciences, Misr International University, Cairo, Egypt | [b] L.E.R.I.A Lab Director, Permanent Professor at EPITECH, Paris, France

Correspondence: [*] Corresponding author: Tel.: +20 2 3354158; Fax: +20 2 3369686; E-mail: [email protected]

Abstract: In this paper, we discuss the testing of data flow aspects of communications protocols and distributed systems specified in Lotos; the ISO Formal Description Technique (FDT). We also develop a method for automated derivation of sequences to conformance test data flow aspects of a system specified in Lotos. This has applications for communications protocols, software, and distributed real time systems in general. We generalize the testing method, with best known coverage, developed for Extended Finite State Machines (EFSMs) to the algebraic FDT Lotos. The method firstly constructs a “Data-Oriented Restricted Behavior” Tree that represents the behavior of the given specification. An algorithm for the automated construction of T is developed in this paper. Then, the testing sequences are driven.

DOI: 10.3233/JCM-2005-5S104

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 5, no. s1, pp. S45-S56, 2005