Home › Digital Repository › Faculty, Staff and Student Publications/Presentations › Undergraduate Research › Undergraduate Research Day › Undergraduate Research Day 2008 ›

Evaluating Program Design via Automated Constraint ...

Object Details

View

Title Information
Evaluating Program Design via Automated Constraint Detection

Name:Personal
Kawabe, Yuki Role :Text(marcrelator)
creator

typeOfResource
still image genre
Powerpoint/Pdf
Origin Information Place
Laramie, Wyoming
University of Wyoming (keyDate="yes")
2008-04-26

Language:Text
eng

Physical Description

born digital

abstract
Whenever professional programmers describe great program code, they emphasize the importance of designing programs that are easy for other programmers, including themselves months or years later, to understand. Program design comprehensibility measures how easily people can understand the program design. It appears to be subjective, but in this research, I will show that program design comprehensibility can be evaluated mechanically. We extract program constraints from a program using ContExt, a hybrid static/dynamic constraint detecting tool. In several experiments, ContExt produced different numbers of program constraints and information for each program design. The extracted constraints form an abstract model of the program design, which we evaluate using Alloy Analyzer, a bounded model checker. Alloy can determine if certain properties hold in the model. To evaluate design comprehensibility, we check whether the extracted model has properties that we know the original program has. If the extracted model is complete enough, the properties are validated, which means that the program design is comprehensible to the model checker. However, if the model has large gaps, the model checker generates counter examples which do not obey original program properties. Thus, the program design is not comprehensible to the model checker. note
From - Undergraduate Research Day 2008 - Celebration of Research - Abstracts
Subject
TBD

Related Item:series Title Information
Undergrauate Research Day 2008

Location (usage="primary display")

accessCondition:useAndReproduction
http://digital.uwyo.edu/copyright.htm
Record Information languageOfCataloging :Text(ISO639-2B)
English :Code(ISO639-2B)
eng