Software - Analysis and Testing Research

	Software Home Faculty Research Degree Programs • Phase II Reading List Graduate Students Graduate Student Alumni Upcoming Events Institute for Software Rese arch (ISR) ICS Dept. UC Irvine	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, Univesity of L'Aquila Henry Muccini, Univesity of L'Aquila 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 Software research emphases: Analysis and Testing \| CSCW \| Compiler Technology \| Configuration Management \| Environments \| Human-Computer Interaction \| Hypermedia \| Internet-scale Event Notification \| Open Source Software Development \| Software Acquisition and Ecommerce \| Software Architecture \| Software Engineering Education \| Software Understanding
	Information and Computer Science University of California, Irvine Irvine, CA 92697-3425 Questions about the Software web site should be directed to brodbeck@ics.uci.edu.