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.
Problem determination across multiple WebSphere products AIX Platform [[electronic resource] /] / Peter Kovari ... [et al.]
| Problem determination across multiple WebSphere products AIX Platform [[electronic resource] /] / Peter Kovari ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Armonk, N.Y., : IBM, 2004 |
| Descrizione fisica | 386 p. : ill |
| Disciplina | 005.376 |
| Collana | Redbooks |
| Soggetto topico |
Debugging in computer science
Web servers - Computer programs Web site development Application software - Development |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910819164503321 |
| Armonk, N.Y., : IBM, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis / / Cristian Cadar, Xiangyu Zhang
| Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis / / Cristian Cadar, Xiangyu Zhang |
| Autore | Cadar Cristian |
| Pubbl/distr/stampa | New York NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico | Debugging in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510448803321 |
Cadar Cristian
|
||
| New York NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the First International Workshop on Complex faUlts and Failures in LargE Software Systems / / Mark Grechanik
| Proceedings of the First International Workshop on Complex faUlts and Failures in LargE Software Systems / / Mark Grechanik |
| Autore | Grechanik Mark |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE) Press, , 2015 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 001.64 |
| Soggetto topico |
Debugging in computer science
Electronic data processing Computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376468803321 |
|
Grechanik Mark
|
||
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE) Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pytest quick start guide : write better Python code with simple and maintainable tests / / Bruno Oliveira
| Pytest quick start guide : write better Python code with simple and maintainable tests / / Bruno Oliveira |
| Autore | Oliveira Bruno |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt Publishing, , 2018 |
| Descrizione fisica | 1 online resource (153 pages) : illustrations |
| Disciplina | 005.133 |
| Soggetto topico |
Python (Computer program language)
Computer software - Testing Debugging in computer science |
| ISBN | 1-78934-382-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793171603321 |
|
Oliveira Bruno
|
||
| Birmingham ; ; Mumbai : , : Packt Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pytest quick start guide : write better Python code with simple and maintainable tests / / Bruno Oliveira
| Pytest quick start guide : write better Python code with simple and maintainable tests / / Bruno Oliveira |
| Autore | Oliveira Bruno |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt Publishing, , 2018 |
| Descrizione fisica | 1 online resource (153 pages) : illustrations |
| Disciplina | 005.133 |
| Soggetto topico |
Python (Computer program language)
Computer software - Testing Debugging in computer science |
| ISBN | 1-78934-382-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910813181603321 |
|
Oliveira Bruno
|
||
| Birmingham ; ; Mumbai : , : Packt Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Science of Debugging [[electronic resource]]
| Science of Debugging [[electronic resource]] |
| Autore | Telles Matt |
| Pubbl/distr/stampa | Phoenix, : Paraglyph Press, 2001 |
| Descrizione fisica | 1 online resource (512 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | HsiehYuan |
| Soggetto topico | Debugging in computer science |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""About the Author""; ""Acknowledgments""; ""Contents at a Glance""; ""Table of Contents""; ""Introduction to Debugging""; ""Case Studies of Famous (and Not So Famous) Bugs""; ""What Are Bugs?""; ""Life Cycle of a Bug""; ""A Bug Taxonomy""; ""Detective Work""; ""Debugging Tools and When to Use Them""; ""The General Process of Debugging""; ""Debugging Techniques""; ""Debugging Different Application Types""; ""Post Debugging""; ""Prebugging""; ""Testing""; ""Maintenance""; ""Debugging as a Profession""; ""Bug Puzzle Solutions""; ""Additional Reading""; ""Index"" |
| Record Nr. | UNINA-9910450102003321 |
|
Telles Matt
|
||
| Phoenix, : Paraglyph Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Science of Debugging [[electronic resource]]
| Science of Debugging [[electronic resource]] |
| Autore | Telles Matt |
| Pubbl/distr/stampa | Phoenix, : Paraglyph Press, 2001 |
| Descrizione fisica | 1 online resource (512 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | HsiehYuan |
| Soggetto topico | Debugging in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""About the Author""; ""Acknowledgments""; ""Contents at a Glance""; ""Table of Contents""; ""Introduction to Debugging""; ""Case Studies of Famous (and Not So Famous) Bugs""; ""What Are Bugs?""; ""Life Cycle of a Bug""; ""A Bug Taxonomy""; ""Detective Work""; ""Debugging Tools and When to Use Them""; ""The General Process of Debugging""; ""Debugging Techniques""; ""Debugging Different Application Types""; ""Post Debugging""; ""Prebugging""; ""Testing""; ""Maintenance""; ""Debugging as a Profession""; ""Bug Puzzle Solutions""; ""Additional Reading""; ""Index"" |
| Record Nr. | UNINA-9910782938803321 |
|
Telles Matt
|
||
| Phoenix, : Paraglyph Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Science of Debugging [[electronic resource]]
| Science of Debugging [[electronic resource]] |
| Autore | Telles Matt |
| Pubbl/distr/stampa | Phoenix, : Paraglyph Press, 2001 |
| Descrizione fisica | 1 online resource (512 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | HsiehYuan |
| Soggetto topico | Debugging in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""About the Author""; ""Acknowledgments""; ""Contents at a Glance""; ""Table of Contents""; ""Introduction to Debugging""; ""Case Studies of Famous (and Not So Famous) Bugs""; ""What Are Bugs?""; ""Life Cycle of a Bug""; ""A Bug Taxonomy""; ""Detective Work""; ""Debugging Tools and When to Use Them""; ""The General Process of Debugging""; ""Debugging Techniques""; ""Debugging Different Application Types""; ""Post Debugging""; ""Prebugging""; ""Testing""; ""Maintenance""; ""Debugging as a Profession""; ""Bug Puzzle Solutions""; ""Additional Reading""; ""Index"" |
| Record Nr. | UNINA-9910816039003321 |
|
Telles Matt
|
||
| Phoenix, : Paraglyph Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
| Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang |
| Autore | Huang J. C. <1935-> |
| Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, c2009 |
| Descrizione fisica | 1 online resource (271 p.) |
| Disciplina | 005.1/4 |
| Soggetto topico |
Computer software - Testing
Computer software - Reliability Debugging in computer science |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-27967-X
9786612279676 0-470-46407-0 0-470-46405-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints 5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index |
| Record Nr. | UNINA-9910139752103321 |
|
Huang J. C. <1935->
|
||
| Hoboken, N.J., : John Wiley & Sons, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
| Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang |
| Autore | Huang J. C. <1935-> |
| Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, c2009 |
| Descrizione fisica | 1 online resource (271 p.) |
| Disciplina | 005.1/4 |
| Soggetto topico |
Computer software - Testing
Computer software - Reliability Debugging in computer science |
| ISBN |
1-282-27967-X
9786612279676 0-470-46407-0 0-470-46405-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints 5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index |
| Record Nr. | UNINA-9910811608503321 |
|
Huang J. C. <1935->
|
||
| Hoboken, N.J., : John Wiley & Sons, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
