LEADER 01017cam0-2200325---450- 001 990005667400403321 005 20140714160320.0 035 $a000566740 035 $aFED01000566740 035 $a(Aleph)000566740FED01 035 $a000566740 100 $a19990604d1888----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------000gy 200 1 $a105 villanelle raccolte in S. Valentino$f[a cura di Filippo Benevento]$g[con introduzione e note di Gaetano Amalfi] 210 $aNapoli$cPriore$d[1888?] 215 $a72 p.$d21 cm 300 $aL'esemplare posseduto sono fotocopie rilegate 532 11$aCentocinque villanelle raccolte in S. Valentino 676 $a851.008 702 1$aAmalfi,$bGaetano$f<1855-1928> 702 1$aBenevento,$bFilippo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005667400403321 952 $a851.008 AMA 1$bIst.f.m.34621$fFLFBC 959 $aFLFBC 996 $a105 villanelle raccolte in S. Valentino$9600287 997 $aUNINA LEADER 01379nam 2200421 450 001 996464405503316 005 20220623104205.0 010 $a3-030-87615-2 035 $a(CKB)4100000012036791 035 $a(MiAaPQ)EBC6734391 035 $a(Au-PeEL)EBL6734391 035 $a(OCoLC)1269318287 035 $a(PPN)258051868 035 $a(EXLCZ)994100000012036791 100 $a20220623d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aComputational diffusion MRI $e12th international workshop, CDMRI 2021, held in conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, proceedings /$fSuheyla Cetin-Karayumak [and five others], editors 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (174 pages) 225 1 $aLecture Notes in Computer Science ;$v13006 311 $a3-030-87614-4 410 0$aLecture notes in computer science ;$v13006. 606 $aOptical data processing$vCongresses 615 0$aOptical data processing 676 $a621.367 702 $aCetin-Karayumak$b Suheyla 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464405503316 996 $aComputational diffusion MRI$91409948 997 $aUNISA LEADER 06703nam 22006015 450 001 9910799500103321 005 20250807124821.0 010 $a9781484298930 010 $a1484298934 024 7 $a10.1007/978-1-4842-9893-0 035 $a(CKB)29476189000041 035 $a(DE-He213)978-1-4842-9893-0 035 $a(MiAaPQ)EBC31051186 035 $a(Au-PeEL)EBL31051186 035 $a(OCoLC)1416220694 035 $a(OCoLC-P)1416220694 035 $a(CaSebORM)9781484298930 035 $a(Perlego)4515732 035 $a(EXLCZ)9929476189000041 100 $a20231227d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModern Software Testing Techniques $eA Practical Guide for Developers and Testers /$fby István Forgács, Attila Kovács 205 $a1st ed. 2024. 210 1$aBerkeley, CA :$cApress :$cImprint: Apress,$d2024. 215 $a1 online resource (XVIII, 266 p. 53 illus.) 311 08$a9781484298923 311 08$a1484298926 320 $aIncludes bibliographical references and index. 327 $aIntro -- Table of Contents -- About the Authors -- About the Technical Reviewer -- Acknowledgments -- Introduction -- Abbreviations -- Chapter 1: Software Testing Basics -- Bugs and Other Software Quality Destroyers -- Lifetime of Bugs: From Cradle to Coffin -- Pesticides Against Bugs -- Classification of Bugs -- Software Testing -- Testing Life Cycle -- Test Planning -- Test Monitoring and Control -- Test Analysis -- Test Design -- Test Implementation and Execution -- Test Closure -- Fault-Based Testing -- Requirements and Testing -- Testing Principles -- 1. Testing is Possible -- 2. Early and Balanced Testing -- 3. Testing is Independent and Context Dependent -- 4. Continuity of Testing -- 5. Defect Clustering -- Two Misconceptions -- Comparison of the Existing and Our Principles -- Summary -- Chapter 2: Test Design Automation by Model-Based Testing -- Higher-Order Bugs -- Model-Based Testing -- One-Phase (Traditional) Model-Based Testing -- Two-Phase Model-Based Testing -- Stateless Modeling -- Use Case Testing -- Stateful Modeling -- FSM and EFSM-Based Modeling -- How to Select States? -- Model Maintenance -- How to Create a Stateful Model - Example -- Efficiency, Advantages, and Disadvantages -- Stateless and Stateful Together - Action-State Testing -- The Action-State Model -- Test Selection Criteria for Action-State Testing -- Creating Action-State Model -- Comparison with Stateful Modeling -- How a Real Bug Can Be Detected? -- Summary -- Chapter 3: Domain Testing -- Equivalence Partitioning -- Obtaining Partitions Without Partitioning -- Example: Price Calculation -- Equivalence Partitioning and Combinatorial Testing -- Domain Analysis -- Test Selection for Atomic Predicates -- Selecting Tests for Predicates Comprising Two Atomic Components -- Closed Borders -- One Open and One Closed Border -- Two Open Borders -- Other Cases -- Summary. 327 $aTest Selection for General Compound Predicates -- Test Selection for Multidimensional Ranges -- Optimized Domain Testing (ODT) -- Boundary-Based Approach -- Example: Online Bookstore -- Rule-Based Approach -- Example: Online Bookstore Revisited -- Example: Paid Vacation Days -- Safety-Critical Aspects of ODT -- How ODT Can Help Developers -- ODT at Different Abstraction Levels -- Black-Box Solution -- Gray-Box Solution -- White-Box Solution -- Comparing ODT with Traditional Techniques -- Applying ODT with Other Techniques -- Summary -- Chapter 4: Developers and Testers Should Constitute a Successful Team -- How Developers Can Help Testers -- How Testers Can Help Developers -- How to Find Tricky a Tricky Bug -- Flaky Test -- Developer - Tester Synergies -- Summary -- Chapter 5: Conclusion -- Appendixes -- Appendix I: Java Code for Quicksort -- Appendix II: Test Cases for the Stateless Model of Car Rental Example -- Appendix III: Test Cases for Stateful Model of Car Rental Example -- Appendix IV: Test Cases for Action-State Model of Car Rental Example -- Appendix V: ODT Tool Description -- Glossary -- References -- Index. 330 $aMany 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 valueanalysis, 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. You will: Apply efficient test design techniques for detecting domain faults Work with modeling techniques that combine all the advantages of state transition testing and use case testing Grasp the two-phase model-based testing technique Use test design efficiently to find almost all the bugs in an application. 606 $aComputer programs$xTesting 606 $aSoftware engineering$xManagement 606 $aSoftware Testing 606 $aSoftware Management 615 0$aComputer programs$xTesting. 615 0$aSoftware engineering$xManagement. 615 14$aSoftware Testing. 615 24$aSoftware Management. 676 $a005.14 700 $aForga?cs$b Istva?n$01586204 702 $aKova?cs$b Attila 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910799500103321 996 $aModern Software Testing Techniques$93872489 997 $aUNINA