Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
The OPL optimization programming language
The OPL optimization programming language
Computer
Convexification and Global Optimization in Continuous And
Convexification and Global Optimization in Continuous And
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Robust solutions for combinatorial auctions
Proceedings of the 6th ACM conference on Electronic commerce
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Constraint symmetry and solution symmetry
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
An efficient way of breaking value symmetries
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Testing continuous double auctions with a constraint-based oracle
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A constraint seeker: finding and ranking global constraints from examples
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Review: tcas software verification using constraint programming
The Knowledge Engineering Review
Hi-index | 0.00 |
The success of several constraint-based modeling languages such as OPL, ZINC or COMET, appeals for better software engineering practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming. We propose a general framework of constraint program development which supposes that a first declarative and simple constraint model is available from the problem specifications analysis. Then, this model is refined using classical techniques such as constraint reformulation, surrogate, redundant, implied, global constraint and symmetry-breaking to form an improved constraint model that must be thoroughly tested before being used to address real-sized problems. We think that most of the faults are introduced in this refinement step and propose a process which takes the first declarative model as an oracle for detecting non-conformities and derive practical test purposes from this process. We implemented this approach in a new tool called CPTEST that was used to automatically detect non-conformities on classical benchmark programs, such as the Golomb rulers, n-queens, social golfer and the car-sequencing problems.