wiki:summer-projects/2011-bfs

Backtrackable FileSystem

Abstract

The objective of this project was to create native peers and model classes for java.io, to support backtrackable operations for

(1) FileInputStream, FileOutputStream and RandomAccessFile (read/write of file content)

(2) File itself (file creation, rename and delete)

Since these original goals were achieved ahead of time, this was extended by a listener to monitor file system operations. Tentative plans are to continue this project by modeling java.net operations with request/response scripts.

Contact

student: Ivan Mushketik <ivan.mushketik AT gmail.com>

mentor: Peter Mehlitz <pcmehlitz AT gmail.com>

co-mentor: Cyrille Artho <cyrille.artho AT gmail.com>

Repository

The public sources for this project can be found on http://code.google.com/p/jpf-bfs/

Description

See http://code.google.com/p/jpf-bfs/wiki/1_IntroductionToJpfBfs

Last modified 6 years ago Last modified on 02/08/2012 04:04:21 PM