demonstration

Impendulo: debugging the programmer

Authors:

Willem Visser,

Jaco GeldenhuysAuthors Info & Claims

ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering

Pages 351 - 352

https://doi.org/10.1145/1858996.1859071

Published: 20 September 2010 Publication History

Get Access

Abstract

We describe the Impendulo tool for fine-grained analyses of programmer behavior. The initial design goal was to create a system to answer the following simple question: "What kind of mistakes do programmers make and how often do they make these mistakes?" However it quickly became apparent that the tool can be used to also analyze other fundamental software engineering questions, such as, how good are static analysis tools at finding real errors?, what is the fault finding capability of automated test generation tools?, what is the influence of a bad specification?, etc. We briefly describe the tool and some of the insights gained from using it.

References

[1]

}}FindBugs. http://findbugs.sourceforge.net/.

Google Scholar

[2]

}}Hackystat. http://code.google.com/p/hackystat/.

Google Scholar

[3]

}}IEEE Working Conference on Mining Software Repositories. http://www.msrconf.org.

Google Scholar

[4]

}}Lint4J. http://www.jutils.com/.

Google Scholar

[5]

}}J. Geldenhuys and W. Visser. Static Analysis for Bug Finding; Are we going in the wrong direction? Technical Report CS-10-01, Stellenbosch University, 2010. Available at http://www.cs.sun.ac.za/~ssv/impendulo.

Google Scholar

[6]

}}D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92--106, 2004.

Digital Library

Google Scholar

[7]

}}J. Spacco, D. Hovemeyer, and W. Pugh. An eclipse-based course project snapshot and submission system. In 3rd Eclipse Technology Exchange Workshop (eTX), Vancouver, BC, 2004.

Digital Library

Google Scholar

[8]

}}A. Tomb, G. Brat, and W. Visser. Variably interprocedural program analysis for runtime error detection. In ISSTA '07, 2007.

Digital Library

Google Scholar

Index Terms

Impendulo: debugging the programmer
1. Information systems
  1. Data management systems
    1. Middleware for databases
      1. Distributed transaction monitors
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Monitors

Recommendations

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

Static analyses are powerful tools that can serve as a complement to dynamic approaches such as testing. In order to ensure generality, many static analysis tools are configurable. However, these configurations can make testing and debugging more ...
Improved semantics and implementation through property-based testing with QuickCheck
AST 2014: Proceedings of the 9th International Workshop on Automation of Software Test

Testing is the primary method to validate that a software implementation meets its specification. In this paper, we demonstrate an approach to validating an executable semantics using property- and model-based random testing in QuickCheck to automate ...
Grammar-driven generation of domain-specific language tools
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications

Domain-specific languages (DSLs) assist an end-user programmer in writing programs using idioms that are closer to the abstractions found in a specific problem domain. Language testing tool support for DSLs is lacking when compared to the capabilities ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering

September 2010

534 pages

ISBN:9781450301169

DOI:10.1145/1858996

General Chair:
Charles Pecheur
Université catholique de Louvain, Belgium
,
Program Chairs:
Jamie Andrews
University of Western Ontario, Canada
,
Elisabetta Di Nitto
Politecnico di Milano, Italy

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 September 2010

Check for updates

Author Tags

Qualifiers

Demonstration

Conference

ASE10

Sponsor:

ASE10: IEEE/ACM International Conference on Automated Software Engineering

September 20 - 24, 2010

Antwerp, Belgium

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
157
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools

Improved semantics and implementation through property-based testing with QuickCheck

Grammar-driven generation of domain-specific language tools