Principal Investigator Daniel Jackson
Project Website http://people.csail.mit.edu/jnear/rubicon/
Rubicon is a tool for analyzing Ruby on Rails programs. It allows programmers to extend existing RSpec tests with logical quantifiers, enabling exhaustive analysis of a Rails application.
Rubicon is a library for Ruby, Rails, and RSpec that lets you write formal specifications of the behavior of your web apps. In addition to the standard RSpec language, Rubicon gives you the quantifiers of first-order logic, so your specifications cover all possible objects of the given type, and mock objects are no longer needed. The specification below checks that privacy is handled correctly when a Contact is displayed.