TY - JOUR
T1 - Generation of efficient test sequences from LOTOS specifications
AU - Okazaki, Naonobu
AU - Noguchi, Shoichi
AU - Takahashi, Kaoru
AU - Shiratori, Norio
PY - 1993/2
Y1 - 1993/2
N2 - LOTOS is a formal description technique (FDT) developed by ISO. This paper proposes a formal technique for generating test sequences from a LOTOS specification. In the proposed technique, test sequences correspond to a finite 'tree' which is represent as a TreeLOTOS expression which is a subset of LOTOS. A labelled transition system (LTS) with variables called VTS is introduced to generate test sequences, which is useful not only for compactness of expression but also for effective selection of test sequences at the execution of tests. Furthermore, the concept of the reduced form of a VTS is introduced and, by using this concept, efficient test sequences can be obtained.
AB - LOTOS is a formal description technique (FDT) developed by ISO. This paper proposes a formal technique for generating test sequences from a LOTOS specification. In the proposed technique, test sequences correspond to a finite 'tree' which is represent as a TreeLOTOS expression which is a subset of LOTOS. A labelled transition system (LTS) with variables called VTS is introduced to generate test sequences, which is useful not only for compactness of expression but also for effective selection of test sequences at the execution of tests. Furthermore, the concept of the reduced form of a VTS is introduced and, by using this concept, efficient test sequences can be obtained.
UR - http://www.scopus.com/inward/record.url?scp=0027545636&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027545636&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0027545636
VL - 76
SP - 1
EP - 18
JO - Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi)
JF - Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi)
SN - 8756-6621
IS - 2
ER -