软件可靠性方法--英文版

所需积分/C币:27 2012-08-04 21:33:34 27.03MB PDF

英文版,书店有翻译版,但还是喜欢原汁原味的,这个英文版标价一百多美元呢,在网上找了很久终于找到了,来给大家共享一下
Doron a peled SOFTWARE RELIABILITY METHODS Foreword by edmund M. clarke With 50 Illustrations Sp pringer TEXTS IN COMPUTER SCIENCE Alagar and Periyasamy, Specification of Software Systems Apt and Olderog, Verification of Sequential and Concurrent Programs, Second Edition Back and von wright, Refinement Calculus Beidler, Data Structures and Algorithms Bergin, Data Structure Programming Brooks, C Programming: The Essentials for Engineers and Scientists Brooks, Problem Solving with Fortran 90 Dandamudi, Introduction to Assembly Language Programming Fitting, First-Order Logic and Automated Theorem Proving Second Edition Grillmeyer, Exploring Computer Science with Scheme Homer and Selman, Computability and Complexity Theory Immerman, Descriptive Complexity Jalote, An Integrated Approach to Software Engineering, Second Edition Kizza, Ethical and social issues in the information Age Kozen, Automata and Computability Li and vitanyi, An Introduction to Kolmogorov Complexity and its applications Second edition (continued aft er index Doron a. Peled Computing Sciences Bell Labs Lucent Technologies Murray Hill, NJ 07974, USA doron@research.bell-labs.com Series editors David gries Fred B schneider Department of Computer Science Department of Computer Science 415 Boyd graduate Studies research Upson hall Center Cornell University The University of georgia Ithaca, NY 14853-7501. USA Athens GA 30602-7404, USA Library of Congress Cataloging-in-Publication Data Peled, Doron, 1962 Software reliability methods / Doron A. peled p. cm. -(Texts in computer science Includes bibliographical references and index ISBN 0-387-95106-7(alk. paper) 1. Computer software-Reliability I. Title. IL. Series QA7676R44P3172001 005-dc21 2001018395 Printed on acid-tree paper o 2001 Lucent Technologies. All Rights Reserved All rights reserved This work may not be translated or copied in whole or in part without the writter ermission of the publisher(Springer-Verlag New York, Inc, 175 Fifth Avenue, New York, NY 10010 USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or b similar or dissimilar methodology now known or hereafter developed is forbidden The use of general descriptive names, trade names, trademarks, etc . in this publication, even if th former are not especially identified is not to be taken as a sign that such names as understood b the Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone. Production managed by Allan Abrams; manufacturing supervised by Jerome Basma Photocomposed copy prepared from the author's IAtX files Printed and bound by Maple-Vail Book Manufacturing Group, York, PA Printed in the United States of America 987654321 SBN0387-95106-7 SP|N10774651 Springer-Verlag New York Berlin Heidelberg A member of Bertelsmann springer Science+ Business Media gmbH To my parents, Priva and zeev Foreword by Edmund M. clarke It is a great pleasure for me to write the foreword for Doron Peled s new book on software reliability methods. When I first opened the book, i was immediately impressed by the breadth of its coverage It covers specification and modeling deductive verification model checking process algebra program testing, and state and message sequence charts In addition to describing the individual methods in considerable depth, it also discusses when each method is appropriate and the tradeoffs that are necessary in selecting among them. The different techniques are illustrated by many challenging exercises that can be used in conjunction with state of the art tools. It even tells where to access the tools on the web! i do not know of any other book that covers the same topics with such depth The book also describes the process of applying formal methods, starting ith modeling and specification, then selecting an appropriate verification technique, and, finally, testing the resulting program. This knowledge is es- sential in practice, but is rarely covered in software engineering texts. Most books focus on a particular technique like program testing and do not cover other validation techniques or how several techniques can be used in combi- nation. Because Doron has made significant contributions to the development of many of the validation techniques described in the book, his insights are particularly important on this critical issue. The book is appropriate for a wide spectrum of people involved in the development of software. It is particularly appropriate for an upper level undergraduate level course on software reliability or a master, s degree course in software engineering. In fact, it is sufficiently well annotated with pointers to other more advanced papers that it can be used as a reference source for software engineers engaged in code validation or by researchers in formal methods Having just completed a book on model checking with Doron, I am im- mensely impressed with both his talent as a computer scientist and his skill as a writer. i am sure that the present book will be an enormous success I recommend it with great enthusiasm for anyone who is interested in the problem of software reliability. Preface Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac- ceptance of such tools in the software and hardware development industry Ideally, formal methods need to be intuitive to use(preferably using graphi- cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches The focus of this book is on describing the main principles of formal meth- ods, through a collection of techniques. At the time of writing this book there are already many advanced techniques that are not covered here Tech niques that deal with real-time and hybrid systems, advanced specification formalisms, and special data structures such as binary decision diagrams were not included The exclusion of specific material does not mean that the methods presented here are superior to the ones omitted. Nevertheless, the algorithms and methods described here are being used in state-of-the-art soft ware reliability tools. The selection is merely intended to present the subject of formal methods in a way that seems deductive. however, it is impossible to refrain from preferring to include subjects that are closer to one's own re- search The main themes used throughout this book are logic and automata theory. The interested reader can find details of advanced approaches in other books and research papers listed at the end of relevant chapters Studying formal methods is incomplete without hands-on experience with some tools. This book includes various exercises and projects, which may be performed using software reliability tools. There are several running examples

...展开详情

评论 下载该资源后可以进行评论 3

一个搬砖工. 很好,不过没找到中文的
2013-05-14
回复
zro520 中文的没找到,英文的更好了,太感谢楼主了!
2012-12-16
回复
ncliujie 这本书是形式化方面的经典之作,想要学习形式化语言的朋友可以看看。
2012-11-25
回复
img
keep_thinking

关注 私信 TA的资源

上传资源赚积分,得勋章
最新资源