Software testing and verification Books

Book SynopsisThis book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.Table of ContentsObject Oriented Modeling of multifaceted service delivery system using connected governance.- Automated Requirements Extraction and Product Configuration Verification for Software Product Line.- Test Case Generation for Model Based Testing of Object Oriented Programs.- New Metrics for Predicting the Reliability of Individual Component based on Software Design Metrics.- Prediction priority of defective modules for testing resource allocation.- Early Reliability Prediction Model Integrating Halstead Metrics and Fuzzy Usage.- Investigation and Analysis of Power System Faults with Soft Computational Techniques.- Decision Making on Critical Component Using Combined Approach.

Read more less

Book SynopsisWith this cookbook, author Maximiliano Contieri takes you beyond the concept of clean code by showing you how to identify improvement opportunities and their impact on production code. When it comes to reliability and system evolution, these techniques provide benefits that pay off over time.

Read more less

Book SynopsisMany books have been written about software testing, but most of them discuss the general framework of testing from a traditional perspective. Unfortunately, traditional test design techniques are often ineffective and unreliable for revealing the various kinds of faults that may occur. This book introduces three new software testing techniques: Two-Phase Model-Based Testing, the Action-State Testing, and the General Predicate Testing, all of which work best when applied with efficient fault revealing capabilities. You'll start with a short recap of software testing, focusing on why risk analysis is obligatory, how to classify bugs practically, and how fault-based testing can be used for improving test design. You'll then see how action-state testing merges the benefits of state transition testing and use case testing into a unified approach.Moving on you'll look at general predicate testing and how it serves as an extension of boundary value analysis, encompassing morecomplex predicatTable of ContentsModern Software Testing TechniquesChapter 1: Software testing basicsChapter 2: Test design automation by model-based testingChapter 3: Domain testingChapter 4: Developers and testers should constitute a successful teamChapter 5: Conclusion

Read more less

Book SynopsisThis practical guide shows you how to write concise and highly readable tests with Spock, the most innovative testing and specification framework for the JVM since JUnit. Author Rob Fletcher takes you from Spock basics to advanced topics, using fully worked integration examples.

Read more less

Book SynopsisCurrent hype aside, the Internet of Things will ultimately become as fundamental as the Internet itself, with lots of opportunities and trials along the way. To help you navigate these choppy waters, this practical guide introduces a dedicated methodology for businesses preparing to transition towards IoT-based business models.

Read more less

Book SynopsisSoftware testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in agile teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental knowledge that testers should have to be effective and efficient in today's world. This book describes the fundamental aspects of testing in the different lifecycles, and how to implement and benefit from reviews and static analysis. Multiple other techniques are approached, such as equivalence partitioning, boundary value analysis, use case testing, decision tables and state transitions. This second edition also covers test management, test progress monitoring and incident management, in order to ensure that the testing information is correctly provided to the stakeholders. This book provides detailed course-study material for the 2023 version of the ISTQB Foundation level syllabus, including sample questions to help prepare for exams.

Read more less

Book SynopsisThis book explains the steps necessary to write manual accessibility tests and convert them into automated selenium-based accessibility tests to run part of regression test packs. If you are searching a topic on Google or buying a product online, web accessibility is a basic need. If a web page is easier to access when using a mouse and complex to navigate with keyboard, this is extremely difficult for users with disabilities. Web Accessibility Testing is a most important testing practice for customers facing web applications. This book explains the steps necessary to write manual accessibility tests and convert them into automated selenium-based accessibility tests to run part of regression test packs. WCAG and Section 508 guidelines are considered across the book while explaining the test design steps. Software testers with accessibility testing knowledge are in high demand at large organizations since the need to do manual and automated accessibility testing is growing rapidly. This book illustrates the types of accessibility testing with test cases and code examples.

Read more less

Book SynopsisThis book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation. Part I describes unit and acceptance tests and proposes a new method called testability-driven development (TsDD) in support of TDD and BDD. TsDD uses a machine learning model to measure testability before and after refactoring. The reader will learn how to develop the testability prediction model and write software tools for automatic refactoring. Part II focuses on developing tools for automatic fault localization. This part shows the reader how to use a compiler generator to instrument source code, create control flow graphs, identify prime paths, and slice the source code. On top of these tools, a software tool, Diagnoser, is offered to facilitate experimenting with and developing new fault localization algorithms. Diagnoser takes a source code and its test suite as input and reports the coverage provided by the test cases and the suspiciousness score for each statement. Part III proposes using software testing as a prominent part of the cyber-physical system software to uncover and model unknown physical behaviors and the underlying physical rules. The reader will get insights into developing software tools to generate white box test data. Table of ContentsSoftware Testability.- Unit testing and Test-Driven Development.- Acceptance Testing and Behavior Driven Development.

Read more less

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.

Read more less

Book SynopsisThis book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.Table of ContentsObject Oriented Modeling of multifaceted service delivery system using connected governance.- Automated Requirements Extraction and Product Configuration Verification for Software Product Line.- Test Case Generation for Model Based Testing of Object Oriented Programs.- New Metrics for Predicting the Reliability of Individual Component based on Software Design Metrics.- Prediction priority of defective modules for testing resource allocation.- Early Reliability Prediction Model Integrating Halstead Metrics and Fuzzy Usage.- Investigation and Analysis of Power System Faults with Soft Computational Techniques.- Decision Making on Critical Component Using Combined Approach.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less