Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Modern Software Testing Techniques - István Forgács, Attila Kovács

Modern Software Testing Techniques (eBook)

A Practical Guide for Developers and Testers
eBook Download: PDF
2023 | First Edition
XVIII, 266 Seiten
Apress (Verlag)
978-1-4842-9893-0 (ISBN)
Systemvoraussetzungen
46,99 inkl. MwSt
(CHF 45,90)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

Many 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 more complex predicates. 

Two-phase model-based testing represents an advanced approach where the model does not necessarily need to be machine-readable; human readability suffices. The first phase involves a high-level model from which abstract tests are generated. Upon manual execution of these tests, the test code is generated. Rather than calculating output values, they are merely checked for conformity. The last part of this book contains a chapter on how developers and testers can help each other and work as a collaborative team. 

What You'll Learn

  • Apply efficient test design techniques for detecting domain faults
  • Work with modeling techniques that combine all the advantages of state transition testing and uses case testing
  • Grasp the two-phase model-based testing technique
  • Use test design efficiently to find almost all the bugs in an application

Who This Book Is For

Software developers, QA engineers, and, business analysts



István Forgács, Ph.D., was originally a researcher at the Hungarian Academy of Sciences. He has had more than 25 scientific articles published in leading international journals and conference proceedings. He is the co-author of three books. His research interests include test design, test automation, agile testing, model-based testing, debugging, code comprehension, and static and dynamic analysis. He left his academic life in 1998 to be a founder of Y2KO, the startup company that offered an efficient solution to the Y2K project. He is the founder and Chief Executive Officer of 4Test-Plus and is a former CEO of 4D Soft. He is a member of the TA WG and a former member of the Agile WG of ISTQB. He is the creator and key contributor to the two-phase model-based testing tool harmony.


Attila Kovács holds the position of a full professor at the Faculty of Informatics at Eötvös Loránd University, Budapest. His professional expertise lies in the fields of mathematics, software engineering, and computer science. He serves as a project leader for numerous research and development projects and currently leads the Software and Data Intensive Services Competence Center at the University. In addition to his academic contributions, he is also a co-author of the book 'Practical Test Design' and acts as a trainer for ISTQB (International Software Testing Qualifications Board) and IREB (International Requirements Engineering Board). Furthermore, he is the founder of the Hungarian Testing Board


Many 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 predicates. Two-phase model-based testing represents an advanced approach where the model does not necessarily need to be machine-readable; human readability suffices. The first phase involves a high-level model from which abstract tests are generated. Upon manual execution of these tests, the test code is generated. Rather than calculating output values, they are merely checked for conformity. The last part of this book contains a chapter on how developers and testers can help each other and work as a collaborative team. What You'll LearnApply efficient test design techniques for detecting domain faultsWork with modeling techniques that combine all the advantages of state transition testing and uses case testingGrasp the two-phase model-based testing technique Use test design efficiently to find almost all the bugs in an applicationWho This Book Is ForSoftware developers, QA engineers, and, business analysts
Erscheint lt. Verlag 27.12.2023
Zusatzinfo XVIII, 266 p. 53 illus.
Sprache englisch
Themenwelt Informatik Software Entwicklung Qualität / Testen
Schlagworte art model-based testing • Bugs • EP and BVA • Software • Testing
ISBN-10 1-4842-9893-4 / 1484298934
ISBN-13 978-1-4842-9893-0 / 9781484298930
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 6,8 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
A practical guide to automating repetitive tasks and streamlining …

von Michael Kaufmann

eBook Download (2024)
Packt Publishing (Verlag)
CHF 28,10