Software testing and verification Books
Rocky Nook Expert Test Manager: Guide to the Istqb Expert
Book SynopsisThis book covers the ISTQB Expert Level Test Manager syllabus and is a complete, one-stop preparation guide for the reader who is otherwise qualified (based on experience as a test manager) to take the Expert Level Test Manager exam. Included are extensive hands-on exercises and sample exam questions that comply with ISTQB standards for Expert Level exams. The ISTQB certification program is the leading software tester certification program in the world. With more than 240,000 certificates issued and a global presence in 70 countries, you can be confident in the value and international stature that the ISTQB Expert Level certificate can offer you.
£31.50
Rocky Nook Testing in Scrum: A Guide for Software Quality
Book SynopsisThese days, more and more software development projects are being carried out using agile methods like Scrum. Agile software development promises higher software quality, a shorter time to market, and improved focus on customer needs. However, the transition to working within an agile methodology is not easy. Familiar processes and procedures change drastically. Software testing and software quality assurance have a crucial role in ensuring that a software development team, department, or company successfully implements long-term agile development methods and benefits from this framework. This book discusses agile methodology from the perspective of software testing and software quality assurance management. Software development managers, project managers, and quality assurance managers will obtain tips and tricks on how to organize testing and assure quality so that agile projects maintain their impact. Professional certified testers and software quality assurance experts will learn how to work successfully within agile software teams and how best to integrate their expertise. Topics include: Agile methodology and classic process models How to plan an agile project Unit tests and test first approach Integration testing and continuous integration System testing and test nonstop Quality management and quality assurance Also included are five case studies from the manufacturing, online-trade, and software industry as well as test exercises for self-assessment. This book covers the new ISTQB Syllabus for Agile Software Testing and is a relevant resource for all students and trainees worldwide who plan to undertake this ISTQB certification.
£33.00
Rocky Nook Advanced Software Testing V 2. 2e
Book SynopsisThis book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being tested. This hands-on, exercise-rich book provides experience with planning, scheduling, and tracking these tasks. You'll be able to describe and organize the necessary activities as well as learn to select, acquire, and assign adequate resources for testing tasks. You'll learn how to form, organize, and lead testing teams, and master the organizing of communication among the members of the testing teams, and between the testing teams and all the other stakeholders. Additionally, you'll learn how to justify decisions and provide adequate reporting information where applicable. With over thirty years of software and systems engineering experience, author Rex Black is President of RBCS, is a leader in software, hardware, and systems testing, and is the most prolific author practicing in the field of software testing today. He has published a dozen books on testing that have sold tens of thousands of copies worldwide. He is past president of the International Software Testing Qualifications Board (ISTQB) and a director of the American Software Testing Qualifications Board (ASTQB). This book will help you prepare for the ISTQB Advanced Test Manager exam. Included are sample exam questions, at the appropriate level of difficulty, for most of the learning objectives covered by the ISTQB Advanced Level Syllabus. The ISTQB certification program is the leading software tester certification program in the world. With about 300,000 certificate holders and a global presence in over 50 countries, you can be confident in the value and international stature that the Advanced Test Manager certificate can offer you. This second edition has been thoroughly updated to reflect the new ISTQB Advanced Test Manager 2012 Syllabus, and the latest ISTQB Glossary. This edition reflects Rex Black's unique insights into these changes, as he was one of the main participants in the ISTQB Advanced Level Working Group.
£33.75
Rocky Nook Advanced Software Testing - Vol. 1, 2nd Edition:
Book SynopsisThis book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to put a test strategy into action.Learn how to analyze the system, taking into account the user’s quality expectations. Additionally, learn how to evaluate system requirements as part of formal and informal reviews, using an understanding of the business domain to determine requirement validity. You will be able to analyze, design, implement, and execute tests, using risk considerations to determine the appropriate effort and priority for tests. You will also learn how to report on testing progress and provide necessary evidence to support your evaluations of system quality. With a quarter-century of software and systems engineering experience, author Rex Black is President of RBCS, a leader in software, hardware, and systems testing, and is the most prolific author practicing in the field of software testing today. He published several books on testing that sold tens of thousands of copies worldwide. He is President of the International Software Testing Qualifications Board (ISTQB) and is a Director of the American Software Testing Qualifications Board (ASTQB). This book will also help you prepare for the ISTQB Advanced Test Analyst exam. Included are sample exam questions, at the appropriate level of difficulty, for most of the learning objectives covered by the ISTQB Advanced Level syllabus. The ISTQB certification program is the leading software tester certification program in the world. With about 400,000 certificate holders and a global presence in 50 countries, you can be confident in the value and international stature that the Advanced Test Analyst certificate can offer you. The 2nd edition has been thoroughly revised and is aligned with the curriculum. In addition, some minor corrections have been included.
£33.75
The Pragmatic Programmers Cucumber Recipes
Book SynopsisYou can test just about anything with Cucumber. We certainly have, and in Cucumber Recipes we'll show you how to apply our hard-won field experience to your own projects. Once you've mastered the basics, this book will show you how to get the most out of Cucumber--from specific situations to advanced test-writing advice. With over forty practical recipes, you'll test desktop, web, mobile, and server applications across a variety of platforms. This book gives you tools that you can use today to automate any system that you encounter, and do it well. The Cucumber Book showed you how your team can work together to write executable specifications--documents that tell a clear story and also happen to be working test code. We'll arm you with ready-rolled solutions to real-world problems: your tests will run faster, read more clearly, and work in any environment. Our first tips will help you fit Cucumber into your workflow. Powerful filters will tame tables full of test data, transforming them into the format your application needs. Custom output formatters will generate reports for any occasion. Continuous Integration servers will run your Cucumber tests every time the code changes. Next, you'll find recipes tailored to the platform you're running on. Ever wanted to know how to test a Grails app from Cucumber? Need to put a Windows program through its paces? How about a mobile app running on Android or iOS? We'll show you how to do all of these. Throughout the book, you'll see how to make Cucumber sing as you interoperate with different platforms, languages, and environments. From embedded circuits to Python and PHP web apps, Cucumber has something for you. What You Need: You'll need basic working knowledge of Cucumber and Ruby. Individual recipes may have additional requirements; for example, a recipe on Windows automation might pull in an open source GUI driver. We've written the recipes for compatibility with Ruby 1.9.3 and 1.8.7, plus Cucumber 1.1.4. Other versions may work as well, but these are the ones we test with.Table of Contents*Ian Dees* was first bitten by the programming bug in 1986 on a Timex Sinclair 1000, and has been having a blast in his software apprenticeship ever since. By day, Ian slings code, tests, and puns at a Portland-area test equipment manufacturer. By night, he converts espresso into programming books, including Scripted GUI Testing With Ruby and Using JRuby. Matt Wynne works as an independent consultant, helping teams like yours learn to enjoy delivering software to the best of their abilities. In his spare time he is a core developer on the Cucumber project, and he blogs at http://blog.mattwynne.net and tweets as @mattwynne Aslak Hellesoy is the founder of the Cucumber project and works as a senior developer with DRW Trading in London, writing very fast and very smart software in several different programming languages. In his previous job he was the Chief Scientist of BEKK Consulting in Norway. Aslak tweets as @aslak_hellesoy.
£22.52
The Pragmatic Programmers The Cucumber for Java Book
Book SynopsisTeams working on the JVM can now say goodbye forever to misunderstood requirements, tedious manual acceptance tests, and out-of-date documentation. Cucumber - the popular, open-source tool that helps teams communicate more effectively with their customers - now has a Java version, and our bestselling Cucumber Book has been updated to match. The Cucumber for Java Book has the same great advice about how to deliver rock-solid applications collaboratively, but with all code completely rewritten in Java. New chapters cover features unique to the Java version of Cucumber, and reflect insights from the Cucumber team since the original book was published. Until now it's been difficult for teams developing Java applications to learn how to benefit from Behaviour-Driven Development (BDD). This book changes all that by describing in detail how to use Cucumber to harness the power of plain language specifications in your development process. In part 1, you'll discover how to use Cucumber's Gherkin DSL to describe the behavior your customers want from the system.You'll also learn how to write Java code that interprets those plain language specifications and checks them against your application. Part 2 guides you through a worked example, using Spring, MySQL, and Jetty. Enhanced chapters teach you how to use Selenium to drive your application and handle asynchronous Ajax calls, and new chapters cover Dependency Injection (DI) and advanced techniques to help keep your test suites fast. Part 3 shows you how to integrate Cucumber with your Continuous Integration (CI) system, work with a REST web service, and even use BDD with legacy applications. Written by the creator of Cucumber and two of its most experienced users and contributors, The Cucumber for Java Book is an authoritative guide that will give you and your team all the knowledge you need to start using Cucumber with confidence.
£27.54
Springer International Publishing AG Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. Table of ContentsFoMLAS 2022.- VPN: Verification of Poisoning in Neural Networks.- A Cascade of Checkers for Run-time Certification of Local Robustness.- CEG4N: Counter-Example Guided Neural Network Quantization Refinement .- Minimal Multi-Layer Modifications of Deep Neural Networks.- Differentiable Logics for Neural Network Training and Verification.- Neural Networks in Imandra: Matrix Representation as a Verification Choice.- Self-Correcting Neural Networks For Safe Classification.- Self-Correcting Neural Networks For Safe Classification.- NSV 2022.- Verified Numerical Methods for Ordinary Differential Equations.- Neural Network Precision Tuning Using Stochastic Arithmetic.- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.
£47.49
Springer International Publishing AG Concise Guide to Software Verification: From
Book SynopsisThis 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.Table of Contents1. Introduction- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.
£62.99
Springer Concise Guide to Software Verification
Book Synopsis1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.
£49.49
Springer International Publishing AG ISTQB® Certified Tester Foundation Level: A
Book SynopsisThis 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. Table of ContentsPart I: Certification, Syllabus and Foundation Level Exam.- Foundation Level Certificate.- Foundation Level Syllabus.- Foundation Level Exam.- Part II: The Syllabus Content.- 1. Fundamentals of Testing.- 2. Testing Throughout the Software Development Lifecycle.- 3. Static Testing.- 4. Test Analysis and Design.- 5. Managing the Test Activities.- 6. Test Tools.- Part III: Answers to Questions and Exercises.- Answers to Sample Questions. Solutions to Exercises.- Part IV: Official Sample Exam.- Exam Set A.- Additional Sample Questions.- Exam Set A – Answers.- Additional Sample Questions – Answers.
£49.49
Springer ISTQB Certified Tester Foundation Level
Book SynopsisPart I: Certification, Syllabus and Foundation Level Exam.- Foundation Level Certificate.- Foundation Level Syllabus.- Foundation Level Exam.- Part II: The Syllabus Content.- 1. Fundamentals of Testing.- 2. Testing Throughout the Software Development Lifecycle.- 3. Static Testing.- 4. Test Analysis and Design.- 5. Managing the Test Activities.- 6. Test Tools.- Part III: Answers to Questions and Exercises.- Answers to Sample Questions. Solutions to Exercises.- Part IV: Official Sample Exam.- Exam Set A.- Additional Sample Questions.- Exam Set A Answers.- Additional Sample Questions Answers.
£40.49
Springer International Publishing Guide to Software Verification with FramaC
Book SynopsisForeword.- Part I. Core Components.- ACSL Specification Language.- The Kernel and its Services.- Abstract Interpretation with Eva.- Deductive Verification with WP.- Runtime Assertion Checking with E-ACSL.- Test generation with PathCrawler.- Development of new plug-ins.- Part II. Advanced Usages and Combinations.- Tools for Program Understanding.- Combinations of Analyses.- Numerical Accuracy Analysis.- Analyses of Concurrent Programs.- High-Level Properties.- Part III. Applications and Emerging Domains.- Applications in Transportation, Energy and Defence.- Applications in Cybersecurity and Trusted AI.- Artificial Intelligence for Improving Verification Techniques.- Index.- Bibliography.
£52.24
BPB Publications Software Testing Strategies
Book Synopsis
£31.49
BPB Publications HighPerformance DevOps
£999.99
World Scientific Publishing Co Pte Ltd Adaptive Control Approach For Software Quality
Book SynopsisThis book focuses on the topic of improving software quality using adaptive control approaches. As software systems grow in complexity, some of the central challenges include their ability to self-manage and adapt at run time, responding to changing user needs and environments, faults, and vulnerabilities. Control theory approaches presented in the book provide some of the answers to these challenges.The book weaves together diverse research topics (such as requirements engineering, software development processes, pervasive and autonomic computing, service-oriented architectures, on-line adaptation of software behavior, testing and QoS control) into a coherent whole.Written by world-renowned experts, this book is truly a noteworthy and authoritative reference for students, researchers and practitioners to better understand how the adaptive control approach can be applied to improve the quality of software systems. Book chapters also outline future theoretical and experimental challenges for researchers in this area.Table of ContentsPrioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study (F Belli, M Eminov, N Gokce & W E Wong); Statistical Evaluation Methods for V&V of Neuro-Adaptive Systems (Y Liu, J Schumann & B Cukic); Adaptive Random Testing (D Towey); Transparent Shaping: A Methodology for Adding Adaptive Behavior to Existing Software Systems and Applications (S M Sadjadi, P K McKinley & B H C Cheng); Rule Extraction to Understand Changes in an Adaptive System (M Darrah); Requirements Engineering via Lyqpunov Analysis for Adaptive Flight Control Systems (G Campa, M Mammarella, M L Fravolini & B Cukic); Quantitative Modeling for Incremental Software Process Control (S D Miller, R A DeCarlo & A P Mathur); Proactive Monitoring and Control of Workflow Execution in Adaptive Service-based Systems (S S Yau & D-Z Huang); Accelerated Life Tests and Software Aging (R Matias Jr & K S Trivedi).
£97.20
£44.99
Pragmatic Programmers NextLevel AB Testing
Book Synopsis
£33.14
