Functional Testing in the Focal environment - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Functional Testing in the Focal environment

Résumé

This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the source code. These properties are considered, here, as the program specification. We are interested in testing the code against these properties. Testing a property is split in two stages. First, the property is cut out in several elementary properties. An elementary property is a tuple composed of some pre-conditions and a conclusion. Lastly, each elementary property is tested separately. The pre-conditions are used to generate and select the test cases randomly. The conclusion allows us to compute the verdict. All the testing process is done automatically.
Fichier non déposé

Dates et versions

hal-01125411 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125411 , version 1

Citer

Catherine Dubois, Matthieu Carlier. Functional Testing in the Focal environment. Tests and Proofs (TAP 2008), Apr 2008, Prato, Italy. pp.84-98. ⟨hal-01125411⟩

Collections

CNAM CEDRIC-CNAM
21 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More