Modern Software Testing Techniques: A Practical Guide for Developers and Testers

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

István Forgács, Ph.D.，最初是匈牙利科學院的研究員。他在領先的國際期刊和會議論文上發表了超過25篇科學文章。他是三本書的合著者。他的研究興趣包括測試設計、測試自動化、敏捷測試、基於模型的測試、調試、代碼理解以及靜態和動態分析。他於1998年離開學術界，成為Y2KO的創辦人，該初創公司為Y2K項目提供了高效的解決方案。他是4Test-Plus的創始人兼首席執行官，曾任4D Soft的首席執行官。他是ISTQB的TA WG成員和Agile WG的前成員。他是基於兩階段模型的測試工具harmony的創造者和主要貢獻者。

Attila Kovács是布達佩斯Eötvös Loránd大學資訊學院的全職教授。他的專業知識涵蓋數學、軟體工程和計算機科學領域。他擔任多個研究和開發項目的項目負責人，目前領導該大學的軟體和數據密集服務能力中心。除了學術貢獻外，他還是書籍《實用測試設計》的合著者，並擔任ISTQB（國際軟體測試資格委員會）和IREB（國際需求工程委員會）的培訓師。此外，他還是匈牙利測試委員會的創始人。