Proceedings

IEEE International Conference on

Software Maintenance

ICSM 2001

IBM Italìa

Dipartimento di Sistemi e Informatica, DSI University of Florence, Italy

European Commission, IST

Telelogic Italia

O.Group Technology, Italy

Proceedings

IEEE International Conference on

Software Maintenance Systems and Software Evolution in the era of the Internet

http://www.dsi.unifi.it/icsm2001

Florence, Italy 7-9 November, 2001

Sponsored by IEEE Computer Society Technical Council on Software Engineering

With the support of European Commission, IST

Dipartimento di Sistemi e Informatica, University of Florence IBM Italia

O Group Technology Telelogic Italia

Patronized by AICA, AIIA, CESVIT, ERCIM, TABOO, UNINFO

Los Alamitos, California

Washington ! Brussels ! Tokyo

Copyright © 2001 by The Institute of Electrical and Electronics Engineers, Inc.

All rights reserved

Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ 08855-1331. The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors� opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc.

IEEE Computer Society Order Number PR01189 ISBN 0-7695-1189-9

ISBN 0-7695-1190-2 (case) ISBN 0-7695-1191-0 (microfiche)

ISSN Number 1063-6773

Additional copies may be ordered from:

IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office

10662 Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., 1-4-2 P.O. Box 3014 Piscataway, NJ 08855-1331 Minami-Aoyama

Los Alamitos, CA 90720-1314 Tel: + 1-732-981-0060 Minato-ku, Tokyo 107-0062 Tel: + 1-714-821-8380 Fax: + 1-732-981-9667 JAPAN Fax: + 1-714-821-4641 http://shop.ieee.org/store/ Tel: + 81-3-3408-3118

E-mail: cs.books@computer.org customer-service@ieee.org Fax: + 81-3-3408-3553 tokyo.ofc@computer.org

Editorial production by Bob Werner Cover art production by Joe Daigle/Studio Productions

Printed in the United States of America by The Printing House

v

Table of Contents International Conference on Software Maintenance ICSM 2001

Message from the General Chair ____________________________xiii Message from the Program Chairs _________________________xiv Conference Committee___________________________________________ xv Program Committee _______________________________________________xvi Steering Committee_______________________________________________xvii Referees_______________________________________________________________ xviii Keynote Session Chair: Giacomo Bucci Dave Parnas, McMaster University, Canada �Design for Maintenance and Maintaining Design� Keynote Session Chair: Gerardo Canfora Dieter Rombach, Fraunhofer Institut IESE, Germany Keynote Session Chair: Anneliese Amschler Andrews Ivar Jacobson, Rational, USA �Four Macro Trends in Software Development� Panel 1: Software Evolution: Roadmap Chairs: K.H. Bennett, University of Durham, UK; V.T. Rajlich, Wayne State University, USA Panel Members: D. Parnas, McMaster University, Canada; H. Sneed, Independent Consultant, Germany;

K. Beck, CSLife, Switzerland; P.J. Layzell, University of Sussex, UK Software Evolution: A Road Map ______________________________________________________________ 4 K. Bennett and V. Rajlich Addressing the Software Evolution Crisis Through a Service-Oriented View of Software: A Roadmap for Software Engineering and Maintenance Research _____________________________________ 5 P. Layzell Software Evolution: A Road Map ______________________________________________________________ 6 V. Rajlich Software Evolution: A Road Map ______________________________________________________________ 7 H. Sneed Panel 2: Maintenance Metrics: Who Are the Different Stakeholders? Chair: Loredana Mancini, Getronics Consulting, Italy Panel Members: A. Grillo, Associazione Italiana EDP Auditors EIEA, Italy;

N. Cimitile, Magnifico Rettore Università del Sannio, Italy; R. Ehmer, Getronics, Germany; S. Fabrizi, Banca d�Italia, Italy

vi

