| | |
Summary: PROPEL:An Approach Supporting Property Elucidation
Rachel L. Smith, George S. Avrunin, LoriA. Clarke, and Leon J. Osterweil
Departmentof Computer Science
Universityof Massachusetts
Amherst, Massachusetts01003
(413) 545-2013
{rasmith, avrunin, clarke, Ijo}@cs.umass.edu
ABSTRACT
Property specifications concisely describe what a software system
is supposed to do. It is surprisingly difficult to write these
properties correctly. There are rigorous mathematical formalisms
for representing properties, but these are often difficult to use. No
matter what notation is used, however, there are often subtle, but
important, details that need to be considered. PROPEL aims to
make the job of writing and understanding properties easier by
providing templates that explicitly capture these details as options
for commonly-occurring property patterns. These templates are
represented using both "disciplined" natural language and finite-
state automata, allowing the specifier to easily move between
these two representations.
|
