ICECCS 2002
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
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 01923. 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 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 PR01757 ISBN 0-7695-1757-9 ISSN 1050-4729 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 http://computer.org/ customer-service@ieee.org Fax: + 81 3 3408 3553 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
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
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...101 F. Barbier Using Role-Based Modeling Language (RBML) to Characterize Model Families...107 D.-K. Kim, R. France, S. Ghosh, and E. Song Using Aspects to Design a Secure System...117 G. Georg, I. Ray, and R. France Keynote Address 3 A Light-Weight Process for Capturing and Evolving Defect Reduction Experience...129 Victor R. Basili, Mikael Lindvall, AND Forrest Shull, Fraunhofer Center for Experimental Software Engineering, maryland Session 4: Testing Interclass Testing of Object Oriented Software...135 V. Martena, A. Orso, and M. Pezzè A Perturbation-based Testing Strategy...145 B. Murrill, L. Morell, and E. Olimpiew A Framework for Specification-Based Class Testing...153 L. Liu, H. Miao, and X. Zhan Mars Polar Lander Fault Identification Using Model-based Testing...163 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...173 L. Ferrett and J. Offutt Fault Detection Effectiveness of Spathic Test Data...183 J. Hayes and P. Zhang Syntactic Fault Patterns in OO Programs...193 R. Alexander, J. Offutt, and J. Bieman vi
Model checking UML specifications of real time software...203 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...215 A. Dagnino Managing Software Evolution with a Formalized Abstraction Hierarchy...224 T. Aaltonen and T. Mikkonen OptoNet A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy...232 L. Murray, A. Griffiths, and P. Strooper Multiple-View Meta-Modeling of Software Product Lines...238 H. Gomaa and M. Shin Author Index...247 vii