S1A: Reverse Engineering Session Chair: Mary Jean Harrold Representing and Accessing Extracted Information________________________________________________ 12 A. Cox and C. Clarke Supporting Software Maintenance by Mining Software Update Records _______________________________ 22 J. Shirabad, T. Lethbridge, and S. Matwin Reverse Engineering Legacy Information Systems for Internet Based Interoperation______________________ 32 M. Johnson and R. Rosebrugh S1B: Program Analysis I Session Chair: Jianjun Zhao A Change Propagation Model and Platform for Multi-Database Applications ___________________________ 42 L. Deruelle, M. Bouneffa, N. Melab, and H. Basson Implementation Techniques for Efficient Data-Flow Analysis of Large Programs ________________________ 52 D. Atkinson and W. Griswold Flow Analysis to Detect Blocked Statements_____________________________________________________ 62 B. Malenfant, G. Antoniol, E. Merlo, and M. Dagenais S1C: Change Driven Testing Session Chair: Lee White Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study ________________________________________________________________________ 72 V. Krishna, C. Cook, D. Keller, J. Cantrell, C. Wallace, M. Burnett, and G. Rothermel An Implementation of and Experiment with Semantic Differencing ___________________________________ 82 D. Binkley, R. Capellini, L. Raszewski, and C. Smith Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage ______________________ 92 J. Jones and M. Harrold Industrial Short Papers Session Chair: Harry Sneed SDS Internet Banking______________________________________________________________________ 104 S. Goeschl An Architecture for Re-engineering of Client/Server Applications ___________________________________ 105 A. Furone Extending the UML to Support Evolution Management ___________________________________________ 106 R. France, J. Bieman, and R. Trask Multi-View Architecture Trend Analysis for Medical Imaging ______________________________________ 107 T. Rötschke, R. Krikhaar, and D. Havenith

vii

An Intranet-Based Application for Supporting Effective Maintenance Activities on Large Software Systems ____________________________________________________________________ 108 M. Contini, S. di Vettimo, A. Botta, T. Vimercati, and D. Tagliabue S2A: Metrics Session Chair: Taz Daughtrey Entropies as Measures of Software Information__________________________________________________ 110 S. Abd-El-Hafiz The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program __________________ 118 M. Zelkowitz and I. Rus Investigation of the Risk to Software Reliability and Maintainability of Requirements Changes ____________ 127 N. Schneidewind S2B: Slicing Session Chair: Jeffrey Voas Pre/Post Conditioned Slicing ________________________________________________________________ 138 M. Harman, R. Hierons, C. Fox, S. Danicic, and J. Howroyd Web Application Slicing ___________________________________________________________________ 148 F. Ricca and P. Tonella Incremental Slicing Based on Data-Dependences Types ___________________________________________ 158 A. Orso, S. Sinha, and M. Harrold S2C: Impact Analysis Session Chair: Shawn Bohner The Impact of Software Evolution on Code Coverage Information ___________________________________ 170 S. Elbaum, D. Gable, and G. Rothermel Impact Analysis of Maintenance Tasks for a Distributed Object-Oriented System _______________________ 180 H. Sneed Analyzing the Impact of Changing Requirements ________________________________________________ 190 J. O�Neal and D. Carver Demos Session Chair: Panos Linos Object-Oriented Repository Services __________________________________________________________ 198 H. Sneed Understanding Legacy Systems with OSK______________________________________________________ 199 A. Brizioli, L. Chiocci, M. Loffredo, and O. Signore WebFabIS: A WEB Based Information System for Microelectronics Manufacturing_____________________ 200 L. Ferrario and C. Armaroli

viii

