Which of the following can be executed by model-based testing tools?

Model-Based Testing (MBT) tools utilize formal models of system behavior to automatically generate and execute test suites. A Finite State Machine (FSM) is a primary structural model representation composed of states, transitions, inputs, and outputs that MBT tools parse and execute to validate stateful system behavior. MBT tools map paths through the state machine to concrete execution steps and verification checks.

B: Operational profiles model user usage distributions for performance and reliability testing, not state-based behavior executed by MBT tools. C: Computational models represent numerical algorithms rather than discrete system state transitions processed by MBT tools. D: Use case profiles define high-level user scenario summaries rather than formal executable behavioral models.

- ISTQB Certified Tester Advanced Level Technical Test Analyst Syllabus (v3.0), Section 4.2 "Model-Based Testing".

- ISO/IEC/IEEE 29119-4:2015 Software and Systems Engineering — Software Testing — Part 4: Test Techniques, Appendix on Model-Based Testing.