License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-26191
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2619/
Go to the corresponding Portal


Godefroid, Patrice ; Mariani, Leonardo ; Polini, Andrea ; Tillmann, Nikolai ; Visser, Willem ; Whalen, Michael W.

FITE - Future Integrated Testing Environment

pdf-format:
Document 1.pdf (140 KB)


Abstract

It is a well known fact that the later software errors are discovered during the development process, the more costly they are to repair. Recently, automatic tools based on static and dynamic analysis have become widely used in industry to detect errors, such as null pointer dereferences, array indexing errors, assertion violations, etc. However, these techniques are typically applied late in the development cycle, and thus, the errors detected by such approaches are expensive to repair. Additionally, these techniques can suffer from scalability and presentation issues due to the fact that they are applied late in the development cycle. To address these issues we suggest that code should be continuously analyzed from an early stage of development, preferably as the code is written. This will allow developers to get instant feedback to repair errors as they are introduced, rather than later when it is more expensive. This analysis should also be incremental in nature to allow better scaling. Additionally, the presentation of errors in static and dynamic analysis tools can be improved due to the small increment of code being analyzed.

BibTeX - Entry

@InProceedings{godefroid_et_al:DSP:2010:2619,
  author =	{Patrice Godefroid and Leonardo Mariani and Andrea Polini and Nikolai Tillmann and Willem Visser and Michael W. Whalen},
  title =	{FITE - Future Integrated Testing Environment},
  booktitle =	{Practical Software Testing : Tool Automation and Human Factors},
  year =	{2010},
  editor =	{Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie},
  number =	{10111},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2619},
  annote =	{Keywords: Incremental analysis, incremental testing, human factors, static analysis, model checking}
}

Keywords: Incremental analysis, incremental testing, human factors, static analysis, model checking
Seminar: 10111 - Practical Software Testing : Tool Automation and Human Factors
Issue Date: 2010
Date of publication: 28.06.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI