Improving effectiveness of automated software testing in the absence of specifications

Tao Xie

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Program specifications can be valuable in improving the effectiveness of automated software testing in generating test inputs and checking test executions for correctness. Unfortunately, specifications are often absent from programs in practice. We present a framework for improving effectiveness of automated testing in the absence of specifications. The framework supports a set of related techniques, including redundant-test detection, non-redundant-test generation, test selection, test abstraction, and program-spectra comparison. The framework has been implemented and empirical results have shown that the developed techniques within the framework improve the effectiveness of automated testing by detecting high percentage of redundant tests among test inputs generated by existing tools, generating non-redundant test inputs to achieve high structural coverage, reducing inspection efforts for detecting problems in the program, and exposing behavioral differences during regression testing.

Original languageEnglish (US)
Title of host publicationICSM 2006 Proceedings - 22nd IEEE International Conference on Software Maintenance
Pages355-358
Number of pages4
DOIs
StatePublished - 2006
Externally publishedYes
EventICSM 2006: 22nd IEEE International Conference on Software Maintenance - Philadelphia, PA, United States
Duration: Sep 24 2006Sep 27 2006

Publication series

NameIEEE International Conference on Software Maintenance, ICSM

Other

OtherICSM 2006: 22nd IEEE International Conference on Software Maintenance
Country/TerritoryUnited States
CityPhiladelphia, PA
Period9/24/069/27/06

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Improving effectiveness of automated software testing in the absence of specifications'. Together they form a unique fingerprint.

Cite this