CS620 Handouts

Graduate School of Engineering Tottori University Tottori Japan

ISSN 2191-544X ISSN 2191-5458 (electronic) ISBN 978-4-431-54564-4 ISBN 978-4-431-54565-1 (eBook) DOI 10.1007/978-4-431-54565-1 Springer Tokyo Heidelberg New York Dordrecht London

Library of Congress Control Number: 2013950356

 The Author(s) 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.

Printed on acid-free paper

Springer is part of Springer Science+Business Media (

Preface

Software reliability is one of the most important characteristics of software product quality. Its measurement and management technologies during the software product life-cycle are essential to produce and maintain quality/reliable software systems. Chapter 1 of this book introduces several aspects of software reliability modeling and its applications. Hazard rate and nonhomogeneous Poisson process (NHPP) models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are discussed with reference to incorporating practical factors of dynamic software behavior. Three software management problems are presented as application technologies of software reliability models: the optimal software release problem, the statistical testing-process control, and the optimal testing-effort allocation problem. Chapter 2 of this book describes several recent developments in software reliability modeling and their applications as quantitative techniques for software quality/reliability measurement and assessment. The discussion includes a quality engineering analysis of human factors affecting software reliability during the design review phase, which is the upper stream of software development, as well as software reliability growth models based on stochastic differential equations and discrete calculus during the testing phase, which is the lower stream. From the point of view of quantitative project management, quality-oriented software management analysis by applying the multivariate analysis method and the existing software reliability growth models to actual process monitoring data are also discussed. The final part of the Chap. 2 provides an illustration of operational performability evaluation for the software-based system, by introducing the concept of systemability defined as the reliability characteristic subject to the uncertainty of the field environment.

Tottori, Japan, May 2013

v

Acknowledgments

I would like to express my sincere appreciation to Drs. Shinji Inoue, Yoshinobu Tamura, and Koichi Tokuno for their helpful suggestions in completion of this monograph on software reliability modeling. Thanks also go to my research colleagues from universities and industry for their warm advice. I am also indebted to Mr. Takahiro Nishikawa, Department of Social Management Engineering, Graduate School of Engineering, Tottori University, Japan, for his support in the editing.

vii