top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
2009 ICSE Workshop on Automation of Software Test
2009 ICSE Workshop on Automation of Software Test
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2009
Descrizione fisica 1 online resource
Disciplina 005.14
Soggetto topico Computer software - Testing - Automation
ISBN 9781509074884
1509074880
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910145437203321
[Place of publication not identified], : IEEE, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2012 7th International Workshop on Automation of Software Test (AST) : proceedings : June 2-3, 2012, Zurich, Switzerland
2012 7th International Workshop on Automation of Software Test (AST) : proceedings : June 2-3, 2012, Zurich, Switzerland
Pubbl/distr/stampa [Place of publication not identified], : IEEE Press, 2012
Descrizione fisica 1 online resource (159 pages)
Altri autori (Persone) HoffmanDaniel M
Collana ACM Conferences
Soggetto topico Computer software - Testing - Automation
Software engineering
Engineering & Applied Sciences
Computer Science
ISBN 1-4673-1822-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti AST
Automation of Software Test
Proceedings of the 7th International Workshop on Automation of Software Test
Record Nr. UNINA-9910375759103321
[Place of publication not identified], : IEEE Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
AST 2007 : Second International Workshop on Automation of Software Test : 20-26 May 2007, Conference Location: / / sponsored by IEEE Computer Society. Technical Council on Software Engineering
AST 2007 : Second International Workshop on Automation of Software Test : 20-26 May 2007, Conference Location: / / sponsored by IEEE Computer Society. Technical Council on Software Engineering
Pubbl/distr/stampa Los Alamitos, California : , : IEEE Computer Society, , 2007
Descrizione fisica 1 online resource (115 pages)
Disciplina 005.14
Soggetto topico Computer software - Testing - Automation
Software engineering
ISBN 1-5090-8886-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automation of Software Test 2007
Record Nr. UNISA-996279889403316
Los Alamitos, California : , : IEEE Computer Society, , 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
AST 2007 : Second International Workshop on Automation of Software Test : 20-26 May 2007, Conference Location: / / sponsored by IEEE Computer Society. Technical Council on Software Engineering
AST 2007 : Second International Workshop on Automation of Software Test : 20-26 May 2007, Conference Location: / / sponsored by IEEE Computer Society. Technical Council on Software Engineering
Pubbl/distr/stampa Los Alamitos, California : , : IEEE Computer Society, , 2007
Descrizione fisica 1 online resource (115 pages)
Disciplina 005.14
Soggetto topico Computer software - Testing - Automation
Software engineering
ISBN 1-5090-8886-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automation of Software Test 2007
Record Nr. UNINA-9910138797103321
Los Alamitos, California : , : IEEE Computer Society, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
AST 2019 : 2019 IEEE/ACM 14th International Workshop on Automation of Software Test : proceedings : 27 May 2019 Montréal, QC, Canada / / IEEE Computer Society
AST 2019 : 2019 IEEE/ACM 14th International Workshop on Automation of Software Test : proceedings : 27 May 2019 Montréal, QC, Canada / / IEEE Computer Society
Pubbl/distr/stampa Los Alamitos, CA : , : IEEE Computer Society, , [2019]
Descrizione fisica 1 online resource
Disciplina 005.14
Soggetto topico Computer software - Testing - Automation
Software engineering
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910412279603321
Los Alamitos, CA : , : IEEE Computer Society, , [2019]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Autore Mikhail Rana Farid
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Descrizione fisica 1 online resource (212 p.)
Disciplina 005.1/4
Altri autori (Persone) BerndtDonald J
KandelAbraham
Collana Series in machine perception and artificial intelligence
Soggetto topico Computer software - Testing - Automation
Database design
Soggetto genere / forma Electronic books.
ISBN 1-282-75747-4
9786612757471
981-283-729-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index
Record Nr. UNINA-9910456152703321
Mikhail Rana Farid  
Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Autore Mikhail Rana Farid
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Descrizione fisica 1 online resource (212 p.)
Disciplina 005.1/4
Altri autori (Persone) BerndtDonald J
KandelAbraham
Collana Series in machine perception and artificial intelligence
Soggetto topico Computer software - Testing - Automation
Database design
ISBN 1-282-75747-4
9786612757471
981-283-729-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index
Record Nr. UNINA-9910780890203321
Mikhail Rana Farid  
Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
INTUITEST '16 : proceedings of the 2nd International Workshop on User Interface Test Automation : July 21, 2016, Saarbrücken, Germany / / edited by Aho Pekka, Tanja Vos ; sponsored by ACM SIGSOFT
INTUITEST '16 : proceedings of the 2nd International Workshop on User Interface Test Automation : July 21, 2016, Saarbrücken, Germany / / edited by Aho Pekka, Tanja Vos ; sponsored by ACM SIGSOFT
Pubbl/distr/stampa New York : , : ACM, , 2016
Descrizione fisica 1 online resource (20 pages)
Disciplina 005.14
Soggetto topico Computer software - Testing - Automation
User interfaces (Computer systems)
ISBN 1-4503-4412-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti International User Interface Test Automation 2016
Proceedings of the 2nd International Workshop on User Interface Test Automation
INTUITEST '16
Record Nr. UNINA-9910376341803321
New York : , : ACM, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Learn API testing : norms, practices, and guidelines for building effective test automation / / Jagdeep Jain
Learn API testing : norms, practices, and guidelines for building effective test automation / / Jagdeep Jain
Autore Jain Jagdeep
Pubbl/distr/stampa New York, NY : , : Apress, , [2022]
Descrizione fisica 1 online resource (xxii, 223 pages) : illustrations
Disciplina 005.3
Soggetto topico Application program interfaces (Computer software) - Testing - Automation
Computer software - Testing - Automation
ISBN 1-4842-8142-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Table of Contents -- About the Author -- About the Technical Reviewers -- Acknowledgments -- Introduction -- Chapter 1: Introduction to API Testing -- What Is API Testing? -- Need -- Types of API Testing -- Advantages -- Summary -- Chapter 2: Web Application Architecture -- Web Applications Defined -- Monolithic vs. Microservices Architecture -- Designing Test Strategies -- RESTful Architecture -- HTTP -- Headers -- Requests -- Request Methods -- Resource Addresses -- Request Headers -- Request Body -- Response -- Status Line -- Response Header -- Response Body -- Response Codes -- Summary -- Chapter 3: Authentication -- HTTP Authentication -- Basic Authentication -- Session-Based Authentication -- Token/JWT-Based Authentication -- OAuth2-Based Authentication -- Authorization -- RBAC -- ABAC -- Authentication and Authorization Services -- Summary -- Chapter 4: Tools, Frameworks, and Libraries -- API Testing Tools -- cURL -- Authentication -- POST -- GET -- PUT -- DELETE -- Postman -- Workspace -- Globals/Environments -- Collection -- Authentication -- Parameters -- Assertions -- Requests -- HTTP Methods -- Authentication -- Variables -- Console -- POST -- GET -- PUT -- DELETE -- RestAssured -- Frameworks/Libraries -- TestNG -- Log4j -- Jackson-Databind -- HashMap -- Assertj -- Java Spring -- Summary -- Chapter 5: Test Pyramid -- Black Box Testing -- Grey Box Testing -- White Box Testing -- Test Pyramid -- Summary -- Chapter 6: Testing the API -- Workflows/Use Cases/Test Script -- Schema Validation -- Test Coverage -- Header Testing -- Request Header -- Correct Header -- Missing Header -- Incorrect Header -- Unsupported Type -- Response Header -- Supported Type -- Response Codes -- Request Body -- Format Unsupported -- Special Characters -- Very Long Strings -- Invalid Method -- Invalid Value -- Incorrect Data Type -- Empty Data/Object.
Required Fields -- Null -- Redundant Fields -- DELETE Already Deleted Entity -- Duplicate Check -- Response Body -- Actual Data vs. Expected Data -- Limit/Size/Pagination/Sorting -- API Version Testing -- Internal vs. External APIs -- Consumer-Driven Contract Testing -- Importance of Negative Testing -- Summary -- Chapter 7: A Good Test Script -- Components of a Test Script -- setup() -- test() -- teardown() -- Guidelines -- Single-Attempt Test -- Document Test Objective -- Keep It Small -- Use assertj for Assertions -- Use log4j -- Order of Tests -- No Interventions Between Test Steps -- Avoid Hard Sleeps -- Always Use Assertions -- Do Not Overtest -- Do Not Import a Test into Another Test -- Test Boundaries -- API Test Coverage -- Provide Short Commands -- Do not try{} catch{} -- Summary -- Chapter 8: Coding Guidelines -- Coding Best Practices -- Class Naming Conventions -- Method Naming Conventions -- Variable Naming Conventions -- Constant Naming Conventions -- Provide User Actions -- Simplicity -- Indentation -- Test Assertions -- Test Class Naming Conventions -- Test Method Naming Conventions -- Test Package Naming Conventions -- Documentation -- Summary -- Chapter 9: Organize a Test Framework -- Framework Requirements -- Request -- Response -- Exception -- Configuration -- User Authentication -- Processor -- Model -- Test Framework -- Test Assertions -- Logger -- Util -- Test Execution -- Debug Config -- Test Driver -- Setting Up a Maven Project -- Dependencies and Plugins -- RestAssured -- Log4j -- TestNG -- Spring Framework -- Assertj -- Jackson-Databind -- Maven Compiler Plugin -- Surefire Plugin -- Java Code Formatting Plugin -- Request -- Response -- Exceptions -- Configuration -- Properties File -- Spring -- Application Configuration -- Application Context -- Application Config -- Complete URL For the Test Script -- Test Data.
JSON File -- Payload for POST and PUT HTTP Methods -- User Authentication -- Processor -- Model -- Test Framework -- Logger -- Util -- Test Execution -- Debug Config -- Test Driver -- Summary -- Chapter 10: First Test Script -- Developing Your First Test -- Base Test -- Authentication -- Request Processor -- Response Processor -- First Test -- Test Suite -- TestNG XML -- Executing a Test -- Execute a Test Suite -- Execute an Individual Test -- Execution Results -- TestNG Report -- Logging -- log().all() -- Response Time -- Debug -- Summary -- Chapter 11: API Documentation -- Need -- Swagger -- Summary -- Chapter 12: Case Study: Shopping Cart APIs -- Feature List -- QA Responsibility Matrix -- Sprint # -- Goal Setting -- Sprint One -- Sprint Guidelines -- Definition of Done -- Story Pointing -- Backlog Grooming -- Story Grooming -- QA Tasks -- Documentation -- Test Environment -- Setting Up the Application -- QA Tools -- Continuous Integration/Continuous Deployment -- Targeted Features -- API Endpoints -- Unit Testing -- Test Plan Development -- Test Data Preparation -- Manual Test Scripts -- Postman -- Test Automation -- Test Suite -- Parallel Test Execution -- Test Execution -- Front-End Team -- Sprint Nth -- Sprint Demo Feedback Testing -- Hardening Sprint -- Release Testing -- Summary -- Appendix A: Workstation Setup -- Java -- MacOS -- Ubuntu -- Linux -- Windows -- Maven -- MacOS -- Ubuntu -- Linux -- Windows -- Maven Project -- cURL -- MacOS -- Ubuntu -- Linux -- Windows -- Postman -- IDE -- Tomcat -- MacOS/Ubuntu/Linux -- Windows -- Appendix B: Contact Management Application -- Swagger -- Appendix C: Shopping Cart Application -- Swagger -- Index.
Record Nr. UNINA-9910585794003321
Jain Jagdeep  
New York, NY : , : Apress, , [2022]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Practical model-based testing [[electronic resource] ] : a tools approach / / Mark Utting, Bruno Legeard
Autore Utting Mark
Pubbl/distr/stampa San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Descrizione fisica 1 online resource (455 p.)
Disciplina 005.3028/7
Altri autori (Persone) LegeardBruno
Soggetto topico Computer software - Testing
Computer software - Testing - Automation
Soggetto genere / forma Electronic books.
ISBN 1-280-72897-3
9786610728978
0-08-046648-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; Title page; Copyright page; Table of Contents; Preface; Acknowledgements; About the authors; Chapter 1 The challenge; 1.1 What Do We Mean by Testing?; 1.2 What Is Model-Based Testing?; 1.3 A Smart Card Example; 1.4 Summary; 1.5 Further Reading; Chapter 2 The pain and the gain; 2.1 Classic Testing Processes; 2.2 The Model-Based Testing Process; 2.3 Models: Build or Borrow?; 2.4 Your Maturity Level; 2.5 Hypothetical Case: Total Testing Hours; 2.6 Model-Based Testing Experience Reports; 2.7 Benefits of Model-Based Testing; 2.8 Limitations of Model-Based Testing; 2.9 Summary
2.10 Further ReadingChapter 3 A model of your system; 3.1 How to Model Your System; 3.2 A Case Study; 3.3 Transition-Based Models; 3.4 Pre/Post Models in B; 3.5 Summary; 3.6 Further Reading; Chapter 4 Selecting your tests; 4.1 Structural Model Coverage; 4.2 Data Coverage Criteria; 4.3 Fault-Based Criteria; 4.4 Requirements-Based Criteria; 4.5 Explicit Test Case Specifications; 4.6 Statistical Test Generation Methods; 4.7 Combining Test Selection Criteria; 4.8 Summary; 4.9 Further Reading; Chapter 5 Testing from finite state machines; 5.1 Testing Qui-Donc with a Simple FSM
5.2 EFSMs and the ModelJUnit Library5.3 Unit Testing ZLive with EFSMs; 5.4 Labeled Transition Systems Models; 5.5 Summary; 5.6 Further Reading; Chapter 6 Testing from pre/post models; 6.1 How to Write Pre/Post Models for Testing; 6.2 The System Process Scheduler Example; 6.3 The Triangle Example; 6.4 Robustness Testing from a Pre/Post Model; 6.5 Testing a Chat System with Spec Explorer; 6.6 Summary; 6.7 Further Reading; Chapter 7 Testing from UML transition-based models; 7.1 UML Modeling Notations; 7.2 Testing an eTheater with LTG/UML; 7.3 Testing a Protocol with Qtronic; 7.4 Summary
7.5 Further ReadingChapter 8 Making tests executable; 8.1 Principles of Test Adaptation; 8.2 Example: The eTheater System; 8.3 Summary; 8.4 Further Reading; Chapter 9 The gsm 11.11 case study; 9.1 Overview of the GSM 11.11 Standard; 9.2 Modeling GSM 11.11 in B; 9.3 Validation and Verification of the B Model; 9.4 Generating Tests with LTG/B; 9.5 Generating Executable Scripts; 9.6 Test Execution; 9.7 Summary; 9.8 Further Reading; Chapter 10 The atm case study; 10.1 Overview of the ATM System; 10.2 Modeling the ATM System in UML; 10.3 Generating Test Cases
10.4 Generating Executable Test Scripts10.5 Executing the Tests; 10.6 Summary; 10.7 Further Reading; Chapter 11 Putting it into practice; 11.1 Prerequisites for Model-Based Testing; 11.2 Selecting a Model-Based Testing Approach; 11.3 People, Roles, and Training; 11.4 Model-Based Testing and Agile Methods; 11.5 Model-Based Testing and the Unified Process; 11.6 Epilogue; Appendix A Summary of B abstract machine notation; Appendix B Summary of common OCL constructs; Appendix C Commercial tools; Glossary; Bibliography; Index
Record Nr. UNINA-9910458600303321
Utting Mark  
San Francisco, CA, : Morgan Kaufmann Publishers, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui