Testing Theory in Practice: A Simple Experiment

摘要

The goal of this paper is to show the viability and feasibility of the FMCTframework by conducting a concrete experiment with a simple, example protocol. This experiment shows how the abstract concepts defined in FMCT (e.g., test context, points of control and observation, abstract test case) can be instantiated with concrete concepts (e.g., programming interface, executable test case). The correspondence between the abstract and concrete concepts is investigated in order to see which concepts can be easily instantiated, and which concepts are critical in the application of FMCT to realistic testing situations.