Verification in Software Product Line Development.

Natsuko Noda, Tomoji Kishi

    Research output: Contribution to journalArticle

    1 Citation (Scopus)

    Abstract

    Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods.

    Original languageEnglish
    Pages (from-to)3-17
    Number of pages15
    JournalComputer Software
    Volume30
    Issue number3
    DOIs
    Publication statusPublished - 2013

    Fingerprint

    Formal methods
    Software engineering
    Testing
    Costs

    ASJC Scopus subject areas

    • Software

    Cite this

    Verification in Software Product Line Development. / Noda, Natsuko; Kishi, Tomoji.

    In: Computer Software, Vol. 30, No. 3, 2013, p. 3-17.

    Research output: Contribution to journalArticle

    Noda, Natsuko ; Kishi, Tomoji. / Verification in Software Product Line Development. In: Computer Software. 2013 ; Vol. 30, No. 3. pp. 3-17.
    @article{da7bdf6f6981463f82ef2db985dbf71a,
    title = "Verification in Software Product Line Development.",
    abstract = "Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods.",
    author = "Natsuko Noda and Tomoji Kishi",
    year = "2013",
    doi = "10.11309/jssst.30.3_3",
    language = "English",
    volume = "30",
    pages = "3--17",
    journal = "Computer Software",
    issn = "0289-6540",
    publisher = "Japan Society for Software Science and Technology",
    number = "3",

    }

    TY - JOUR

    T1 - Verification in Software Product Line Development.

    AU - Noda, Natsuko

    AU - Kishi, Tomoji

    PY - 2013

    Y1 - 2013

    N2 - Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods.

    AB - Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods.

    UR - http://www.scopus.com/inward/record.url?scp=85020909849&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=85020909849&partnerID=8YFLogxK

    U2 - 10.11309/jssst.30.3_3

    DO - 10.11309/jssst.30.3_3

    M3 - Article

    AN - SCOPUS:85020909849

    VL - 30

    SP - 3

    EP - 17

    JO - Computer Software

    JF - Computer Software

    SN - 0289-6540

    IS - 3

    ER -