Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
2,138
result(s) for
"Computer software-Testing"
Sort by:
Practical model-based testing : a tools approach
This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn:* The basic principles and terminology of model-based testing* How model-based testing differs from other testing processes* How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market* A step-by-step process for applying model-based testing* How to write good models for model-based testing* How to use a variety of test selection criteria to control the tests that are generated from your models* How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments * Presents the basic principles and terminology of model-based testing* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies
eBook
Art of Software Testing (3rd Edition)
The hardware and software of computing have changed markedly in the three decades since the first edition of this book, but this book's powerful underlying analysis has stood the test of time. Whereas most books on software testing target particular development techniques, languages, or testing methods, the Third Edition provides a brief but powerful and comprehensive presentation of time-proven software testing approaches. If your software development project is mission critical, this book is an investment that will pay for itself with the first bug you find.
eBook
Complete guide to test automation : techniques, practices, and patterns for building and maintaining effective software projects
Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tools that allows your development teams to deliver software at an ever-increasing pace without compromising quality. Even though it may seem trivial to automate the repetitive tester's work, using test automation efficiently and properly is not trivial. Many test automation endeavors end up in the \"graveyard\" of software projects. There are many things that affect the value of test automation, and also its costs. This book aims to cover all of these aspects in great detail so you can make decisions to create the best test automation solutuion that will not only help your test automation project to succeed, but also allow the entire software project to thrive. One of the most important details that affects the success of the test automation is how easy it is to maintain the automated tests. \"Complete guide to test automation\" provides a detailed hands-on guide to writing highly maintainable test code. What you'll learn: Know the real value to be expected from test automation ; Discover the key traits that will make your test automation project succeed ; Be aware of the different considerations to take into account when planning automated tests vs. manual tests ; Determine who should implement the tests and the implications of this decision ; Architect the test project and fit it to the architecture of the tested application ; Design and implement highly reliable automated tests ; Begin gaining value from test automation earlier ; Integrate test automation into the business processes of the development team ; Leverage test automation to improve your organization's performance and quality, even without formal authority ; Understand how different types of automated tests will fit into your testing strategy, including unit testing, load and performance testing, visual testing, and more.
Book
Software testing
Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management
This book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing.
* Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation
* Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns
* Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal
* Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal
* Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis
Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.
eBook
Guide to Advanced Software Testing
This richly illustrated reference takes you on a complete tour of the multi-dimensional software testing universe. The book offers you a practical understanding of essential software testing topics and their relationships and interdependencies. This unique resource provides a thorough overview of software testing and its purpose and value. It covers topics ranging from handling failures, faults, and mistakes, to the cost of fault corrections, “scoping” the test effort, using standards to guide testing. You find numerous examples and exercises in each chapter to help ensure your complete understanding of the material.
eBook
Software error detection
This book looks to maximize the probability of revealing latent errors in programs through effective software testing. It covers the program analysis needed for applying a test-case selection method. It teaches the reader to modify the existing method or devise a new method if there is going to be a change in the language or paradigm used.
eBook