Concise Guide To Software Testing
DOWNLOAD
Download Concise Guide To Software Testing PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Concise Guide To Software Testing book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Concise Guide To Software Testing
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer Nature
Release Date : 2019-09-30
Concise Guide To Software Testing written by Gerard O'Regan and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-09-30 with Computers categories.
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.
Concise Guide To Software Engineering
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer Nature
Release Date : 2022-09-24
Concise Guide To Software Engineering written by Gerard O'Regan and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2022-09-24 with Computers categories.
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.
Concise Guide To Formal Methods
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer
Release Date : 2017-08-08
Concise Guide To Formal Methods written by Gerard O'Regan and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-08-08 with Mathematics categories.
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.
Guide To Software Project Management
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer Nature
Release Date : 2025-04-28
Guide To Software Project Management written by Gerard O'Regan and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2025-04-28 with Computers categories.
This essential textbook presents an overview of software project management in an ethical and responsible software engineering environment. The book covers the essentials of software project management, and highlights the importance of ethics and professional responsibility as part of the skill set of the modern project manager. Topics and features: Presents a solid overview of software project management Discusses professional and ethical responsibilities of project managers Presents an overview of ethical software engineering Reviews project planning and scheduling, project monitoring and control, risk management and project closure Discusses quality management of software projects Presents an overview of legal and ethical aspects of outsourcing Discusses project management for both traditional and Agile projects Reviews a selection of tools & metrics to support project management Discusses best practice (Prince 2, PMP and CMMI) to improve project management 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 understand software project management. The text also serves as a self-study primer for software engineers, project managers and software managers. Dr. Gerard O’Regan is an international lecturer in Maths/Computing with research interests in software quality, software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of several books with Springer, including Concise Guide to Software Engineering, Ethical and Legal Aspects of Computing, and A Brief History of Computing.
Guide To Advanced Software Testing Second Edition
DOWNLOAD
Author : Anne Mette Hass
language : en
Publisher: Artech House
Release Date : 2014-10-01
Guide To Advanced Software Testing Second Edition written by Anne Mette Hass and has been published by Artech House this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-10-01 with Computers categories.
Software testing is a critical aspect of the software development process, and this heavily illustrated reference takes professionals on a complete tour of this increasingly important, multi-dimensional area. The book offers a practical understanding of all the most critical software testing topics and their relationships and inter-dependencies. This unique resource utilizes a wealth of graphics that support the discussions to offer a clear overview of software testing, from the definition of testing and the value and purpose of testing, through the complete testing process with all its activities, techniques and documentation, to the softer aspects of people and teams working with testing. Practitioners find numerous examples and exercises presented in each chapter to help ensure a complete understanding of the material. The book supports the ISTQB certification and provides a bridge from this to the ISO 29119 Software Testing Standard in terms of extensive mappings between the two; this is a truly unique feature.
Guide To Discrete Mathematics
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer Nature
Release Date : 2021-10-28
Guide To Discrete Mathematics written by Gerard O'Regan and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-10-28 with Computers categories.
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.
Exploratory Software Testing
DOWNLOAD
Author : James A. Whittaker
language : en
Publisher: Pearson Education
Release Date : 2009-08-25
Exploratory Software Testing written by James A. Whittaker and has been published by Pearson Education this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-08-25 with Computers categories.
How to Find and Fix the Killer Software Bugs that Evade Conventional Testing In Exploratory Software Testing, renowned software testing expert James Whittaker reveals the real causes of today’s most serious, well-hidden software bugs--and introduces powerful new “exploratory” techniques for finding and correcting them. Drawing on nearly two decades of experience working at the cutting edge of testing with Google, Microsoft, and other top software organizations, Whittaker introduces innovative new processes for manual testing that are repeatable, prescriptive, teachable, and extremely effective. Whittaker defines both in-the-small techniques for individual testers and in-the-large techniques to supercharge test teams. He also introduces a hybrid strategy for injecting exploratory concepts into traditional scripted testing. You’ll learn when to use each, and how to use them all successfully. Concise, entertaining, and actionable, this book introduces robust techniques that have been used extensively by real testers on shipping software, illuminating their actual experiences with these techniques, and the results they’ve achieved. Writing for testers, QA specialists, developers, program managers, and architects alike, Whittaker answers crucial questions such as: • Why do some bugs remain invisible to automated testing--and how can I uncover them? • What techniques will help me consistently discover and eliminate “show stopper” bugs? • How do I make manual testing more effective--and less boring and unpleasant? • What’s the most effective high-level test strategy for each project? • Which inputs should I test when I can’t test them all? • Which test cases will provide the best feature coverage? • How can I get better results by combining exploratory testing with traditional script or scenario-based testing? • How do I reflect feedback from the development process, such as code changes?
Istqb Certified Tester Foundation Level
DOWNLOAD
Author : Lucjan Stapp
language : en
Publisher: Springer Nature
Release Date : 2023-11-23
Istqb Certified Tester Foundation Level written by Lucjan Stapp and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-11-23 with Computers categories.
This book is aimed at everyone preparing for the ISTQB® Certified Tester – Foundation Level exam based on the Foundation Level syllabus (version 4.0) published in 2023. It provides candidates with reliable knowledge based on this document and thus distinguishes itself from all the information about ISTQB® syllabi and exams on the Internet, which is often of rather poor quality and may even contain serious errors. The book expands and details many issues that are described in the new 2023 version of the syllabus in a perfunctory or general way only. According to the ISTQB® guidelines for syllabus-based training, an exercise must be provided for each learning objective at the K3 level, and a practical example must be provided for each objective at the K2 or K3 level. In order to satisfy these requirements, the authors prepared numerous exercises and examples for all learning objectives at these levels. In addition, for each learning objective, one or more sample exam questions are presented which are similar to those that the candidate will see in the exam. This makes the book an excellent aid for studying and preparing for the exam and verifying acquired knowledge.
A Brief History Of Computing
DOWNLOAD
Author : Gerard O'Regan
language : en
Publisher: Springer Nature
Release Date : 2021-04-28
A Brief History Of Computing written by Gerard O'Regan and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-04-28 with Computers categories.
This lively and fascinating text traces the key developments in computation – from 3000 B.C. to the present day – in an easy-to-follow and concise manner. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, exercises, and a glossary; presents detailed information on major figures in computing, such as Boole, Babbage, Shannon, Turing, Zuse and Von Neumann; discusses the earliest computers developed in the United States, Germany and Britain; discusses the development of the IBM 360 family of computers and its importance; discusses the invention of the transistor and integrated circuit; discusses the birth of the software industry and the evolution of human-computer interaction; reviews the history of programming languages, operating systems and software engineering; discusses the progress of artificial intelligence; discusses the invention of the microprocessor and the development of home and personal computers; examines the impact on society of the introduction of the personal computer, the World Wide Web, and the development of mobile phone technology; discusses smart phones and social media and the challenge of fake news; reviews a miscellany of innovations in the computing field such as cloud computing, the Internet of Things, and Quantum Computing; discusses legal aspects of computing and the professional responsibilities of computer professionals.
Introduction To Programming With C For Engineers
DOWNLOAD
Author : Boguslaw Cyganek
language : en
Publisher: John Wiley & Sons
Release Date : 2021-02-08
Introduction To Programming With C For Engineers written by Boguslaw Cyganek and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-02-08 with Computers categories.
A complete textbook and reference for engineers to learn the fundamentals of computer programming with modern C++ Introduction to Programming with C++ for Engineers is an original presentation teaching the fundamentals of computer programming and modern C++ to engineers and engineering students. Professor Cyganek, a highly regarded expert in his field, walks users through basics of data structures and algorithms with the help of a core subset of C++ and the Standard Library, progressing to the object-oriented domain and advanced C++ features, computer arithmetic, memory management and essentials of parallel programming, showing with real world examples how to complete tasks. He also guides users through the software development process, good programming practices, not shunning from explaining low-level features and the programming tools. Being a textbook, with the summarizing tables and diagrams the book becomes a highly useful reference for C++ programmers at all levels. Introduction to Programming with C++ for Engineers teaches how to program by: Guiding users from simple techniques with modern C++ and the Standard Library, to more advanced object-oriented design methods and language features Providing meaningful examples that facilitate understanding of the programming techniques and the C++ language constructions Fostering good programming practices which create better professional programmers Minimizing text descriptions, opting instead for comprehensive figures, tables, diagrams, and other explanatory material Granting access to a complementary website that contains example code and useful links to resources that further improve the reader’s coding ability Including test and exam question for the reader’s review at the end of each chapter Engineering students, students of other sciences who rely on computer programming, and professionals in various fields will find this book invaluable when learning to program with C++.