sibylfsversion
formal specification and oracle-based testing for POSIX file systems
SibylFS is a formal specification in Lem of the POSIX file system API and its real-world variations as found in Linux, OS X, and FreeBSD. The specification is executable so that the more than 20,000 test cases do not require inclusion of expected behavior -- the expectation envelope can be automatically extracted and checked against a real file system! SibylFS has found numerous bugs in many different file system, VFS, and libc configurations.
Authors | Tom Ridge <tom.j.ridge@googlemail.com>, Thomas Tuerk <tt291@cl.cam.ac.uk>, David Sheets <sheets@alum.mit.edu> and Andrea Giugliano <agiugliano@live.it> |
---|---|
Published | |
Homepage | http://sibylfs.io/ |
Issue Tracker | https://github.com/sibylfs/sibylfs_src/issues |
Maintainer | tom.j.ridge@googlemail.com |
Dependencies |
|
Source [http] | https://github.com/sibylfs/sibylfs_src/archive/0.5.0.tar.gz sha256=db3cd57b117bac2dd13f8533ab1373a834bbccfb8cfc8feab624897c42177696 md5=3ec26e4dcd63041162473cb15f563a48 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sibylfs/sibylfs.0.5.0/opam |
No package is dependent