Rigorous testing using SnapShot
Michael Factor, Eitan Farchi, Shmuel Ur · 2002
Introduces a new software testing concept called SnapShot. SnapShot is a testing mechanism which is composed of two components. The first component instruments the program to be tested with SnapShot statements, which are used to produce a special trace during the program execution. The second component implements post-processing on the trace. SnapShot implicitly defines a user-defined coverage criterion and supports its implementation. We have applied SnapShot to a variety of areas, including serial, parallel and object-oriented programs and VHDL designs.