S3A: Effort Analysis Session Chair: Fabrizio Fioravanti Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study ________________________ 202 M. Polo, M. Piattini, and F. Ruiz Software Renewal Process Comprehension using Dynamic Effort Estimation __________________________ 209 D. Caivano, F. Lanubile, and G. Visaggio An Approach to Modelling Long-Term Growth Trends in Software Systems___________________________ 219 M. Lehman, J. Ramil, and U. Sandler S3B: Tools Session Chair: Panos Linos RIPPLES: Tool for Change in Legacy Software _________________________________________________ 230 K. Chen and V. Rajlich Cost-Effective Maintenance Tools for Proprietary Languages_______________________________________ 240 M. de Jonge and R. Monajemi Integrating Information Sources for Visualizing Java Programs _____________________________________ 250 J. Michaud, M. Storey, and H. Müller S3C: Case Studies Session Chair: Loredana Mancini Defect Prevention through Defect Prediction: A Case Study at Infosys________________________________ 260 S. Mohapatra and B. Mohanty Modeling Clones Evolution through Time Series ________________________________________________ 273 G. Antoniol, G. Casazza, M. Di Penta, and E. Merlo Does the Modern Code Inspection Have Value? _________________________________________________ 281 H. Siy and L. Votta S4A: Rapid Evolution Session Chair: Ned Chapin An Architectural Model for Service-Based Software with Ultra Rapid Evolution________________________ 292 K. Bennett, M. Munro, N. Gold, P. Layzell, D. Budgen, and P. Brereton Extreme Maintenance ______________________________________________________________________ 301 C. Poole, T. Murphy, J. Huisman, and A. Higgins S4B: Software Architectures I Session Chair: Jean-Francois Girard Aspects of Design and Implementation of a Multi-Channel and Multi-Modal Information System __________ 312 V. Demesticha, J. Gergic, J. Kleindienst, M. Mast, L. Polymenakos, H. Schulz, and L. Seredi Describing Evolving Dependable Systems Using Co-Operative Software Architectures __________________ 320 R. de Lemos

ix

S4C: Behavior of Concurrent Programs Session Chair: Ira D. Baxter Measuring Behavioral Correspondence to a Timed Concurrent Model ________________________________ 332 J. Cook, C. He, and C. Ma Using Coordination to Restructure Sequential Source Code into a Concurrent Program___________________ 342 C. Everaars, F. Arbab, and B. Koren S5A: Documentation Session Chair: Nicholas Zvegintzov The State of Documentation Practice within Corrective Maintenance _________________________________ 354 M. Kajko-Mattsson CVSSearch: Searching through Source Code Using CVS Comments _________________________________ 364 A. Chen, E. Chou, J. Wong, A. Yao, Q. Zhang, S. Zhang, and A. Michail S5B: UML Session Chair: Norman Schneidewind Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers __________________________________________________________________ 376 P. Tonella and A. Potrich Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software ________ 386 R. France and J. Bieman S5C: Software Architectures II Session Chair: Filippo Lanubile The Build-Time Software Architecture View____________________________________________________ 398 Q. Tu and M. Godfrey A Graph Pattern Matching Approach to Software Architecture Recovery______________________________ 408 K. Sartipi and K. Kontogiannis S6A: Maintenance Process Assessment and Improvement Session Chair: Raj Sood An Empirical Study of Maintenance Issues within Process Improvement Programmes in the Software Industry _________________________________________________________ 422 T. Hall, A. Rainer, N. Baddoo, and S. Beecham Evaluating the Predelivery Phase of ISO/IEC FDIS 14764 in the Swedish Context ______________________ 431 M. Kajko-Mattsson, A. Glassbrook, and M. Nordin Introducing Workflow Management in Software Maintenance Processes ______________________________ 441 L. Aversano, S. Betti, A. De Lucia, and S. Stefanucci Assessing Massive Maintenance Processes: An Empirical Study ____________________________________ 451 A. De Lucia, A. Pannella, E. Pompella, and S. Stefanucci

x

S6B: Distributed Object Systems Session Chair: Scott Tilley A Customization Method for Network Management Functions without Modification of Off-the-Shelf Components __________________________________________________________________ 460 T. Otani and Y. Yamamoto A Framework for Re-use and Maintenance of Quality of Service Mechanisms in Distributed Object Systems _________________________________________________________________ 470 K. Geihs and C. Becker Changing Java Programs ___________________________________________________________________ 479 S. Eisenbach and C. Sadler Live Upgrades of CORBA Applications Using Object Replication___________________________________ 488 L. Tewksbury, L. Moser, and P. Melliar-Smith S6C: Business Models Session Chair: Alberigi Quaranta Towards a Business Maintenance Model _______________________________________________________ 500 M. Kajko-Mattsson A Queue Theory-Based Approach to Staff Software Maintenance Centers_____________________________ 510 G. Antoniol, G. Casazza, G. Di Lucca, M. Di Penta, and F. Rago K-Mediator: Towards Evolving Information Systems _____________________________________________ 520 H. Zedan, S. Zhou, N. Sampat, X. Chen, A. Cau, and H. Yang A Client-Benefits Oriented Taxonomy of ERP Maintenance________________________________________ 528 C. Ng, T. Chan, and G. Gable Dissertation Forum Session Chair: Alessandro Fantechi Summary of Dynamically Discovering Likely Program Invariants ___________________________________ 540 M. Ernst Hypothesis-Based Concept Assignment to Support Software Maintenance ____________________________ 545 N. Gold A Formal Foundation for Object-Oriented Software Evolution ______________________________________ 549 T. Mens Perspectives on Improving Software Maintenance________________________________________________ 553 F. Niessink A Metric Framework for the Assessment of Object-Oriented Systems ________________________________ 557 F. Fioravanti A Database Evolution Approach for Object-Oriented Databases_____________________________________ 561 A. Rashid

xi

Bayesian Analysis of Software Cost and Quality Models __________________________________________ 565 S. Chulani S7C: Design Patterns Session Chair: Andrea De Lucia A Declarative Evolution Framework for Object-Oriented Design Patterns _____________________________ 570 T. Mens and T. Tourwé OO Design Patterns, Design Structure, and Program Changes: An Industrial Case Study _________________ 580 J. Bieman, D. Jain, and H. Yang S8A: Dynamic and Static Analysis Session Chair: Mark Harman Dynamic and Static Views of Software Evolution ________________________________________________ 592 S. Cook, H. Ji, and R. Harrison Aiding Program Comprehension by Static and Dynamic Feature Analysis _____________________________ 602 T. Eisenbarth, R. Koschke, and D. Simon Form: A Framework for Creating Views of Program Executions ____________________________________ 612 T. Souder, S. Mancoridis, and M. Salah S8B: Legacy Systems Session Chair: Roberto Ciampoli Using Design Recovery Techniques to Transform Legacy Systems __________________________________ 622 T. Dean, J. Cordy, K. Schneider, and A. Malton Iterative Reengineering of Legacy Functions ____________________________________________________ 632 A. Bianchi, D. Caivano, V. Marengo, and G. Visaggio A Decisional Framework for Legacy System Management _________________________________________ 642 A. De Lucia, A. Fasolino, and E. Pompella S8C: Short Papers Session Chair: Pierfrancesco Bellini Automating Language Conversion: A Case Study ________________________________________________ 654 A. Terekhov The FermaT Assembler Re-engineering Workbench ______________________________________________ 659 M. Ward Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems_____________ 663 L. Chung and N. Subramanian Software Maintenance: An Approach towards Control ____________________________________________ 667 R. Kusters and F. Heemstra

xii

S9B: Program Analysis II Session Chair: Mark Harman A Program Dependence Model for Concurrent Logic Programs and its Applications_____________________ 672 J. Zhao, J. Cheng, and K. Ushijima Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance _________________________ 682 A. Souter and L. Pollock Syntax-Directed Construction of Value Dependence Graphs________________________________________ 692 D. Byers, M. Kamkar, and T. Pålsson S10A: Testing Session Chair: Maurizio Campanai A Graphical Class Representation for Integrated Black- and White-Box Testing ________________________ 706 S. Beydeda, V. Gruhn, and M. Stachorski Using Component Metacontent to Support the Regression Testing of Component-Based Software __________ 716 A. Orso, M. Harrold, D. Rosenblum, G. Rothermel, M. Soffa, and H. Do Managing the Maintenance of Ported, Outsourced, and Legacy Software via Orthogonal Defect Classification _____________________________________________________________ 726 K. Bassin and P. Santhanam S10B: Reengineering Session Chair: Harry Sneed Automated Support for Program Refactoring Using Invariants ______________________________________ 736 Y. Kataoka, M. Ernst, W. Griswold, and D. Notkin Comparing the Decompositions Produced by Software Clustering Algorithms Using Similarity Measurements ______________________________________________________________ 744 B. Mitchell and S. Mancoridis The Method Replacement Indicator: A Metric for Analyzing Behavioral Substitution ____________________ 754 R. Schauer and R. Keller Author Index ________________________________________________________765