Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Applying Static Analysis to Software Architectures Gleb Naumovich, George S. Avrunin, Lori A. Clarke and Leon J. Osterweil
 

Summary: Applying Static Analysis to Software Architectures
Gleb Naumovich, George S. Avrunin, Lori A. Clarke and Leon J. Osterweil
email: {naumoviclavrunin[clarkelljo } @cs.umass.edu
Laboratoryfor AdvancedSoftwareEngineeringResearch
Computer Science Department
University of Massachusetts
Amherst, Massachusetts 01003
Abstract. In this paper we demonstrate how static concurrency analysis tech-
niques can be used to verify application-specific properties of an architecture
description. Specifically, we use two concurrency analysis tools, INCA, a flow
equation based tool, and FLAVERS, a data flow analysis based tool, to detect er-
rors or prove properties of a WRIGHTarchitecture description of the gas station
problem. Although both these tools are research prototypes, they illustrate the
potential of static analysis for verifying that architecture descriptions adhere to
important properties, for detecting problems early in the lifecycle, and for helping
developers understand the changes that need to be made to satisfy the properties
being analyzed.
1 Introduction
With the advent of improved network technology, distributed systems are becoming in-
creasingly common. Such systems are more difficult to reason about than sequential

  

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

 

Collections: Mathematics