TECHNICAL REPORT ARCHIVE


Toward Synergy of Finite State Verification and Testing

TR-CIS-2000-04
Gleb Naumovich, Phyllis G. Frankl

pdf version of this paper

Abstract:
Finite state verification (FSV) and testing are usually viewed as competing approaches to software validation. In this short paper, we propose a technique for combining FSV synergistically with testing, with the goal of identifying faults more quickly and with less manual effort than with FSV alone and more effectively than with testing alone. We propose using information about potential faults obtained during the FSV analysis to direct selection, execution, and checking of test data, with the intent of confirming these faults.

Back to previous page