𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automatic derivation of test cases for LOTOS expressions with data parameters

✍ Scribed by Xiang Dong Li; Teruo Higashino; Kenichi Taniguchi

Book ID
102819187
Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
978 KB
Volume
77
Category
Article
ISSN
8756-6621

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

A Test for the Equality of Variances in
A Test for the Equality of Variances in the Paired Case with Incomplete Data
✍ G. Ekbohm πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 247 KB πŸ‘ 3 views

## Abstract A modification of the numbers of degrees of freedom which makes the __F__ ratio test of the equality of two variances applicable also in the paired case with incomplete data is suggested. Monte Carlo simulation studies indicate that the suggested test is reasonably powerful in many case