Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Imen Boudhiba 1, 2 Christophe Gaston 2 Pascale Le Gall 1 Virgile Prévosto 2
1 MICS - Mathématiques et Informatique pour la Complexité et les Systèmes
2 DILS - Département Ingénierie Logiciels et Systèmes
Abstract : An Input Output Symbolic Transition System (IOSTS) specifies all expected sequences of input and output messages of a reactive system. Symbolic execution over this IOSTS then allows to generate a set of test cases that can exercise the various possible behaviors of the system it represents. In this paper, we extend the IOSTS framework with explicit program calls, possibly equipped with contracts specifying what the program is supposed to do. This approach bridges the gap between a model-based approach in which user-defined programs are abstracted away and a code-based approach in which small pieces of code are separately considered regardless of the way they are combined. First, we extend symbolic execution techniques for IOSTS with programs, in order to re-use classical test case generation algorithms. Second, we explore how constraints coming from IOSTS symbolic execution can be used to infer contracts for programs used in the IOSTS.
Keywords : Input Output Symbolic Transition Systems Program Con- tracts Model-based Testing Symbolic Execution Feasibility
Document type :
Conference papers
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download
https://hal-cea.archives-ouvertes.fr/cea-01810689
Contributor : Imen Boudhiba <>
Submitted on : Friday, June 8, 2018 - 10:14:03 AM
Last modification on : Thursday, February 7, 2019 - 4:15:46 PM
Long-term archiving on: Sunday, September 9, 2018 - 3:23:32 PM

File

ICTSS15-Rev-BGLP.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-01810689, version 1

Collections

CEA | CEA-UPSAY | DRT | CENTRALESUPELEC | LIST | MICS | UNIV-PARIS-SACLAY

Citation

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates. ⟨cea-01810689⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

64

Files downloads

136

Contact

CCSD