Minimizing Overdesign and Underdesign

Over Design (OD) and Under Design (UD) are two common forms of negative variability construction which should be considered together to avoid both functional incompleteness and unexpected software quality degradation during design time and run time. Elimination of OD and UD demands the correct identification of OD and UD, and remedy actions rely on the precision of identification of them. A challenge is that few existing work has been taken in these two directions. Towards solving this challenge, we present in this paper an approach to define, model and measure OD and UD in variability spaces.