Computer Science Homework Help

612b

Pick a household appliance such as a watch, calculator, microwave, VCR, clock-radio or programmable thermostat. In a 4-6-page, APA-formatted paper, 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). Remember to support your thoughts and justifications with outside, reliable resources that are properly identified, cited, and referenced.

Less plagiarism and reference included.