Derivation of Test Cases for LAP-B from a LOTOS Specification
نویسندگان
چکیده
A semi-formal method for deriving test cases from specifications in LOTOS is described. The method is applied to the LAP-B standard, for which a complete LOTOS specification was developed. Execution trees are derived from the specification by using an interpreter, and test cases are obtained by inspection. The results of our experiment compare favorably with the ones obtained in an earlier work that used a state table description of LAP-B.
منابع مشابه
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
In this paper, we propose an automatic analysis and test case derivation method for LOTOS expressions with data values. We introduce the class of P-LOTOS expressions where the data types are restricted to the integer and boolean types and the operators of the integers are restricted to addition, subtraction and comparison. For this class, we give an algorithm for deriving a set of test cases (a...
متن کاملA uniform test derivation method for Estelle, LOTOS and SDL
2 Purpose of the method The dfc-method is intended for the selective derivation of test cases from a formal description of the system under test (SUT). The targetted selective derivation is based on the analysis of the input-output (I/O) relations in a given specification for exposing the effects of each input interaction on those output interactions which are influenced by the input interactio...
متن کاملData Flow Oriented Test Selection for Lotos
A data flow oriented test selection method for selectively generating abstract tests from a LOTOS specification is presented. This method is based on static data flow analysis to identify maximal IO-df-chains, which exhibit the associations between each specification output and those specification inputs that influence the output through definitions and uses of variables. The maximal IO-df-chai...
متن کاملSpecification-based Testing of Concurrent Systems
The paper addresses the problem of test suite derivation from a formal specification of a distributed concurrent software system by presenting a concurrency model, called behavior machine, and its construction algorithm from a collection of labeled transition systems. It outlines how test derivation can be based on the new concurrency model to derive test suites that still exhibit concurrency b...
متن کاملAnalysis and representation of test cases generated from LOTOS
This paper presents a method to generate, analyse and represent test cases from protocol specification. The language of temporal ordering specification (LOTOS) is mapped into an extended finite state machine (EFSM). Test cases are generated from EFSM. The generated test cases are modelled as a dependence graph. Predicate slices are used to identify infeasible test cases that must be eliminated....
متن کامل