Support for Advanced Software Engineering Environment
Abstract
The goal of software analysis research is to develop practical techniques that can help software developers determine whether software systems satisfy their requirements. The focus of most of the research is on the static analysis of concurrent software-the nondeterministic behavior introduced by concurrency means that dynamic analysis (testing) is not adequate for concurrent systems. Since concurrent systems are built of interacting sequential components, many of the techniques used for analyzing concurrent systems can also be applied to sequential software. FLAVERS is an example of a flexible, powerful system for automatically guaranteeing the absence or detecting the presence of a wide range of user-specified properties or behaviors in both sequential and concurrent systems. FLAVERS complements traditional testing approaches, which only demonstrate the presence or absence of errors for the specific test cases that have been executed. It also complements formal verification methods, which employ more comprehensive analysis, but require extensive expertise on part of the user.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 2002
- Accession Number
- ADA402474
Entities
People
- Leon J. Osterweil
- Lori A. Clarke
Organizations
- University of Massachusetts Amherst