Automatic derivation of test cases for LOTOS expressions with data parameters
| Autor: | Teruo Higashino, Kenichi Taniguchi, Xiangdong Li |
|---|---|
| Rok vydání: | 1994 |
| Předmět: |
Nondeterministic algorithm
Test case Computer Networks and Communications Computer science TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Subtraction Electrical and Electronic Engineering Conformance testing Algorithm Protocol (object-oriented programming) Data type Expression (mathematics) Integer (computer science) |
| Zdroj: | Electronics and Communications in Japan (Part I: Communications). 77:1-14 |
| ISSN: | 1520-6424 8756-6621 |
| DOI: | 10.1002/ecja.4410770301 |
| Popis: | 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, and the nondeterministic branches. The proposed algorithm is applied to a simplified OSI session protocol, and the result is reported in this paper. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|