Key points are not available for this paper at this time.
Les systèmes de fichiers sont trop vastes pour être exempts de bogues. Bien que des suites de tests manuscrites aient été largement utilisées pour soumettre les systèmes de fichiers à des contraintes, elles ont du mal à suivre l'augmentation rapide de la taille et de la complexité des systèmes de fichiers, entraînant l'introduction et le signalement réguliers de nouveaux bogues. Ces bogues se présentent sous diverses formes : des débordements de tampon simples aux bogues sémantiques sophistiqués. Bien que des vérificateurs spécifiques à un bogue existent, ils manquent généralement d'une méthode pour explorer en profondeur les états des systèmes de fichiers. Plus important encore, aucune solution clé en main n'existe pour unifier l'effort de vérification de divers aspects d'un système de fichiers sous une seule entité.
Kim et al. (Mon,) ont étudié cette question.