Testing configuration models - basics and foundations

Testing of configuration models is an important issue in variant configuration. As testing configuration models is a special kind of software testing, we present the most important concepts of software testing and apply them to the area of configuration models.
In particular we cover the following concepts: 

• What is testing,
  
• what is a test case,
  
• black box vs. white box testing,
  
• code coverage,
  
• positive vs. negative tests,
  
• static vs. dynamic tests,
  
• functional vs. non-functional tests,
  
• testing levels,
  
• difference oriented testing,
  
• and manual vs. automatic testing.