Concise Guide To Software Verification

Author : Gerard O'Regan
Publisher : Springer Nature
Page : 309 pages
File Size : 50,8 Mb
Release : 2019-09-30
Category : Computers
ISBN : 9783030284947

Get Book

Concise Guide to Software Testing by Gerard O'Regan Pdf

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development; describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product; explains the process of software test planning, test analysis and design, and test management; discusses test outsourcing, and test metrics and problem solving; reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative; examines testing in the Agile world, and the verification of safety critical systems; considers the legal and ethical aspects of software testing, and the importance of software configuration management; provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book. This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader.

Author : Marieke Huisman,Anton Wijs
Publisher : Unknown
Page : 0 pages
File Size : 55,8 Mb
Release : 2023
Category : Electronic
ISBN : 3031301692

Get Book

Concise Guide to Software Verification by Marieke Huisman,Anton Wijs Pdf

Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checking Provides numerous examples to demonstrate the techniques Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented Explains strengths and weaknesses of the techniques, providing insight into when to use which technique in practice This unique textbook has been written primarily for master's level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software. Marieke Huisman is Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, The Netherlands, and Anton Wijs is Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology, The Netherlands.

Author : Marieke Huisman,Anton Wijs
Publisher : Springer Nature
Page : 251 pages
File Size : 42,6 Mb
Release : 2023-07-24
Category : Computers
ISBN : 9783031301674

Get Book

Concise Guide to Software Verification by Marieke Huisman,Anton Wijs Pdf

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checking Provides numerous examples to demonstrate the techniques Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented Explains strengths and weaknesses of the techniques, providing insight into when to use which technique in practice This unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.

Author : Gerard O'Regan
Publisher : Springer Nature
Page : 457 pages
File Size : 44,6 Mb
Release : 2022-09-24
Category : Computers
ISBN : 9783031078163

Get Book

Concise Guide to Software Engineering by Gerard O'Regan Pdf

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering; examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality; covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches; explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language; discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier; describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems; includes key learning topics, summaries and review questions in each chapter, together with a useful glossary. This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers, quality professionals, and software managers.

Author : Gerard O'Regan
Publisher : Springer
Page : 322 pages
File Size : 53,6 Mb
Release : 2017-08-08
Category : Mathematics
ISBN : 9783319640211

Get Book

Concise Guide to Formal Methods by Gerard O'Regan Pdf

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.

Author : Gerard O'Regan
Publisher : Springer Nature
Page : 459 pages
File Size : 45,5 Mb
Release : 2021-10-28
Category : Computers
ISBN : 9783030815882

Get Book

Guide to Discrete Mathematics by Gerard O'Regan Pdf

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Features: This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.

Author : William C. Hetzel
Publisher : Unknown
Page : 300 pages
File Size : 54,9 Mb
Release : 1988
Category : Computers
ISBN : UOM:39015012765064

Get Book

The Complete Guide to Software Testing by William C. Hetzel Pdf

Ed Yourdan called it a bible for project managers. You'll gain a new perspective on software testing as a life cycle activity, not merely as something that happens at the end of coding. An invaluable aid for the development of testing standards and the evaluation of testing effectiveness.

Author : Anonim
Publisher : Unknown
Page : 284 pages
File Size : 47,5 Mb
Release : 1989
Category : Electronic
ISBN : OCLC:916172183

Get Book

The complete guide to software testing by Anonim Pdf

Author : Marcus S. Fisher
Publisher : Springer Science & Business Media
Page : 178 pages
File Size : 46,5 Mb
Release : 2007-12-03
Category : Computers
ISBN : 9780387479392

Get Book

Software Verification and Validation by Marcus S. Fisher Pdf

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Author : Michael S. Deutsch
Publisher : Prentice Hall
Page : 360 pages
File Size : 43,6 Mb
Release : 1982
Category : Computers
ISBN : UOM:39015058705644

Get Book

Software Verification and Validation by Michael S. Deutsch Pdf

“The main thrust of the book is to describe verification and validation approaches that have been used successfully on contemporary large—scale software projects” -- Preface.

