Generation of efficient test sequences from LOTOS specifications

Naonobu Okazaki, Shoichi Noguchi, Kaoru Takahashi, Norio Shiratori

    Research output: Contribution to journalArticle

    Abstract

    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.

    Original languageEnglish
    Pages (from-to)1-18
    Number of pages18
    JournalElectronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi)
    Volume76
    Issue number2
    Publication statusPublished - 1993 Feb

    Fingerprint

    Specification languages
    Specifications

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Electrical and Electronic Engineering

    Cite this

    Generation of efficient test sequences from LOTOS specifications. / Okazaki, Naonobu; Noguchi, Shoichi; Takahashi, Kaoru; Shiratori, Norio.

    In: Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi), Vol. 76, No. 2, 02.1993, p. 1-18.

    Research output: Contribution to journalArticle

    @article{b39b7cd543084b6090ed6ad55535852f,
    title = "Generation of efficient test sequences from LOTOS specifications",
    abstract = "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.",
    author = "Naonobu Okazaki and Shoichi Noguchi and Kaoru Takahashi and Norio Shiratori",
    year = "1993",
    month = "2",
    language = "English",
    volume = "76",
    pages = "1--18",
    journal = "Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi)",
    issn = "8756-6621",
    publisher = "John Wiley and Sons Inc.",
    number = "2",

    }

    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

    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 -