Posted: January 7th, 2022
Pick a household appliance such as a watch, calculator, microwave,
VCR, clock-radio or programmable thermostat. Draw the FSM that
represents your appliance’s behavior. Derive abstract tests to satisfy
Predicate Coverage, Correlated Active Clause Coverage, and General
Inactive Clause Coverage. (An abstract test is in terms of the model,
not the implementation.)
Place an order in 3 easy steps. Takes less than 5 mins.