Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos.
Saved in:
| Title: | Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. |
|---|---|
| Authors: | El-Gendy, Hazem1 H_ElGendy@masrawy.com, El-Kadhi, Nabil2 |
| 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 21099902 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22El-Gendy%2C+Hazem%22">El-Gendy, Hazem</searchLink><relatesTo>1</relatesTo><i> H_ElGendy@masrawy.com</i><br /><searchLink fieldCode="AR" term="%22El-Kadhi%2C+Nabil%22">El-Kadhi, Nabil</searchLink><relatesTo>2</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Computational+Methods+in+Sciences+%26+Engineering+%28Sage+Publications+Inc%2E%29%22">Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.)</searchLink>. 2005 Supplement, Vol. 5, p45-56. 12p. 2 Diagrams. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+network+protocols%22">Computer network protocols</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=21099902 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3233/JCM-2005-5S104 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 12 StartPage: 45 Subjects: – SubjectFull: Formal methods (Computer science) Type: general – SubjectFull: LOTOS (Computer program language) Type: general – SubjectFull: Algorithms Type: general – SubjectFull: Computer network protocols Type: general – SubjectFull: Computer software Type: general Titles: – TitleFull: Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: El-Gendy, Hazem – PersonEntity: Name: NameFull: El-Kadhi, Nabil IsPartOfRelationships: – BibEntity: Dates: – D: 02 M: 01 Text: 2005 Supplement Type: published Y: 2005 Identifiers: – Type: issn-print Value: 14727978 Numbering: – Type: volume Value: 5 Titles: – TitleFull: Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.) Type: main |
| ResultId | 1 |
