METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

Stephen S. Yau; Zenichi Kishimoto

METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English (US)
Title of host publication	Proceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publisher	IEEE
Pages	272-277
Number of pages	6
ISBN (Print)	0818608064
State	Published - Dec 1 1987
Externally published	Yes

Publication series

Name	Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

Software
Computer Science Applications

Cite this

METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE. / Yau, Stephen S.; Kishimoto, Zenichi.
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1987. p. 272-277 (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@inproceedings{74b3361b193a49deb7025946f745edd8,

title = "METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.",

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.",

author = "Yau, {Stephen S.} and Zenichi Kishimoto",

year = "1987",

month = dec,

day = "1",

language = "English (US)",

isbn = "0818608064",

series = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",

publisher = "IEEE",

pages = "272--277",

booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",

}

TY - GEN

T1 - METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

AU - Yau, Stephen S.

AU - Kishimoto, Zenichi

PY - 1987/12/1

Y1 - 1987/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023539519&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023539519&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0023539519

SN - 0818608064

T3 - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

SP - 272

EP - 277

BT - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

PB - IEEE

ER -

METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

Abstract

Publication series

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this