On the Analysis of Cascading Style Sheets

Pierre Genevès 1 Nabil Layaïda 1 Quint Vincent 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Développer et maintenir des feuilles de style CSS constitue un problème important pour les développeurs web notamment car ils manquent de méthodes rigoureuses à cet effet. La plupart des moyens actuels reposent sur des validateurs qui vérifient la syntaxe, et sur des débogueurs qui vérifient le comportement d'une feuille de style sur un document particulier. Cependant, la plupart des feuilles de style visent à s'appliquer à un ensemble de documents, habituellement défini par un schéma. A cette fin, une feuille de style CSS est habituellement écrite en rapport avec un schéma donné. Alors que les outils usuels de déboguage aident à réduire le nombre de bogues, ils ne permettent pas de prouver des propriétés sur l'ensemble des documents sur lesquels la feuille de style est supposée s'appliquer. Nous proposons une nouvelle approche pour combler ce manque. Nous présentons un outil original basé sur des avancées récentes en matière de logique d'arbres. L'outil est capable de détecter statiquement une large classe d'erreurs (comme les sélecteurs CSS vides ou sémantiquement équivalents), ainsi que de prouver des propriétés liées à des ensembles de documents (comme la couverture de l'information de style), en présence ou en l'absence de contraintes définies par des schémas. Ce nouvel outil peut être utilisé en combinaison avec les débogueurs dynamiques dans le but de s'assurer d'une meilleure qualité des feuilles de style CSS.
Type de document :
Rapport
[Research Report] RR-7808, INRIA. 2011
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-00643075
Contributeur : Pierre Genevès <>
Soumis le : lundi 21 novembre 2011 - 10:06:33
Dernière modification le : mardi 13 décembre 2016 - 15:44:07
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 11:32:04

Fichiers

RR-7808.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00643075, version 1

Citation

Pierre Genevès, Nabil Layaïda, Quint Vincent. On the Analysis of Cascading Style Sheets. [Research Report] RR-7808, INRIA. 2011. 〈hal-00643075〉

Partager

Métriques

Consultations de la notice

415

Téléchargements de fichiers

755