| | |
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
|
