David S. Rosenblum
Associate Professor
Donald Bren School of Information and Computer Sciences
Donald Bren School of Information and Computer Sciences
Faculty Member
Other not listed
Other not listed
PH.D., Stanford University, Electrical Engineering
OTH, Stanford University
OTH, Stanford University
University of California, Irvine
Computer Science
ICS2 209
Mail Code: 3425
Irvine, CA 92697
Computer Science
ICS2 209
Mail Code: 3425
Irvine, CA 92697
Research Interests
Software Engineering; Component-Based Software Systems; Distributed Object Technology; Formal Specification of Software Systems; Automated Software Testing Methods; Software Development Tools; Software Process Models; Software Architecture; Software Evolution
Websites
Academic Distinctions
Senior Member of the IEEE Computer Society, 1996; National Science Foundation CAREER Award, 1997-2001
Appointments
Research Abstract
Professor Rosenblum's research is centered on the creation and application of powerful automated tools and techniques for building large-scale software systems, based on the use of scalable, formal program models and specification languages. His current research is focusing on the problem of validating distributed component-based software systems, especially distributed object systems built with middleware such as CORBA.
One thrust of this research is the development of a theory of test adequacy for component-based software, based on a formal model of the relationship between a component and the applications that use it, and of the test requirements that this relationship induces.
A second thrust of this research is the study of post-deployment validation techniques that can be used when opportunities for pre-deployment testing are limited; these techniques are based on his previous results in automatic runtime consistency checking.
A third thrust of this research is an investigation of event-based abstractions to support rapid construction of distributed applications over wide-area networks; this research has resulted in a design framework for Internet-scale event observation and notification.
This research impacts upon the architecture of software systems and their architectural descriptions; he is therefore studying methods of leveraging architectural models of component-based software for purposes of validation.
One thrust of this research is the development of a theory of test adequacy for component-based software, based on a formal model of the relationship between a component and the applications that use it, and of the test requirements that this relationship induces.
A second thrust of this research is the study of post-deployment validation techniques that can be used when opportunities for pre-deployment testing are limited; these techniques are based on his previous results in automatic runtime consistency checking.
A third thrust of this research is an investigation of event-based abstractions to support rapid construction of distributed applications over wide-area networks; this research has resulted in a design framework for Internet-scale event observation and notification.
This research impacts upon the architecture of software systems and their architectural descriptions; he is therefore studying methods of leveraging architectural models of component-based software for purposes of validation.
Publications
D.S. Rosenblum and A.L. Wolf, A Design Framework for Internet-Scale Event Observation and Notification, Proc. Sixth European Software Engineering Conf./ACM SIGSOFT Fifth Symposium on the Foundations of Software Engineering, Zurich, Switzerland, Sep. 1997, pp. 344-360.
D.S. Rosenblum and E.J. Weyuker, Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies, IEEE Transactions on Software Engineering, Vol. 23, No. 3, Mar. 1997, pp. 146-156.
B. Krishnamurthy and D.S. Rosenblum, Yeast: A General Purpose Event-Action System, IEEE Transactions on Software Engineering, Vol. 21, No. 10, Oct. 1995, pp. 845-857.
D.S. Rosenblum, A Practical Approach to Programming with Assertions, IEEE Transactions on Software Engineering, Vol. 21, No. 1, Jan. 1995, pp. 19-31.
A.L. Wolf and D.S. Rosenblum, A Study in Software Process Data Capture and Analysis, Proc. 2nd Int'l Conf. on the Software Process, Berlin, Germany, Feb. 1993, pp. 115-124.
Professional Societies
Institute of Electrical and Electronics Engineers (IEEE) (Senior Member)
Association for Computing Machinery (ACM)
Research Centers
Software
Link to this profile
https://faculty.uci.edu/profile/?facultyId=3257
https://faculty.uci.edu/profile/?facultyId=3257
Last updated
03/20/2002
03/20/2002