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.
Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team
| Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XXI, 382 p. 1 illus.) |
| Disciplina | 060 |
| Soggetto topico |
Cloud Computing
Software engineering - Management Computer programs - Testing Computer programming Open source software Software Management Software Testing Programming Techniques Open Source |
| ISBN | 981-19-9782-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Microservices in the Cloud Native Era -- Chapter 2. Microservice Application Design -- Chapter 3. Service Development and Operation -- Chapter 4. Microservice Traffic Management -- Chapter 5. Distributed Transactions -- Chapter 6. Serverless Architecture -- Chapter 7. Service Observability -- Chapter 8. Quality Assurance Practices -- Chapter 9. Continuous Integration and Continuous Deployment. |
| Record Nr. | UNINA-9910799490103321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato |
| Autore | Sadovykh Andrey |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (329 pages) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
TruscanDragos
MallouliWissam CavalliAna Rosa SeceleanuCristina BagnatoAlessandra |
| Soggetto topico |
Software engineering
Data protection Computer programs - Testing Cooperating objects (Computer systems) Software Engineering Data and Information Security Software Testing Cyber-Physical Systems |
| ISBN | 3-031-42212-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. . |
| Record Nr. | UNINA-9910770247303321 |
Sadovykh Andrey
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas
| Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas |
| Autore | Colmenar-Santos Antonio |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (203 pages) |
| Disciplina | 629.2 |
| Altri autori (Persone) |
Borge-DiezDavid
Ortega-CabezasPedro-Miguel |
| Soggetto topico |
Automotive engineering
Computer programs - Testing Transportation engineering Traffic engineering Sustainability Automotive Engineering Software Testing Transportation Technology and Traffic Engineering |
| ISBN | 3-031-47630-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Macroeconomic impact, reduction of fee deficit and profitability of a sustainable transport model based on electric mobility. Case study: City of León (Spain)2 -- Software validation techniques in the automotive sector -- Driver efficiency and software. Influence on eco-design9 -- Driver efficiency and software. Influence on Vehicle-toBuilding10 -- Contribution of driver efficiency to the European Green Deal12. |
| Record Nr. | UNINA-9910800112603321 |
|
Colmenar-Santos Antonio
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu
| Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu |
| Autore | Xie Xiaoyuan |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Computer programming Software Testing Software Management Programming Techniques |
| ISBN | 981-336-179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. |
| Record Nr. | UNINA-9910482958703321 |
|
Xie Xiaoyuan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The French School of Programming / / edited by Bertrand Meyer
| The French School of Programming / / edited by Bertrand Meyer |
| Autore | Meyer Bertrand |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (451 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | Meyer |
| Soggetto topico |
Software engineering
Computer science Programming languages (Electronic computers) Computer programming Machine theory Computer programs - Testing Software Engineering Theory of Computation Programming Language Programming Techniques Formal Languages and Automata Theory Software Testing |
| ISBN | 9783031345180 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design. |
| Record Nr. | UNINA-9910855370303321 |
|
Meyer Bertrand
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
| Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| Autore | Kosmatov Nikolai |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (708 pages) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
PrevostoVirgile
SignolesJulien |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer programs - Testing
Programming languages (Electronic computers) Mathematics - Data processing Coding theory Information theory Software Testing Programming Language Computational Mathematics and Numerical Analysis Coding and Information Theory |
| ISBN | 3-031-55608-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Part I. Core Components -- ACSL Specification Language -- The Kernel and its Services -- Abstract Interpretation with Eva -- Deductive Verification with WP -- Runtime Assertion Checking with E-ACSL -- Test generation with PathCrawler -- Development of new plug-ins -- Part II. Advanced Usages and Combinations -- Tools for Program Understanding -- Combinations of Analyses -- Numerical Accuracy Analysis -- Analyses of Concurrent Programs -- High-Level Properties -- Part III. Applications and Emerging Domains -- Applications in Transportation, Energy and Defence -- Applications in Cybersecurity and Trusted AI -- Artificial Intelligence for Improving Verification Techniques -- Index -- Bibliography. |
| Record Nr. | UNINA-9910872183403321 |
|
Kosmatov Nikolai
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Crowdsourced Testing / / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
| Intelligent Crowdsourced Testing / / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng |
| Autore | Wang Qing |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (251 pages) |
| Disciplina | 929.605 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Software Testing Software Management Programari Assaigs (Tecnologia) |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 981-16-9643-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Preliminary of Crowdsourced Testing -- 1 Introduction -- 2 Preliminaries -- 3 Book Structure -- Part II Supporting Technology for Crowdsourced Testing Workers -- 4 Characterization of Crowd Worker -- 5 Task Recommendation for Crowd Worker -- Part III Supporting Technology for Crowdsourced Testing Tasks -- 6 Crowd Worker Recommendation for Testing Task -- 7 Crowdsourced Testing Task Management -- Part IV Supporting Technology for Crowdsourced Testing Results -- 8 Classification of Crowdsourced Testing Reports -- 9 Duplicate Detection of Crowdsourced Testing Reports -- 10 Prioritization of Crowdsourced Testing Reports -- 11 Summarization of Crowdsourced Testing Reports -- 12 Quality Assessment of Crowdsourced Testing Cases -- Part V Conclusions and Future Perspectives -- 13 Conclusions -- 14 Perspectives. |
| Record Nr. | UNINA-9910578696503321 |
|
Wang Qing
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISTQB® Certified Tester Foundation Level : A Self-Study Guide Syllabus v4.0 / / by Lucjan Stapp, Adam Roman, Michaël Pilaeten
| ISTQB® Certified Tester Foundation Level : A Self-Study Guide Syllabus v4.0 / / by Lucjan Stapp, Adam Roman, Michaël Pilaeten |
| Autore | Stapp Lucjan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (409 pages) |
| Disciplina | 929.374 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Software Testing Software Management |
| ISBN | 3-031-42767-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Certification, Syllabus and Foundation Level Exam -- Foundation Level Certificate -- Foundation Level Syllabus -- Foundation Level Exam -- Part II: The Syllabus Content -- 1. Fundamentals of Testing -- 2. Testing Throughout the Software Development Lifecycle -- 3. Static Testing -- 4. Test Analysis and Design -- 5. Managing the Test Activities -- 6. Test Tools -- Part III: Answers to Questions and Exercises -- Answers to Sample Questions. Solutions to Exercises -- Part IV: Official Sample Exam -- Exam Set A -- Additional Sample Questions -- Exam Set A – Answers -- Additional Sample Questions – Answers. |
| Record Nr. | UNINA-9910768456403321 |
|
Stapp Lucjan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Learning Java : A Test-Driven Approach / / by Joshua Crotts
| Learning Java : A Test-Driven Approach / / by Joshua Crotts |
| Autore | Crotts Joshua |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (474 pages) |
| Disciplina | 005.133 |
| Soggetto topico |
Java (Computer program language)
Computer programming Computer programs - Testing Education - Data processing Java Programming Techniques Software Testing Computers and Education |
| ISBN | 3-031-66638-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Java Programming and Data Structures -- 1. Testing and Java Basics -- 2. Conditionals, Recursion, and Loops -- 3. Arrays, Collections, and Generics -- Part II: Objects, Classes, Exceptions, and I/O -- 4. Object-Oriented Programming -- 5. Exceptions & Data I/O -- Part III: Searching, Sorting, and Algorithms -- 6. Searching & Sorting -- 7. Algorithm Analysis -- 8. Modern Java and Advanced Topics. |
| Record Nr. | UNINA-9910882891403321 |
|
Crotts Joshua
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern Software Testing Techniques : A Practical Guide for Developers and Testers / / by István Forgács, Attila Kovács
| Modern Software Testing Techniques : A Practical Guide for Developers and Testers / / by István Forgács, Attila Kovács |
| Autore | Forgács István |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
| Descrizione fisica | 1 online resource (XVIII, 266 p. 53 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Software Testing Software Management |
| ISBN | 1-4842-9893-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
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? -- 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.
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. |
| Record Nr. | UNINA-9910799500103321 |
|
Forgács István
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
