The Constraint Programming Platform project will develop G12, a software platform for solving large-scale industrial combinatorial optimisation problems.
Software developers frequently encounter failures that occur only as the result of an interaction between two components. Failure triggering fault interactionsTesters often use pairwise testing – all pairs of parameter values – to detect such interactions. Combinatorial testing beyond pairwise is rarely used because good algorithms for higher strength combinations (e.g., 4-way or more) have not been available, but empirical evidence shows that some errors are triggered only by the interaction of three, four, or more parameters (see graph). These results have important implications for testing. If all faults in a system can be triggered by a combination of n or fewer parameters, then testing all n-way combinations of parameters can provide high confidence that nearly all faults have been discovered. We are producing methods and tools to generate tests for all n-way combinations of parameter values, using improved combinatorial testing algorithms for constructing covering arrays, and automated generation of test oracles using model checking.
A. Agogino, K. Tumer, and R. Miikkulainen. GECCO'05: Proc. 7th Genetic and Evolutionary Computation Conf., page 1309--1316. Washington, DC, ACM Press, (2005)
J. Valle. (2006)cite arxiv:hep-ph/0608101Comment: Review based on lectures at the Corfu Summer Institute on Elementary Particle Physics in September 2005. To be published in the Proceedings.
N. Amersi, O. Beckwith, S. Miller, R. Ronan, and J. Sondow. (2011)cite arxiv:1108.0475Comment: 13 pages, 2 tables, to appear in the CANT 2011 Conference Proceedings. This is version 2.0. Changes: fixed typos, added references to OEIS sequences, and cited Shevelev's preprint.
C. Becchi. (1997)cite arxiv:hep-ph/9705211Comment: 28 pages, LateX, Lectures given at the Triangle Graduate School 96, Charles University, Prague September 2-11, 1996.