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

Saved in:

Bibliographic Details
Title:	Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos.
Authors:	El-Gendy, Hazem¹ H_ElGendy@masrawy.com, El-Kadhi, Nabil²
Source:	Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.). 2005 Supplement, Vol. 5, p45-56. 12p. 2 Diagrams.
Subjects:	Formal methods (Computer science), LOTOS (Computer program language), Algorithms, Computer network protocols, Computer software
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. [ABSTRACT FROM AUTHOR]
	Copyright of Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.) is the property of Sage Publications Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
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. [ABSTRACT FROM AUTHOR]
ISSN:	14727978
DOI:	10.3233/JCM-2005-5S104