Segal, Loren J. (2012) Automatic Program Verification and Test Case Generation of Ruby Programs. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
1MBthesis.pdf - Accepted Version |
Abstract
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 > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Segal, Loren J. |
| Institution: | Concordia University |
| Degree Name: | M.A. Sc. |
| Program: | Software Engineering |
| Date: | 15 September 2012 |
| Thesis Supervisor(s): | Chalin, Patrice and Grogono, Peter |
| ID Code: | 974767 |
| Deposited By: | LOREN SEGAL |
| Deposited On: | 25 Oct 2012 15:37 |
| Last Modified: | 18 Jan 2018 17:38 |
Repository Staff Only: item control page
Download Statistics
Download Statistics