Author : Nikolai Kosmatov,Virgile Prevosto,Julien Signoles
Publisher : Springer
Page : 0 pages
File Size : 52,7 Mb
Release : 2024-05-20
Category : Computers
ISBN : 3031556070

Get Book

Guide to Software Verification with Frama-C by Nikolai Kosmatov,Virgile Prevosto,Julien Signoles Pdf

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. Topics and features: * Gentle, example-based introduction to software specification and verification * Wide panorama of state-of-the-art specification and analysis techniques * Step-by-step guide to develop your own, tailor-made analysis on top of the platform* Inspiring success stories of Frama-C deployment on industrial code* More than 15 years of R&D on analysis and verification of C code This book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers. Nikolai Kosmatov is a Senior Researcher at Thales Research & Technology, France. Virgile Prevosto is a Senior Researcher and Julien Signoles is a Research Director, both at Université Paris-Saclay, CEA, List, France.

Author : Venkatanarasiman K
Publisher : Unknown
Page : 118 pages
File Size : 43,6 Mb
Release : 2018-08-22
Category : Computers
ISBN : 171817974X

Get Book

The Dummies' Guide to Software Testing by Venkatanarasiman K Pdf

Get everything you need to get a running start in Software Testing.The basics, quick and fun. You need some software testing knowledge to push applications to perform at their full potential and intended use. This book is a high-level overview of the most important testing concepts that will get you started on the right track. All presented in a short, easy and enjoyable form with reference to further learning. No burnouts or frustration from too much academic jargon.The primary motivation for preparing this book is to serve as a beginner's guide targeted at aspiring and budding software testers to help them in establishing a sustained and fulfilling career path. This book is just a tip of the iceberg and not a bible of concepts which would suit every context. However, it is an impetus and a starting point for digging deeper in the software testing space. There are a wide variety of resources dedicated in various topics based on your area of interest. This book influences by my interactions with industry leaders, testing forums, customers, and end-users. Cross-functional teams, developers, regulatory personnel, project managers and business directors also provided insights.Checkout the book preview to see what's inside.IS THIS BOOK FOR ME?If you had no or minimal contact with computer science or software testing, the book was designed for you. Many people with a testing background love the book as a way to recap important concepts. Very little programming experience is required to follow the book.WHICH PROGRAMMING LANGUAGE IS USED?None. Programming languages vary by nature and application, but the core testing concepts may be applied regardless.IS THE BOOK UP TO DATE?The book covers fundamental principles of software testing which will always be relevant.

Author : Anne Mette Jonassen Hass
Publisher : Artech House
Page : 461 pages
File Size : 49,8 Mb
Release : 2008
Category : Computers
ISBN : 9781596932869

Get Book

Guide to Advanced Software Testing by Anne Mette Jonassen Hass Pdf

A guide to advanced testing -- Basic aspects of software testing -- Testing processes -- Test management -- Test techniques -- Testing of software characteristics -- Reviews (static testing) -- Incident management -- Standards and test improvement process -- Testing tools and automation -- People skills.

Author : Leanna Rierson
Publisher : CRC Press
Page : 612 pages
File Size : 40,8 Mb
Release : 2017-12-19
Category : Computers
ISBN : 9781351834056

Get Book

Developing Safety-Critical Software by Leanna Rierson Pdf

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.

Author : Steven R. Rakitin
Publisher : Artech House Publishers
Page : 0 pages
File Size : 49,6 Mb
Release : 2001
Category : Computers
ISBN : 1580532969

Get Book

Software Verification and Validation for Practitioners and Managers by Steven R. Rakitin Pdf

Suitable for software quality assurance professionals, software engineers, project managers and senior managers, this book is a concise and practical introduction to the basic principles of effective software verification and validation (V&V). This new edition has been thoroughly revised and includes five new chapters and five new appendices focused on management techniques to make your company's software V& V efforts more cost-effective. For Managers, you learn how to help your organization create more accurate estimates and schedules. For practitioners, you learn fundamental software verification and validation practices such as the formal inspection process, configuration management, effective testing techniques, and how to use measurements to drive further process improvements.