Which of the following statements BEST describes how tools support model-based testing?
Show Answer & Explanation
Correct Answer: A. Finite state machines are used to describe the intended execution-time behavior of a software-controlled system.
In model-based testing, a model (commonly a finite state machine, UML state diagram, or similar notation) formally describes the expected runtime behavior of the system. The testing tool then uses this model to derive test cases systematically. Option B is incorrect — MBT generates structured, model-driven test cases, not random threads; random generation describes random testing, not MBT. Option C is incorrect — MBT does not aim for full code coverage; it derives tests from behavioral models, not source code structure. Option D is incorrect — MBT tools generate and manage test cases from the model; they do not simply "execute the model" as a runtime engine. The defining characteristic of MBT tools is test case generation from a behavioral model.