DEBT '23 : Proceedings of the 1st ACM International Workshop on Future Debugging Techniques : July 17, 2023 Seattle, WA, USA / / edited by Elisa Gonzalez Boix and Christophe Scholliers |
Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2023 |
Descrizione fisica | 1 online resource (30 pages) |
Disciplina | 001.64 |
Collana | ACM Conferences |
Soggetto topico |
Debugging in computer science
Computer science Information visualization Computer software - Testing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910735595603321 |
New York, NY : , : Association for Computing Machinery, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Debugging the development process : practical strategies for staying focused, hitting ship dates, and building solid teams / Steve Maguire |
Autore | Maguire, Steve |
Pubbl/distr/stampa | Redmond, Wa : Microsoft Press, c1994 |
Descrizione fisica | xx, 183 p. : ill. ; 24 cm. |
Disciplina | 005.1 |
Soggetto topico |
Computer software - Development
Debugging in computer science |
ISBN | 1556156502 |
Classificazione |
AMS 68N
CR D.2 QA76.9.D43M33 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000806419707536 |
Maguire, Steve | ||
Redmond, Wa : Microsoft Press, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Debugging Visual FoxPro applications [[electronic resource] /] / Nancy Folsom |
Autore | Folsom Nancy |
Pubbl/distr/stampa | Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 |
Descrizione fisica | xvii, 113 p |
Disciplina | 005.75/65/0285514 |
Soggetto topico | Debugging in computer science |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-54416-3
9781930919212 9786610544165 1-930919-21-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910455253803321 |
Folsom Nancy | ||
Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Debugging Visual FoxPro applications [[electronic resource] /] / Nancy Folsom |
Autore | Folsom Nancy |
Pubbl/distr/stampa | Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 |
Descrizione fisica | xvii, 113 p |
Disciplina | 005.75/65/0285514 |
Soggetto topico | Debugging in computer science |
ISBN |
1-280-54416-3
9781930919212 9786610544165 1-930919-21-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910779967503321 |
Folsom Nancy | ||
Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Debugging Visual FoxPro applications [[electronic resource] /] / Nancy Folsom |
Autore | Folsom Nancy |
Pubbl/distr/stampa | Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 |
Descrizione fisica | xvii, 113 p |
Disciplina | 005.75/65/0285514 |
Soggetto topico | Debugging in computer science |
ISBN |
1-280-54416-3
9781930919212 9786610544165 1-930919-21-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910827475103321 |
Folsom Nancy | ||
Whitefish Bay, Wis., : Hentzenwerke Publishing, c2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design for testability, debug and reliability : next generation measures using formal techniques / / Sebastian Huhn, Rolf Drechsler |
Autore | Huhn Sebastian <1974-> |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (177 pages) |
Disciplina | 621.3815 |
Soggetto topico |
Integrated circuits - Design and construction
Integrated circuits - Reliability Integrated circuits - Testing Debugging in computer science |
ISBN | 3-030-69209-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484761203321 |
Huhn Sebastian <1974-> | ||
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Django 1.1 testing and debugging [[electronic resource] ] : building rigorously tested and bug-free Django applications / / Karen M. Tracey |
Autore | Tracey Karen M |
Pubbl/distr/stampa | Birmingham, U.K., : Packt Pub., 2010 |
Descrizione fisica | 1 online resource (436 p.) |
Disciplina | 006.76 |
Collana | From technologies to solutions |
Soggetto topico |
Computer programs - Testing
Debugging in computer science Application software - Development Python (Computer program language) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-57942-8
9786612579424 1-84719-757-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewer; Table of Contents; Preface; Chapter 1: Django Testing Overview; Getting started: Creating a new application; Understanding the sample unit test; Understanding the sample doctest; Running the sample tests; Breaking things on purpose; Test errors versus test failures; Command line options for running tests; Verbosity; Settings; Pythonpath; Traceback; Noinput; Version; Summary; Chapter 2: Does This Code Work? Doctests in Depth; The Survey application models; Testing the Survey model; Testing Survey model creation
Is that test useful?Developing a custom Survey save method; Deciding what to test; Some pros and cons of doctests so far; Additional doctest caveats; Beware of environmental dependence; Beware of database dependence; Beware of test interdependence; Beware of Unicode; Summary; Chapter 3: Testing 1, 2, 3: Basic Unit Testing; Unit tests for the Survey save override method; Pros of the unit test version; Cons of the unit test version; Revisiting the doctest caveats; Environmental dependence; Database dependence; Test interdependence; Unicode; Providing data for unit tests Providing data in test fixturesExample test that needs test data; Using the admin application to create test data; Writing the function itself; Writing a test that uses the test data; Extracting the test data from the database; Getting the test data loaded during the test run; Creating data during test set up; Summary; Chapter 4: Getting Fancier: Django Unit Test Extensions; Organizing tests; Creating the survey application home page; Defining the survey application URLs; Developing views to serve pages; Creating templates for pages; Testing the survey home page Creating the survey detail pagesRefining the survey detail view; Templates for the survey detail pages; Basic testing of the survey detail pages; Customizing the admin add and change survey pages; Developing a custom survey form; Configuring admin to use the custom form; Testing the admin customization; Additional test support; Supporting additional HTTP methods; Maintaining persistent state; E-mail services; Providing test-specific URL configuration; Response context and template information; Testing transactional behavior Chapter 5: Filling in the Blanks: Integrating Django and Other Test ToolsProblems of integration; Specifying an alternative test runner; Creating a new management command; How much of the code are we testing?; Using coverage standalone; Integrating coverage into a Django project; The twill web browsing and testing tool; Using the twill command line program; Using twill in a TestCase; Summary; Chapter 6: Django Debugging Overview; Django debug settings; The DEBUG and TEMPLATE_DEBUG settings; The TEMPLATE_STRING_IF_INVALID setting; Debug error pages; Database query history Debug support in the development server |
Record Nr. | UNINA-9910459388103321 |
Tracey Karen M | ||
Birmingham, U.K., : Packt Pub., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Django 1.1 testing and debugging [[electronic resource] ] : building rigorously tested and bug-free Django applications / / Karen M. Tracey |
Autore | Tracey Karen M |
Pubbl/distr/stampa | Birmingham, U.K., : Packt Pub., 2010 |
Descrizione fisica | 1 online resource (436 p.) |
Disciplina | 006.76 |
Collana | From technologies to solutions |
Soggetto topico |
Computer programs - Testing
Debugging in computer science Application software - Development Python (Computer program language) |
ISBN |
1-282-57942-8
9786612579424 1-84719-757-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewer; Table of Contents; Preface; Chapter 1: Django Testing Overview; Getting started: Creating a new application; Understanding the sample unit test; Understanding the sample doctest; Running the sample tests; Breaking things on purpose; Test errors versus test failures; Command line options for running tests; Verbosity; Settings; Pythonpath; Traceback; Noinput; Version; Summary; Chapter 2: Does This Code Work? Doctests in Depth; The Survey application models; Testing the Survey model; Testing Survey model creation
Is that test useful?Developing a custom Survey save method; Deciding what to test; Some pros and cons of doctests so far; Additional doctest caveats; Beware of environmental dependence; Beware of database dependence; Beware of test interdependence; Beware of Unicode; Summary; Chapter 3: Testing 1, 2, 3: Basic Unit Testing; Unit tests for the Survey save override method; Pros of the unit test version; Cons of the unit test version; Revisiting the doctest caveats; Environmental dependence; Database dependence; Test interdependence; Unicode; Providing data for unit tests Providing data in test fixturesExample test that needs test data; Using the admin application to create test data; Writing the function itself; Writing a test that uses the test data; Extracting the test data from the database; Getting the test data loaded during the test run; Creating data during test set up; Summary; Chapter 4: Getting Fancier: Django Unit Test Extensions; Organizing tests; Creating the survey application home page; Defining the survey application URLs; Developing views to serve pages; Creating templates for pages; Testing the survey home page Creating the survey detail pagesRefining the survey detail view; Templates for the survey detail pages; Basic testing of the survey detail pages; Customizing the admin add and change survey pages; Developing a custom survey form; Configuring admin to use the custom form; Testing the admin customization; Additional test support; Supporting additional HTTP methods; Maintaining persistent state; E-mail services; Providing test-specific URL configuration; Response context and template information; Testing transactional behavior Chapter 5: Filling in the Blanks: Integrating Django and Other Test ToolsProblems of integration; Specifying an alternative test runner; Creating a new management command; How much of the code are we testing?; Using coverage standalone; Integrating coverage into a Django project; The twill web browsing and testing tool; Using the twill command line program; Using twill in a TestCase; Summary; Chapter 6: Django Debugging Overview; Django debug settings; The DEBUG and TEMPLATE_DEBUG settings; The TEMPLATE_STRING_IF_INVALID setting; Debug error pages; Database query history Debug support in the development server |
Record Nr. | UNINA-9910784924103321 |
Tracey Karen M | ||
Birmingham, U.K., : Packt Pub., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Django 1.1 testing and debugging : building rigorously tested and bug-free Django applications / / Karen M. Tracey |
Autore | Tracey Karen M |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Birmingham, U.K., : Packt Pub., 2010 |
Descrizione fisica | 1 online resource (436 p.) |
Disciplina | 006.76 |
Collana | From technologies to solutions |
Soggetto topico |
Computer programs - Testing
Debugging in computer science Application software - Development Python (Computer program language) |
ISBN |
1-282-57942-8
9786612579424 1-84719-757-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewer; Table of Contents; Preface; Chapter 1: Django Testing Overview; Getting started: Creating a new application; Understanding the sample unit test; Understanding the sample doctest; Running the sample tests; Breaking things on purpose; Test errors versus test failures; Command line options for running tests; Verbosity; Settings; Pythonpath; Traceback; Noinput; Version; Summary; Chapter 2: Does This Code Work? Doctests in Depth; The Survey application models; Testing the Survey model; Testing Survey model creation
Is that test useful?Developing a custom Survey save method; Deciding what to test; Some pros and cons of doctests so far; Additional doctest caveats; Beware of environmental dependence; Beware of database dependence; Beware of test interdependence; Beware of Unicode; Summary; Chapter 3: Testing 1, 2, 3: Basic Unit Testing; Unit tests for the Survey save override method; Pros of the unit test version; Cons of the unit test version; Revisiting the doctest caveats; Environmental dependence; Database dependence; Test interdependence; Unicode; Providing data for unit tests Providing data in test fixturesExample test that needs test data; Using the admin application to create test data; Writing the function itself; Writing a test that uses the test data; Extracting the test data from the database; Getting the test data loaded during the test run; Creating data during test set up; Summary; Chapter 4: Getting Fancier: Django Unit Test Extensions; Organizing tests; Creating the survey application home page; Defining the survey application URLs; Developing views to serve pages; Creating templates for pages; Testing the survey home page Creating the survey detail pagesRefining the survey detail view; Templates for the survey detail pages; Basic testing of the survey detail pages; Customizing the admin add and change survey pages; Developing a custom survey form; Configuring admin to use the custom form; Testing the admin customization; Additional test support; Supporting additional HTTP methods; Maintaining persistent state; E-mail services; Providing test-specific URL configuration; Response context and template information; Testing transactional behavior Chapter 5: Filling in the Blanks: Integrating Django and Other Test ToolsProblems of integration; Specifying an alternative test runner; Creating a new management command; How much of the code are we testing?; Using coverage standalone; Integrating coverage into a Django project; The twill web browsing and testing tool; Using the twill command line program; Using twill in a TestCase; Summary; Chapter 6: Django Debugging Overview; Django debug settings; The DEBUG and TEMPLATE_DEBUG settings; The TEMPLATE_STRING_IF_INVALID setting; Debug error pages; Database query history Debug support in the development server |
Record Nr. | UNINA-9910819840803321 |
Tracey Karen M | ||
Birmingham, U.K., : Packt Pub., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essential spectrum-based fault localization / / Xiaoyuan Xie, Baowen Xu |
Autore | Xie Xiaoyuan |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
Disciplina | 005.14 |
Soggetto topico |
Debugging in computer science
Computer software - Testing Software engineering |
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, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|