Segal, Loren J. (2012) Automatic Program Verification and Test Case Generation of Ruby Programs. Masters thesis, Concordia University.
- Accepted Version
The Ruby programming language is typically not seen as a language that can be
formally verified. Our research attempts to bridge this gap by introducing novel
techniques to annotate Ruby programs with type specifications, contracts, and translate
them to statically verifiable components. We introduce a novel tool, RubyCorrect,
which uses these techniques to perform extended static checking (ESC) on Ruby
programs, as well as to generate executable test cases through symbolic execution.
These analyses serve to improve code quality and development productivity. We aim
to show that Ruby programs can benefit from existing static verification tools and
techniques if they are simply made available to Ruby developers.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Authors:||Segal, Loren J.|
|Degree Name:||M.A. Sc.|
|Date:||15 September 2012|
|Thesis Supervisor(s):||Chalin, Patrice and Grogono, Peter|
|Deposited By:||LOREN SEGAL|
|Deposited On:||25 Oct 2012 15:37|
|Last Modified:||25 Oct 2012 15:37|
Repository Staff Only: item control page