A novel model-based testing approach for software product lines

Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 16; no. 4; pp. 1223 - 1251
Main Authors:	Damiani, Ferruccio, Faitelson, David, Gladisch, Christoph, Tyszberowicz, Shmuel
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2017 Springer Nature B.V
Subjects:	Compilers Computer Science Information Systems Applications (incl.Internet) Interpreters IT in Business Product lines Programming Languages Programming Techniques Regular Paper Software Software development Software Engineering Software Engineering/Programming and Operating Systems Specifications Tables Refinement Java Delta-oriented programming Model-based testing Alloy Software product line
ISSN:	1619-1366, 1619-1374
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!