Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation
- PDF / 7,483,793 Bytes
- 216 Pages / 453.543 x 683.15 pts Page_size
- 99 Downloads / 182 Views
Validation of Evolving Software
Validation of Evolving Software
Hana Chockler Daniel Kroening Leonardo Mariani Natasha Sharygina •
•
Editors
Validation of Evolving Software
123
Editors Hana Chockler Department of Informatics King’s College London UK
Leonardo Mariani Department of Informatics, Systems and Communication University of Milano Bicocca Milano Italy Natasha Sharygina Formal Verification and Security Lab, Informatics Department Università della Svizzera Italiana (University of Lugano) Lugano Switzerland
Daniel Kroening Department of Computer Science University of Oxford Oxford UK
ISBN 978-3-319-10622-9 DOI 10.1007/978-3-319-10623-6
ISBN 978-3-319-10623-6
(eBook)
Library of Congress Control Number: 2015942177 Springer Cham Heidelberg New York Dordrecht London © Springer International Publishing Switzerland 2015 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. 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. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. Printed on acid-free paper Springer International Publishing AG Switzerland is part of Springer Science+Business Media (www.springer.com)
Preface
In our everyday life, we rely on the availability and flawless functioning of complex distributed infrastructures, such as electricity, water, communication, transportation and environmental management. This infrastructure is based on large computerized systems for monitoring and control. Technological innovation offers opportunities for more efficient infrastructure, but innovation in infrastructures and the resulting improvement in quality of life is hindered by the danger of changes and upgrades in existing systems. Indeed, a change can introduce errors resulting in crashes, loss of existing functionality or incompatibility between versions, which can result in major service outages. To make matters worse, most of these systems are networked systems, in which the upgrades are naturally done gradually, so several versions have to co-exist in the same system. Currently, all practices of error detection and validation rely on re-validating the whole system
Data Loading...
