Variation Verification

The asset base of a software product line organization includes many types of assets. The thing that binds them together is the range of variation they must accommodate. These differences make verification even more difficult than usual. In this issue of Strategic Software Engineering I will discuss the relationship of verification to variation management.

[1]  John D. McGregor,et al.  The Fifty-Foot Look at Analysis and Design Models , 1998, J. Object Oriented Program..

[2]  John D. McGregor,et al.  A Practical Guide to Testing Object-Oriented Software , 2001, Addison Wesley object technology series.

[3]  Stan Jarzabek,et al.  XVCL: a mechanism for handling variants in software product lines , 2004, Sci. Comput. Program..

[4]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[5]  Jörg Rech,et al.  Model-Driven Software Development - Integrating Quality Assurance , 2008 .

[6]  Irene J. Petrick,et al.  Roadmapping as a mitigator of uncertainty in strategic technology choice , 2005 .

[7]  G. I. Kustova,et al.  From the author , 2019, Automatic Documentation and Mathematical Linguistics.

[8]  John McGregor,et al.  Mix and Match , 2008, J. Object Technol..

[9]  James R. Larus,et al.  Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols , 1999, IEEE Trans. Software Eng..