Software faculty are involved in several major grant-funded research efforts, including projects carried out under the Evolutionary Design of Complex Software (EDCS) program. Funding for these projects, sponsored by the U.S. Defense Advanced Research projects Agency (DARPA), was awarded at over $3M for 1997-1999. Previously, this work was carried out as part of the Arcadia project, in which a consortium of major research universities worked collaboratively to research and develop innovative technologies in support of advanced software engineering environments. In this capacity, Software principal investigators were awarded a three-year, $3.3 M ARPA grant in 1994, a three-year $5.1 M ARPA grant in 1991 and a greater than $3M NSF grant in 1988.

Other funding agencies for Software's research include the National Science Foundation (NSF) and the UC Micro Program. The UC MICRO program provides support for microelectronics and computer science research between industry and the University of California.

Projects

• Architecture

The C2 Style

A component- and message-based architectural style for component reuse and flexible system composition.

Dynamic Architecture

Techniques and tools for modifying software architectures during execution.

The Argo Software Architecture Design Environment

A graphical design environment for constructing, analyzing, and generating C2 architectures.
• Hyperware

Chimera

An open, serverized, hypermedia system that supports n-ary links between heterogeneous tools and applications in a network.

WebSoft

The WebSoft project is investigating the use of the World Wide Web (WWW) as the infrastructure and external integration mechanism for a global software engineering environment (gSEE).

World Wide Web Distributed Authoring and Versioning (WEBDAV), E. James Whitehead

The IETF WEBDAV working group is developing interoperability specifications for how to perform remote authoring and versioning of web content.
• Process

Endeavors

An open, distributed, extensible process execution environment.

EDEM: Expectation-Driven Event Monitoring

An approach and an agent-based architecture for collecting application usage data over the Internet on a potentially large and ongoing basis.

Perpetual Testing, Debra J. Richardson

Develops technologies to support seamless, perpetual analysis and testing of software through development, deployment and evolution.

DAS-BOOT: Design-, Architecture-, and Specification-Based Object-Oriented Testing, Debra J. Richardson, Marlon Vieira

Siddhartha: Specification-based Testing of Untestable (unparameterized) Ada Units., Debra J. Richardson, Arthur Reyes

Supports development and assurance of quality software through automated specification-based testing.

SoBeIt: Structural or Behavioral Execution Instrumentation Tool, Debra J. Richardson, Marlon Vieira

Supports development and assurance of quality software through automated specification-based testing.

TestTalk: Software Test Description Language, Debra J. Richardson, Charles Chang Liu

A Comprehensive Testing Language: Write Once, Test by Anyone, Anytime, Anywhere, with Anything.

ProDAG: Program Dependence Analysis Graph System , Debra J. Richardson

Analyzes program dependences, which represent information flow between program components and as such are the essential semantic relationships determining when one component may affect another's behavior.

TAOS: Testing with Analysis and Oracle Support, Debra J. Richardson

A toolkit and environment supporting analysis and testing processes.

Formal Approach to Architecture-Based Software Integration Testing, Debra J. Richardson

A formal software architecture specification makes the analysis, design, and construction of a complex system intellectually tractable by characterizing the system at a high level of abstraction. Defects in the dynamic interaction and communication behavior of the components in the system can be revealed through dynamic analysis, of which testing is a familiar technique.

Integrated Support for Specifying and Testing Critical Software-Intensive Systems, Debra J. Richardson

This UC MICRO project is developing an integrated toolset to support the production of highly dependable critical systems by combining and refining several advanced technologies.

Oberon, Michael Franz

A modern integrated software environment for single-user workstations.

• Slim Binaries Introduces the concept of a portable object file that can be used on more than one kind of target machine.
• Dynamic Code Reoptimization A system architecture that delays program optimization until runtime.
• Juice A new technology for distributing executable content across the World Wide Web.

A web-based group awareness and coordination tool.

Selective Regression Testing, David S. Rosenblum

Static and dynamic test-coverage and program-change analyses are employed to eliminate unnecessary test cases during regression testing of a software system in maintenance.

Arcadia

The precursor to much of the current EDCS work. Arcadia investigated tools and techniques to improve the software engineering process. The goal was to support the creation of software engineering environments intended for the development, analysis, and maintenance of large, complex software systems, particularly those with high reliability requirements. Additionally, Arcadia committed to a highly distributed, tool-based architecture supporting flexible environment evolution, heterogeneous tools (i.e., developed using a variety of programming languages, object management systems, etc.), and organizationally dispersed software engineering.

Back to Software home page.

March 30, 1998