Skip to Main content Skip to Navigation
Conference papers

Automated generation of test cases from contract-oriented specifications: A CSP-based approach

Hakim Belhaouari 1 Frédéric Peschanski 1 
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In this paper, we discuss the automated generation of test cases from contract-oriented specifications. The static analysis we develop rely on original constraint minimization and satisfaction techniques (CSP). We propose a flexible CSP architecture that can apply not only on integer or bounded domains but also on arbitrary types. The original notion of type builders is used to establish the connection between the type semantics and the CSP framework. We illustrate this aspect by developing a string builder that can automatically generate string instances depending on combinations of constraints based on string sizes and substrings. The scope of these techniques goes beyond the generation of test cases. They are used in other static analyzes, most notably a symbolic animation of contracts that can detect inconsistencies early in the development cycle.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01303858
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, April 18, 2016 - 4:53:42 PM
Last modification on : Sunday, June 26, 2022 - 9:40:35 AM

Identifiers

Citation

Hakim Belhaouari, Frédéric Peschanski. Automated generation of test cases from contract-oriented specifications: A CSP-based approach. IEEE International Symposium on High Assurance Systems Engineering, Dec 2008, Nanjing, China. pp.219-228, ⟨10.1109/HASE.2008.15⟩. ⟨hal-01303858⟩

Share

Metrics

Record views

42