*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                             Salle R, etage -1                     *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 8 juin 2001 **** 14h00 *********************************

Barbara G. RYDER (Rutgers University, New Brunswick, 
                  New Jersey, USA & professeur invit'ee au DI)

Change Impact Analysis for Object-oriented Programs

Re'sume' : Small changes can have major and nonlocal effects in object-oriented
languages, due to the use of subtyping and dynamic dispatch.  This
complicates life for maintenance programmers who need to fix bugs or add
enhancements to systems originally written by others.  Change impact
analysis provides feedback on the semantic impact of a set of program
changes.  This analysis can be used to determine the regression test drivers
associated with a program that are affected by a set of changes.  Moreover,
if a test fails, a subset of changes responsible for the failure can be
identified, as well as a subset of changes that can be incorporated safely
without affecting any test driver.

This talk on our work-in-progress will cover change impact analysis,
concentrating on algorithmic and architecture aspects of this research.  We
plan an implementation in an existing interactive development environment
such as IBM¹s VisualAge Java (see www.ibm.com/software/ad/vajava).  This
will be part of a larger effort to provide analysis-based support for
refactoring, program understanding and regression testing. This work will
appear at the upcoming PASTE workshop at PLDI¹01.

Travail commun avec Frank Tip
IBM T.J. Watson Research Center

*********************************************************************

Pas de se'minaire du 11 juin au 30 jullet, salle R non disponible
(concours d'entre'e).

*********************************************************************
Pour recevoir l'annonce par courrier electronique: &#99;&#111;&#117;&#115;&#111;&#116;&#64;&#100;&#105;&#46;&#101;&#110;&#115;&#46;&#102;&#114;
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************