Improving Driver Robustness: an Evaluation of the Devil Approach

Abstract : To keep up with the frantic pace at which devices come out, drivers need to be quickly developed, debugged and tested. We have recently introduced a new approach to improve driver robustness based on an Interface Definition Language, named Devil. Devil allows a high-level definition of the communication of a device. A compiler automatically checks the consistency of a Devil specification and generates stubs that include run-time checks. In this paper, we use mutation analysis to evaluate the improvement in driver robustness offered by Devil. To do so, we have injected programming errors using mutation analyses into Devil based Linux drivers and the original C drivers. We assess how early errors can be caught in the development process, by measuring whether errors are detected either at compile time or at run time. The results of our experiments on the IDE Linux disk driver show that nearly 3 times more errors are detected in the Devil driver than in the original C driver.
Type de document :
Communication dans un congrès
The International Conference on Dependable Systems and Networks, Jul 2001, Göteborg, Sweden, Sweden. IEEE Computer Society, pp.131--140, 2001
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00350218
Contributeur : Sylvie Embolla <>
Soumis le : vendredi 23 avril 2010 - 15:22:40
Dernière modification le : vendredi 6 avril 2018 - 14:57:49
Document(s) archivé(s) le : mardi 28 septembre 2010 - 13:23:27

Fichier

Reveillere-Muller_dsn2001.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00350218, version 2

Citation

Laurent Réveillère, Gilles Muller. Improving Driver Robustness: an Evaluation of the Devil Approach. The International Conference on Dependable Systems and Networks, Jul 2001, Göteborg, Sweden, Sweden. IEEE Computer Society, pp.131--140, 2001. 〈hal-00350218v2〉

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

80