Software Reliability Engineering

Size: px

Start display at page:

Download "Software Reliability Engineering"

Tracy Parker
6 years ago
Views:

1 Proceedings lzth International Symposium on Software Reliability Engineering ISSRE 2001

3 Proceedings lzfh International Symposium on Software Reliability Engineering ISSRE November Hong Kong, China Sponsored by IEEE Computer Society IEEE Reliability Society In Cooperation with The Chinese+ lhnwerrsty of I-hg Kong Productivity Council.long X mg Pmdu&&ycWnal 1 tbm CGPUTER SOCIETY Los Alamitos, California Washington Brussels Tokyo

4 Copyright 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 133, 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 PRO 1306 ISBN ISBN (case) ISBN (microfiche) ISSN Additional copies may be ordered from: IEEE Computer Society Customer Service Center Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA Tel: Fax: csbooks@computer.org IEEE Service Center 445 Hoes Lane P.O. Box 1331 Piscataway, NJ Tel: Fax: ieee.org IEEE Computer Society AsidPacific Office Watanabe Bldg., Minami- Aoyama Minato-ku, Tokyo JAPAN Tel: Fax: tokyo.ofc@computer.org Editorial production by Frances M. Titsworth Cover art production by Joseph Daigle/S tudio Productions Printed in the United States of America by The Printing House COMPUTER SOCIETY

5 Table of Contents 12th International Symposium on Software Reliability Engineering ISSRE 2001 Foreword... Organizers... Reviewers viii x xi11... Session: 1A. Component Based Systems An Approach to Higher Reliability Using Software Components... 2 H. Jin and P. Santhanam A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj Comparison of Architecture-Based Software Reliability Models K. Goieva-Popstojanova, A. Mathur, and K. Trivedi Session: 1B. Testing GUI Software Finite-State Testing and Analysis of Graphical User Interfaces F. Belli Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System D. Donovan, C. Dish, R. Mulphy, S. Unger, C. Kenneally, J. Young, and L. Sheehan User-Based Testing of GUI Sequences and Their Interactions L. White, H. Almezen, and N. Alzeidi Session 2A. Software Fault Models and Prediction An Application of Zero-Inflated Poisson Regression for Software Fault Prediction T. Khoshgojlaar, K. Gao, and R. Szabo A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications A. Ibrahim, H. Ammar, and S. Yacoub A Fault Model for Subtype Inheritance and Polymorphism J. Offutt, R. Alexander, Y. Wu, Q. Xiao, and C. Hutchinson Session 2B. Reliable Wireless and Mobile Systems Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability S.-J. Chang and P. Kapauan Modeling and Verifying Strong Cache Consistency for Mobile Data Access J. Wei, S.-C. Cheung, H. Zhou, X. Wang, J. Li, and Y.4. Feng Recovery Proxy for Wireless Applications B. Yao and W. Fuchs V

6 Session 3A. Fault Tolerant Distributed Software Systems Estimation of Software Diversity by Fault Simulation and Failure Searching L. Chen, J. May, and G. Hughes Fault Tolerant Distributed Information Systems J. Knight and M. Elder Increasing the Reliability of Three-Tier Applications W. Zhao, L. Moser, and P. Melliar-Smith Low-Cost Flexible Software Fault Tolerance for Distributed Computing A. Tai, K. Tso, W. Sanders, L. Alkalai, and S. Chau Session 3B. Software Reliability Growth Modeling A Simulation Based Trainer for Software Reliability Modeling E. Jones and A. Rembert Analysis of Hypergeometric Distribution Software Reliability Model T. Dohi, N. Wakana, S. Osaki, and K. Trivedi Discrete Equations and Software Reliability Growth Models......: D. Satoh and S. Yamada Modelling the Fault Correction Process N. Schneidewind Session 4A. Testing Internet and Multimedia Systems An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP B. Choi, S. Yeum, T. Gwak, andb. Min Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis S. Lee and J. OfSutt Toward Generic Timing Tests for Distributed Multimedia Software Systems S. Cheung, S. Chanson, and Z. Xu Session 4B. Formal Approaches Efficient Deadlock Analysis of Clients/Server Systems with Two-way Communication J. Zhou and K.-e. Tai Feedback Control of the Software Test Process Through Measurements of Software Reliability J. Cangussu, A. Mathur, and R. DeCarlo Tool Support for Production Use of Formal Techniques J. Knight, K. Hanks, and S. Travis Session 5A. Software Testing Experiments An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study P. Chevalley and P. The'venod-Fosse Evaluating the Software Test Strategy for the 2000 Sydney Olympics K. Bassin, S. Biyani, and P. Santhannm vi

7 Session 5B. Coverage and Testing Strategies Coverage Analysis for Message Flows N. Aizenbud-Reshef Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles L. Briand, Y. Lubiche, and Y. Wang Session 6A. Software Architecture Automated and Portable Native Code Isolation G. Czajkowski, L. DaynBs, and M. Wolczko Deriving Tests From Software Architectures Z. Jin and J. Offutt Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs F. Bastani, I.-L. Yen, K. Sung, J. Linn, and K. Rao Towards a Safe Use of Design Patterns to Improve 00 Software Testability B. Baudiy, Y. Sunyk, and J.-M. Jkzkquel Session 6B. Measurement Field Data and Experience Accounting for Realities When Estimating the Field Failure Rate of Software D. Jeske, X. Zhang, and L. Pham Defect Content Estimation for Two Reviewers C. Wohlin, H. Petersson, M. Host, and P. Runeson Measurement-Based Availability of Unix Systems in a Distributed Environment C. Simache and M. Kaaniche Quantitative Evaluation and Operative Usage of Interactive Systems A. Pasquini, A. Rizzo, L. Save, M. Sujan Author Index vii

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,