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{247e9efd27df43f8938b7930b9340747,
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

VL - 30

SP - 3

EP - 17

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 3

ER -