Paradigm Shift in Software Testing

Paradigm Shift in Software Testing

Practical Guide for Developers and Testers

About the Book

Forget the false assumption that bugs are inevitable in software. Discover most of the faults with our new test design techniques!

Two brand new techniques are introduced here. Both action-state testing and general predicate testing are proved to be efficient, by which you can find almost all the bugs in your code, where the code represents any stateful application or represents any business logic with boundaries.

Action-state testing is a unified technique of state transition testing and use case testing. It has all the advantages of both techniques and eliminates their shortcomings. Not only does your code quality improve but the total SDLC cost decreases as well.

General predicate testing (GPT) is a generalization of boundary value analysis, by which all the erroneously coded or tested predicate bugs can be revealed with the help of a minimised test set. The minimisation process can fully be automated.

Apply our LEA methodology:

Learn this book, then

Exercise test design using our website, finally

Apply our techniques in your projects and find almost all the bugs.

  • Share this book

  • Categories

    • Testing
    • Automated Software Testing
    • Software Engineering
  • Feedback

    Email the Author(s)

About the Editors

István Forgács
István Forgács

István Forgács PhD is an entrepreneur, a test expert and an author. He is the founder and CEO of 4TestDev. István is the co-author of the book Agile Testing Foundations. He is the creator and key contributor of the test-first, codeless test design automation tool Harmony.

István and Attila published their first common book Practical Test Design in 2019. Their website is a unique place where you can exercise test design by executing and improving your tests. They introduced three test design techniques: combinative testing, action-state testing and general predicate testing.

Attila Kovács
Attila Kovács

Attila Kovács is a full professor of the Eötvös Loránd University, Budapest. He is an ISTQB, IREB and Agile trainer, a project leader, a consultant in the fields of software engineering and testing.

Reader Testimonials

Harry M. Sneed
Harry M. Sneed

IEEE Stevens Award Winner 2009, ISTQB® International Software Testing Excellence Award Winner 2013

The book is extremely useful for teaching advanced testing techniques. The fact that many examples are taken from real life systems heightens their value.

Matthias Hamburg
Matthias Hamburg

ISTQB® Glossary Working Group Chair and Advanced Level Test Analyst Product Owner

The authors succeed in creating an innovative approach to software testing at the cutting edge of our time, by orchestrating state-of-the-art research results, novel test techniques, risk-based testing, incremental test design, collaboration, and automation.

Table of Contents

  • Authors
  • Foreword
  • Acknowledgments
  • Abbreviations
  • Glossary
  • 1 Introduction
  • 2 Software, bugs, pesticides
    • 2.1 The lifetime of bugs: from cradle to coffin
    • 2.2 Pesticides against software bugs
    • 2.3 The testing lifecycle
    • 2.4 Why is risk analysis really necessary?
    • 2.5 Bug classification via detection difficulty
    • 2.6 Fault-based testing
  • 3 Action-state testing
    • 3.1 Problems with the test design of stateful applications
    • 3.2 Bug hunting with action-state testing
    • 3.3 Example Car Rental
    • 3.4 When a stronger criterion is required – a real bug
    • 3.5 Summary
  • 4 From EP and BVA to general predicate testing
    • 4.1 Equivalence partitioning
    • 4.2 BVA testing
    • 4.3 General predicate testing
    • 4.4 Safety-critical aspects
    • 4.5 Measuring the design time
    • 4.6 Action-state testing with general predicate testing
    • 4.7 Summary
  • 5 Developers and testers should constitute a successful team
    • 5.1 How developers can help testers
    • 5.2 How testers can help developers
    • 5.3 Developer – tester synergies
    • 5.4 Summary
  • 6 Conclusion
  • References
  • Appendix

The Leanpub 60 Day 100% Happiness Guarantee

Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.

Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.

You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!

So, there's no reason not to click the Add to Cart button, is there?

See full terms...

80% Royalties. Earn $16 on a $20 book.

We pay 80% royalties. That's not a typo: you earn $16 on a $20 sale. If we sell 5000 non-refunded copies of your book or course for $20, you'll earn $80,000.

(Yes, some authors have already earned much more than that on Leanpub.)

In fact, authors have earnedover $13 millionwriting, publishing and selling on Leanpub.

Learn more about writing on Leanpub

Free Updates. DRM Free.

If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).

Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.

Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.

Learn more about Leanpub's ebook formats and where to read them

Write and Publish on Leanpub

You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!

Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.

Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.

Learn more about writing on Leanpub