Abstract | ||
---|---|---|
Constraint programs, such as those written in high-level constraint modelling languages, e.g., OPL (Optimization Programming Language), COMET, ZINC or ESSENCE, are more and more used in business-critical programs. As any other critical programs, they require to be thoroughly tested and corrected to prevent catastrophic loss of money. This paper presents a framework for the automatic correction of constraint programs that takes into account the specificity of the software development process of these programs as well as their typical faults. We implemented this framework in our testing platform CPTEST for OPL programs. Using mutation testing, our experimental results show that well-known constraint programs written in OPL can be automatically corrected using our framework. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/ICST.2011.41 | Software Testing, Verification and Validation |
Keywords | Field | DocType |
optimization programming,high-level constraint,mutation testing,business-critical program,automatic correction,well-known constraint program,constraint programs,catastrophic loss,opl program,constraint program,testing platform cptest,computational modeling,computer model,programming,software engineering,zinc,comet,constraint programming,software development process,optimization,space exploration,software testing | Programming language,Computer science,Software,Software development process,Program testing,Software testing | Conference |
ISBN | Citations | PageRank |
978-0-7695-4342-0 | 3 | 0.44 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nadjib Lazaar | 1 | 36 | 12.25 |
Arnaud Gotlieb | 2 | 833 | 63.83 |
Yahia Lebbah | 3 | 115 | 19.34 |