UC Institute for Software Research

Acquisition and Ecommerce

Analysis and Testing

This research is directed toward the integration of formal specification methods and analysis with software testing and selective regression testing. Capabilities to support analysis and testing throughout the software lifecycle, from early requirements analysis through operational use are being pursued, as well as extending specification-based testing techniques to be applicable at the level of software architecture.

Faculty

Debra J. Richardson

Collaborators

Paola Inverardi, University of L'Aquila
Henry Muccini, University of L'Aquila

Hadar Ziv, Information and Computer Science, UCI

Projects

Adequate Testing of Component-Based Software - Development of a theory of test adequacy for component-based software.

Architecture and Component Analysis based on Software Dependence

Argus-I - Architecture-based debugging technology

Architecture-based Testing - A formal architecture-based approach to software integration testing.

Das-Boot - Design, Architecture and Specification-Based Object-Oriented Testing

Perpetual Testing - Technologies to support seamless, perpetual analysis and testing of software through development, deployment and evolution.

ProDAG - Program Dependence Analysis Graph System

Quality by Design

RAIC - Redundant Arrays of Independent Components. A technology that uses a group of identical or similar software components to provide higher reliability, better performance, or more flexibility

TAOS - Testing and Analysis with Oracle Support

TestTalk - A comprehensive software test description language designed for describing software test cases and test oracles in a manner natural to the software. testing process rather than the programming or development process.

Other Links

Software Architecture Research