Formal object-oriented development of a voting system test oracle - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Innovations in Systems and Software Engineering (ISSE) Année : 2011

Formal object-oriented development of a voting system test oracle

Résumé

We report on the formal development of a test oracle for an electronic-voting system, detailing our approach which was based on a lightweight integration of Event-B, UML, and Java. This lightweight integration focuses on a coherent development process rather than on formal integration at the model/language level. We then briefly review alternative development approaches involving the use of JML and OCL. We conclude that the use of the OCL would offer few benefits, if any, in our formal development process.

Mots clés

Dates et versions

hal-00670282 , version 1 (15-02-2012)

Identifiants

Citer

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Formal object-oriented development of a voting system test oracle. Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩. ⟨hal-00670282⟩
31 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More