Breadcrumb

 
 

Automatic Program Verification and Test Case Generation of Ruby Programs

Title:

Automatic Program Verification and Test Case Generation of Ruby Programs

Segal, Loren J. (2012) Automatic Program Verification and Test Case Generation of Ruby Programs. Masters thesis, Concordia University.

[img]PDF - Accepted Version
1559Kb

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 > Faculty 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 11:37
Last Modified:25 Oct 2012 11:37
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer