Proceedings. Eighth IEEE international Conference on Engineering of Complex Computer Systems. 2-4 December Greenbelt, Maryland.

Transcription

1 ICECCS 2002

2 Proceedings Eighth IEEE international Conference on Engineering of Complex Computer Systems 2-4 December 2002 Greenbelt, Maryland Sponsored by IEEE Computer Society Technical Committee on Complexity in computing (tccx) Los Alamitos, California Washington Brussels Tokyo iii

3 Copyright 2002 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 Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 1331, Piscataway, NJ 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 PR01757 ISBN ISSN Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: customer-service@ieee.org Fax: csbooks@computer.org tokyo.ofc@computer.org Editorial production by Danielle C. Martin Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House iv

4 Table of Contents Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002) Chair s Message... VIII Organizing Committee...x Keynote Address 1 Complexity is the enemy of dependability - can diversity provide a defence?...3 Bev Littlewood, Centre for Software Reliability, City University, London Session 1: Distributed Systems Validating Run-time Interactions in Distributed Java Applications...7 S. Ghosh, N. Bawa, S. Goel, and Y. Reddy Reasoning about asynchronous behaviour in distributed systems...17 P. Henderson A Framework for Performability Modeling of Messaging Services in Distributed Systems...25 S. Ramani, K. Goševa-Popstojanova, and K. Trivedi Efficient reachability testing of asynchronous message-passing programs...35 Y. Lei and K.-C. Tai Keynote Address 2 Integrating CSP and DC...47 Jifeng he, united nations University, international institute for software technology, macau, china Session 2: Formal Approaches Capturing Complete and Accurate Requirements by Refinement...57 S. Liu Mechanization of a Proof of String-Preprocessing in Boyer-Moore s Pattern Matching Algorithm...68 M. Besta and F. Stomp Execution of TILCO Temporal Logic Specifications...78 v

5 P. Bellini, A. Giotti, and P. Nesi Session 3: Design and Modeling MNEMOSYNE: Designing and Implementing Network Short-Term Memory...91 G. Vigna and A. Mitchell Composability For Software Components: An Approach Based on the Whole-Part Theory F. Barbier Using Role-Based Modeling Language (RBML) to Characterize Model Families D.-K. Kim, R. France, S. Ghosh, and E. Song Using Aspects to Design a Secure System G. Georg, I. Ray, and R. France Keynote Address 3 A Light-Weight Process for Capturing and Evolving Defect Reduction Experience Victor R. Basili, Mikael Lindvall, AND Forrest Shull, Fraunhofer Center for Experimental Software Engineering, maryland Session 4: Testing Interclass Testing of Object Oriented Software V. Martena, A. Orso, and M. Pezzè A Perturbation-based Testing Strategy B. Murrill, L. Morell, and E. Olimpiew A Framework for Specification-Based Class Testing L. Liu, H. Miao, and X. Zhan Mars Polar Lander Fault Identification Using Model-based Testing M. Blackburn, R. Busser, A. Nauman, R. Knickerbocker, and R. Kasuda Session 5: Analysis An Empirical Comparison of Modularity of Procedural and Object-Oriented Software L. Ferrett and J. Offutt Fault Detection Effectiveness of Spathic Test Data J. Hayes and P. Zhang Syntactic Fault Patterns in OO Programs R. Alexander, J. Offutt, and J. Bieman vi

6 Model checking UML specifications of real time software V. Del Bianco, L. Lavazza, and M. Mauri Session 6: Software Evolution and Product Line An Evolutionary Lifecycle Model with agile Practices for Software Development at ABB A. Dagnino Managing Software Evolution with a Formalized Abstraction Hierarchy T. Aaltonen and T. Mikkonen OptoNet A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy L. Murray, A. Griffiths, and P. Strooper Multiple-View Meta-Modeling of Software Product Lines H. Gomaa and M. Shin Author Index vii