Automated generation of test cases from contract-oriented specifications: A CSP-based approach - Université Pierre et Marie Curie Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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

Hakim Belhaouari
Frédéric Peschanski
  • Fonction : Auteur
  • PersonId : 839315

Résumé

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.
Fichier non déposé

Dates et versions

hal-01303858 , version 1 (18-04-2016)

Identifiants

Citer

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⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More