Verification in Software Product Line Development.

Natsuko Noda, Tomoji Kishi

研究成果: Article査読

1 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)3-17
ページ数15
ジャーナルComputer Software
30
3
DOI
出版ステータスPublished - 2013

ASJC Scopus subject areas

  • Software

フィンガープリント 「Verification in Software Product Line Development.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル