METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

Stephen S. Yau, Zenichi Kishimoto

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

46 Scopus citations

Abstract

A method for revalidating modified programs in the maintenance phase is presented. This method is based on an input partition approach which partitions the input domain of a given program into a number of classes using the information from the program specification and code, and the criterion which tests each class at least once. The testing criterion is satisfied by using a subset of the original test set of the program before modification and supplemented by generating additional test cases. After the criterion is satisfied, all the newly generated test cases and original test cases, whose execution exercises the modified portions of the program, are used for revalidation. This method uses data-driven symbolic execution for test execution and supports debugging of the modified modules when errors are detected.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages272-277
Number of pages6
ISBN (Print)0818608064
StatePublished - Dec 1 1987
Externally publishedYes

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.'. Together they form a unique fingerprint.

  • Cite this

    Yau, S. S., & Kishimoto, Z. (1987). METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 272-277). (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference). IEEE.