Automated generation of test cases from contract-oriented specifications: A CSP-based approach
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 asymbolic animation of contracts that can detect inconsistencies early in the development cycle.
Hakim Belhaouari Frederic Peschanski
Laboratoire dInformatique de Paris 6104 avenue du President Kennedy 75016 Paris, France
国际会议
11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)
南京
英文
219-228
2008-12-03（万方平台首次上网日期，不代表论文的发表时间）