Automatic Derivation of Test Cases for LOTOS Expressions with Data Parameters.
Saved in:
| Title: | Automatic Derivation of Test Cases for LOTOS Expressions with Data Parameters. |
|---|---|
| Authors: | Xiang Dong Li1, Higashino, Teruo1, Taniguchi, Kenichi1 |
| Source: | Electronics & Communications in Japan, Part 1: Communications. Mar1994, Vol. 77 Issue 3, p1-14. 14p. |
| Subjects: | LOTOS (Computer program language), Programming languages, Electronic data processing, Integer programming, Boolean algebra, Algorithms |
| Abstract: | It is known as generally impossible to generate automatically the test cases for arbitrary LOTOS expression containing data parameters. A subclass of LOTOS, called P-LOTOS, is defined. In P-LOTOS, the data type is restricted to be integer and Boolean and the operation on the integer is restricted to be the addition/subtraction and comparison. This paper presents an algorithm for automatic generation of the test cases for this class of LOTOS descriptions. Algorithms also are presented solving the detection problems for the deadlocks, the unexecutable edges, sad the nondeterministic branches, The proposed algorithm is applied to a simplified OSI session protocol, and the result is reportod in this paper. [ABSTRACT FROM AUTHOR] |
| Copyright of Electronics & Communications in Japan, Part 1: Communications is the property of Wiley-Blackwell 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: 14050159 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Automatic Derivation of Test Cases for LOTOS Expressions with Data Parameters. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Xiang+Dong+Li%22">Xiang Dong Li</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Higashino%2C+Teruo%22">Higashino, Teruo</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Taniguchi%2C+Kenichi%22">Taniguchi, Kenichi</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Electronics+%26+Communications+in+Japan%2C+Part+1%3A+Communications%22">Electronics & Communications in Japan, Part 1: Communications</searchLink>. Mar1994, Vol. 77 Issue 3, p1-14. 14p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Integer+programming%22">Integer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Boolean+algebra%22">Boolean algebra</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: It is known as generally impossible to generate automatically the test cases for arbitrary LOTOS expression containing data parameters. A subclass of LOTOS, called P-LOTOS, is defined. In P-LOTOS, the data type is restricted to be integer and Boolean and the operation on the integer is restricted to be the addition/subtraction and comparison. This paper presents an algorithm for automatic generation of the test cases for this class of LOTOS descriptions. Algorithms also are presented solving the detection problems for the deadlocks, the unexecutable edges, sad the nondeterministic branches, The proposed algorithm is applied to a simplified OSI session protocol, and the result is reportod in this paper. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Electronics & Communications in Japan, Part 1: Communications is the property of Wiley-Blackwell 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=14050159 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1002/ecja.4410770301 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 14 StartPage: 1 Subjects: – SubjectFull: LOTOS (Computer program language) Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Electronic data processing Type: general – SubjectFull: Integer programming Type: general – SubjectFull: Boolean algebra Type: general – SubjectFull: Algorithms Type: general Titles: – TitleFull: Automatic Derivation of Test Cases for LOTOS Expressions with Data Parameters. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Xiang Dong Li – PersonEntity: Name: NameFull: Higashino, Teruo – PersonEntity: Name: NameFull: Taniguchi, Kenichi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 03 Text: Mar1994 Type: published Y: 1994 Identifiers: – Type: issn-print Value: 87566621 Numbering: – Type: volume Value: 77 – Type: issue Value: 3 Titles: – TitleFull: Electronics & Communications in Japan, Part 1: Communications Type: main |
| ResultId | 1 |
