Sciweavers

ESEC
1997
Springer

Applying Static Analysis to Software Architectures

14 years 1 months ago
Applying Static Analysis to Software Architectures
Abstract. In this paper we demonstrate how static concurrency analysis techniques 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 errors or prove properties of a WRIGHT architecture 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.
Gleb Naumovich, George S. Avrunin, Lori A. Clarke,
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where ESEC
Authors Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Comments (0)