Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Experiments with an Improved Constrained Expression Toolset George S. Avrunin* Ugo A. Buy' James C, Corbett* Laura K. Dillont Jack C. Wiledenq
 

Summary: Experiments with an Improved Constrained Expression Toolset
George S. Avrunin* Ugo A. Buy' James C, Corbett* Laura K. Dillont Jack C. Wiledenq
Abstract
At TAV3, we described a prelimimu-y version of the con-
strained expression toolset, and reported on the results of our
initial experiments with it, Through those experiments we
discovered shortcomings in some of the tools that limited
the size of the examples that we could analyze. We have
since redesigned and reimplementcd several components of
the toolset, with performance improvements of more than two
orders of magnitude in some cases. The improved toolset has
been successfully used with designs that involve hundreds
of concurrent processes. In this paper, we describe several
experiments with the new version of the toolset, including
preliminary experiments with a technique for analyzing sys-
tems that include an essentially arbitrary number of identical
components.
1 Introduction
At the 1989 Symposium on Software Testing, Analysis, and
Verification, we described a preliminary version of a toolset

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics