The Constraint Programming Platform project will develop G12, a software platform for solving large-scale industrial combinatorial optimisation problems.
V. Vassilev, J. Miller, and T. Fogarty. Proceedings of the Congress on Evolutionary
Computation, 2, Mayflower Hotel, Washington D.C., USA, IEEE Press, (6-9 July 1999)
M. Kotani, and D. Kato. Proceedings of the 2004 IEEE Congress on Evolutionary
Computation, page 614--619. Portland, Oregon, IEEE Press, (20-23 June 2004)
J. Hu, and E. Goodman. Proceedings of the 2004 IEEE Congress on Evolutionary
Computation, page 1178--1184. Portland, Oregon, IEEE Press, (20-23 June 2004)
Y. Bernstein, X. Li, V. Ciesielski, and A. Song. Proceedings of the 2004 IEEE Congress on Evolutionary
Computation, page 83--89. Portland, Oregon, IEEE Press, (20-23 June 2004)
S. Bain, J. Thornton, and A. Sattar. Proceedings of the 2004 IEEE Congress on Evolutionary
Computation, page 265--272. Portland, Oregon, IEEE Press, (20-23 June 2004)
M. Cohen, M. Dwyer, and J. Shi. ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, page 53--63. New York, NY, USA, ACM, (2006)MR: Ünsere" OVM-Notation wird auf ein relationales Modell abgebildet, um damit Abdeckungskriterien für das Testen von SPL definieren zu können. Mit diesen Kriterien kann die Information gesammelt werden für sogenanntes 'cumulative variability coverage' mit dem gezielt die Testaufwände für neue Produkte der SPL festgelegt werden können. Das Ganze wird durch combinatorial interaction testing ermöglicht. Diese Technik (aus Einzelsystemen bekannt) reduziert die hohe Anzahl von möglichen Kombinationen von Input-Variablen auf wenige Repräsentanten.
Bei IST-SPL könnte man überlegen, diese Technik als Ergänzung einer anderen einzuführen, um höhere Abdeckungsraten zu erreichen.
Der Nachteil ist jedoch immer noch, dass hierbei keine Orakel erstellt werden. Hierfür verweisen die Spezialisten von Combinatorial Testing auf Model Checking beispielsweise..