{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":52,"n_cols":5,"rows_kept":52,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[20,2,20,3],[23,2,23,3],[28,2,28,3],[29,2,29,3],[31,2,31,3],[31,4,31,5],[32,2,32,3],[32,4,32,5],[33,2,33,3],[33,4,33,5],[34,2,34,3],[35,2,35,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[44,2,44,3],[45,2,45,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990006473120403321"]
[null,null,"Autore",null,"Conti Rossini, Carlo <1872-1949>"]
[null,null,"Titolo",null,"Tabelle comparative del calendario etiopico col calendario romano / Carlo Conti Rossini"]
[null,null,"Pubbl/distr/stampa",null,"Roma : Istituto per l'Oriente, 1948"]
[null,null,"Descrizione fisica",null,"47 p. ; 24 cm"]
[null,null,"Collana",null,"Pubblicazioni dell'Istituto per l'Oriente "]
[null,null,"Disciplina",null,"529"]
[null,null,"Locazione",null,"FSPBC"]
[null,null,"Collocazione",null,"XIV E 2681"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA990007237560403321"]
[null,null,"Autore",null,"Rabie, Hamed A."]
[null,null,"Titolo",null,"Lo sciopero forma della storia? / A. Rabie Hamed"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Giuffrè, 1957"]
[null,null,"Descrizione fisica",null,"573 p. ; 24 cm"]
[null,null,"Collana",null,"I problemi dello sciopero e della sua regolamentazione giuridica nel regime democratico contemporaneo ; 2"]
[null,null,"Disciplina",null,"344"]
[{"$nulls":4},"344.01892"]
[null,null,"Locazione",null,"FGBC"]
[{"$nulls":4},"DDRC"]
[{"$nulls":4},"DEC"]
[null,null,"Collocazione",null,"XI N 517"]
[{"$nulls":4},"VII I 21"]
[{"$nulls":4},"I E 141"]
[{"$nulls":4},"LAV-270"]
[{"$nulls":4},"DPR 28-89"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910799500103321"]
[null,null,"Autore",null,"Forgács István"]
[null,null,"Titolo",null,"Modern Software Testing Techniques : A Practical Guide for Developers and Testers / / by István Forgács, Attila Kovács"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024"]
[null,null,"ISBN",null,"9781484298930"]
[{"$nulls":4},"1484298934"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 266 p. 53 illus.)"]
[null,null,"Disciplina",null,"005.14"]
[null,null,"Soggetti",null,"Computer programs - Testing"]
[{"$nulls":4},"Software engineering - Management"]
[{"$nulls":4},"Software Testing"]
[{"$nulls":4},"Software Management"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Intro -- 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? -- "]
[{"$nulls":4},"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."]
[{"$nulls":4},"Test 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."]
[null,null,null,"Sommario/riassunto","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 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."]