I85PREP
⌘ K
ISTQB CT-MBT study materials
ISTQB CT-MBT study resources

ISTQB CT-MBT practice questions

One question at a time. Build your ISTQB CT-MBT understanding.

First 50 of 200 questions. Each one lists the choices, the correct answer, and an explanation. The checker at the top of this page saves progress in this browser when it is available.

Continue in the practice tool above to load more questions, 50 at a time.

Question 1Model-Based Testing fundamentals and the role of models in the test process

In model-based testing, what is the primary role of a model?

  1. To document the project schedule and resource allocation for the test team
  2. To store the actual test results produced during test execution for later comparison
  3. To describe selected aspects of the system under test in an abstract, formalized way that enables automatic test generation Correct answer.
  4. To replace the test oracle so that no expected results need to be defined

Explanation

A model in MBT is an abstract, often formalized representation of selected aspects of the system under test, such as its behavior or structure. It is the artifact from which test cases can be generated, manually or automatically. It does not store execution results and does not remove the need for an oracle.

Question 2Model-Based Testing fundamentals and the role of models in the test process

Which characteristic distinguishes model-based testing from traditional scripted testing?

  1. Test design is skipped entirely because the model guarantees coverage
  2. Test cases are derived systematically from a model rather than written individually by hand Correct answer.
  3. Test execution is always performed manually by the test analyst
  4. Only non-functional requirements can be addressed by the approach

Explanation

The defining trait of MBT is that test cases, or at least test inputs and expected results, are derived from a model through generation algorithms. Scripted testing relies on individually authored test cases. MBT does not mandate manual execution, skip design, or restrict itself to non-functional requirements.

Question 3Model-Based Testing fundamentals and the role of models in the test process

A team creates an abstract state machine of a login feature and uses a generator to produce test sequences from it. Which activity in the test process does this primarily represent?

  1. Test design and test case generation Correct answer.
  2. Test environment setup and configuration
  3. Test execution and incident reporting
  4. Test closure and lessons learned

Explanation

Deriving test sequences from a model is a test design and generation activity. It determines which test cases will exist before execution begins. Environment setup, execution, and closure are later or separate activities in the process.

Question 4Model-Based Testing fundamentals and the role of models in the test process

What does a test oracle provide in the context of model-based testing?

  1. A tool that automatically repairs defects found during execution
  2. A mechanism to determine whether an observed test outcome is correct Correct answer.
  3. A metric counting how many models were built per sprint
  4. A procedure for prioritizing which requirements to model first

Explanation

The oracle is the source of expected results used to judge pass or fail. In MBT it may be derived from the model or defined separately. It does not repair defects, prioritize requirements, or count models.

Question 5Model-Based Testing fundamentals and the role of models in the test process

Which item is a typical input to the model-based test generation process?

  1. A behavioral model plus a set of test selection criteria Correct answer.
  2. A user manual plus a marketing brochure
  3. A defect report from a previous release plus a regression log
  4. A test environment inventory plus a hardware budget

Explanation

Generation requires a model and criteria that specify which test cases to select, such as coverage of states or transitions. Defect reports, environment inventories, and marketing material are not generation inputs.

Question 6Model-Based Testing fundamentals and the role of models in the test process

Which statement best describes an abstract model used for MBT?

  1. It must be written in the same programming language as the system under test
  2. It omits details irrelevant to the test objective while preserving the behavior being tested Correct answer.
  3. It is a copy of the production source code with comments removed
  4. It must reproduce every implementation detail of the system under test exactly

Explanation

Abstraction deliberately removes detail that does not matter for the chosen test objective while keeping the relevant behavior. Fidelity to every implementation detail would defeat the purpose and make the model as complex as the code. The model need not share the implementation language.

Question 7Model-Based Testing fundamentals and the role of models in the test process

A team models only the ordering of banking transactions and ignores message formatting. What does this illustrate?

  1. A modeling viewpoint that selects the aspects relevant to a specific test objective Correct answer.
  2. A modeling error, since every model must cover all system aspects
  3. A requirement that the model be regenerated from production logs
  4. A proof that formatting defects can never be found by any testing

Explanation

Models are built from a viewpoint, capturing the aspects relevant to the intended test objective, here transaction ordering. Ignoring formatting is a deliberate abstraction, not an error. No model can or should cover every aspect, and other tests may address formatting.

Question 8Model-Based Testing fundamentals and the role of models in the test process

Which pairing of model type and typical use is most accurate?

  1. Pareto chart used to generate executable test scripts
  2. Gantt chart used to generate input data values for boundary analysis
  3. Finite state machine used to generate transition sequences covering states and transitions Correct answer.
  4. Organizational chart used to generate equivalence partitions

Explanation

Finite state machines model states and transitions and naturally support generation of sequences that cover them. Gantt charts, Pareto charts, and organizational charts are management or quality displays, not behavioral models for test generation.

Question 9Model-Based Testing fundamentals and the role of models in the test process

Why is traceability between model elements and test cases valuable in an MBT project?

  1. It removes the need to maintain the model after changes
  2. It guarantees that the model contains no defects
  3. It shows which model elements a test case covers, supporting coverage assessment and impact analysis Correct answer.
  4. It converts the model automatically into production code

Explanation

Traceability links generated test cases to the model elements they exercise, enabling coverage measurement and impact analysis when the model changes. It cannot guarantee a defect-free model, eliminate model maintenance, or generate production code.

Question 10Model-Based Testing fundamentals and the role of models in the test process

What is the main benefit of automating test generation from a model?

  1. It makes the test oracle unnecessary for every test case
  2. Large numbers of consistent test cases can be regenerated quickly when the model changes Correct answer.
  3. It eliminates the need to define any test selection criteria
  4. It guarantees that all generated tests will pass on the first run

Explanation

Automated generation allows many test cases to be produced consistently and regenerated when the model evolves. Selection criteria are still needed to control generation, passing is not guaranteed, and oracles remain necessary.

Question 11Model-Based Testing fundamentals and the role of models in the test process

A model is described as formal. What does this imply for MBT?

  1. Its syntax and semantics are precisely defined, enabling unambiguous interpretation and tool processing Correct answer.
  2. It is written only in natural language with detailed prose descriptions
  3. It contains no abstraction and mirrors the source code line by line
  4. It is validated only by management review, never by tools

Explanation

A formal model has precisely defined syntax and semantics, which allows unambiguous interpretation and automated processing. Natural-language prose is informal, and formality does not require mirroring the code. Tool support is a typical consequence, not something excluded.

Question 12Model-Based Testing fundamentals and the role of models in the test process

Which activity most directly ensures that a model reflects the intended system behavior before tests are generated from it?

  1. Executing the generated test cases against the system under test
  2. Estimating the effort needed to run the generated tests
  3. Archiving the model in a version control repository
  4. Reviewing and validating the model against its sources, such as requirements and domain knowledge Correct answer.

Explanation

Model validation checks the model against requirements and domain knowledge so that generation starts from a trustworthy artifact. Execution tests the system, not the model's fidelity. Archiving and effort estimation do not assess correctness of the model.

Question 13Model-Based Testing fundamentals and the role of models in the test process

In MBT terminology, what is a test suite generated from a model typically composed of?

  1. A single test case covering every possible model path
  2. A collection of source code modules of the system under test
  3. A list of defects discovered during modeling
  4. A set of test cases, each with inputs and expected results derived according to selection criteria Correct answer.

Explanation

A generated suite consists of multiple test cases, each with inputs and expected outcomes, chosen according to the applied criteria. Exhaustive coverage of all paths is usually infeasible, and defects or source modules are not suite components.

Question 14Model-Based Testing fundamentals and the role of models in the test process

Which situation most strongly motivates adopting model-based testing?

  1. The team has no access to anyone who understands the required behavior
  2. Testing must avoid any formal notation for policy reasons
  3. Behavior is complex with many state-dependent paths, and tests must be regenerated frequently as the design evolves Correct answer.
  4. The system is a single static web page whose content never changes

Explanation

MBT pays off where behavior is complex and state-dependent and where tests must be regenerated as the model changes. A static page offers little to model, and lacking domain knowledge or forbidding formal notation undermines the approach.

Question 15Model-Based Testing fundamentals and the role of models in the test process

What does a coverage criterion such as all-transitions specify in model-based testing?

  1. The programming language in which the system under test must be written
  2. The hardware configuration required to execute the tests
  3. The maximum number of defects that may remain after testing
  4. The model elements that generated tests must exercise, guiding selection and providing a stopping rule Correct answer.

Explanation

Coverage criteria define which model elements, such as transitions, must be exercised by the generated tests. They guide selection and indicate when generation is sufficient. They say nothing about implementation language, residual defects, or hardware.

Question 16Model-Based Testing fundamentals and the role of models in the test process

A generated test case reaches a state where the model specifies no valid continuation for the chosen input. What does this most likely indicate?

  1. A modeling gap or an infeasible path that should be analyzed before the test is used Correct answer.
  2. A proof that the coverage criterion was applied incorrectly
  3. A sign that the test oracle must be disabled for that case
  4. A guaranteed defect in the system under test that must be logged immediately

Explanation

When generation cannot continue, the likely cause is an incomplete model or an infeasible path, which should be investigated. The model, not the system, is being exercised at that point, so it does not by itself prove a system defect. The oracle remains relevant.

Question 17Model-Based Testing fundamentals and the role of models in the test process

How does MBT typically change the effort distribution across the test process?

  1. More effort shifts toward modeling and model validation, while test generation and maintenance become more automated Correct answer.
  2. All effort shifts to test execution, while design effort disappears
  3. Effort is distributed identically to manual scripted testing
  4. Modeling effort is removed entirely by using a test execution tool

Explanation

MBT front-loads effort into building and validating the model, then leverages automation for generation and maintenance. Design effort does not disappear, the distribution differs from scripted testing, and execution tools do not eliminate modeling.

Question 18Model-Based Testing fundamentals and the role of models in the test process

Which statement about the relationship between a model and the system under test is correct?

  1. The model is an abstraction whose fidelity must be assessed, since tests judge the system through the model's assumptions Correct answer.
  2. The model is only valid if it is larger than the system's source code
  3. The model automatically stays synchronized with the system without maintenance
  4. The model and the system must be identical for tests to be meaningful

Explanation

Because the model is an abstraction, its fidelity to the system must be assessed; incorrect assumptions can produce misleading tests. Identity is neither required nor achievable, synchronization requires deliberate maintenance, and size is irrelevant.

Question 19Model-Based Testing fundamentals and the role of models in the test process

A team wants tests that specifically target invalid transitions in a state-based model. Which MBT feature supports this most directly?

  1. Selection criteria that include negative or invalid transition coverage in addition to valid behavior Correct answer.
  2. A larger test execution environment with more parallel nodes
  3. A shorter release schedule with fewer review meetings
  4. A manual checklist that ignores the model

Explanation

Criteria can be defined to cover invalid transitions as well as valid ones, letting generation target negative behavior. Environment size and schedule changes do not direct generation, and ignoring the model abandons MBT.

Question 20Model-Based Testing fundamentals and the role of models in the test process

Which artifact is produced during MBT but is generally absent from purely manual scripted testing?

  1. A test plan describing scope and objectives
  2. An explicit model that serves as the single source from which test cases are derived Correct answer.
  3. A defect report describing an observed failure
  4. A test summary report for stakeholders

Explanation

The explicit model as the derivation source is the distinguishing artifact of MBT. Test plans, defect reports, and summary reports exist in scripted testing as well.

Question 21Model-Based Testing fundamentals and the role of models in the test process

What does the term test selection criterion mean in the context of model-based test generation?

  1. A rule for choosing the programming language of the test harness
  2. A rule that determines which test cases to derive from the model and when to stop Correct answer.
  3. A rule for selecting which defects to fix first
  4. A rule for selecting which tester will execute each test case

Explanation

A test selection criterion decides which tests are generated from the model and provides a stopping condition. It does not assign testers, choose harness languages, or prioritize defect fixes.

Question 22Model-Based Testing fundamentals and the role of models in the test process

Which benefit results from keeping the model at the right level of abstraction?

  1. The model becomes impossible to review because it hides all behavior
  2. Generated tests stay understandable and the model remains maintainable as the system evolves Correct answer.
  3. Every possible input value is enumerated exhaustively
  4. Test generation becomes unnecessary because the model is the system

Explanation

Appropriate abstraction keeps generated tests comprehensible and the model maintainable. Excessive abstraction can hide relevant behavior, the model never replaces the system, and abstraction generally avoids rather than forces exhaustive enumeration.

Question 23Model-Based Testing fundamentals and the role of models in the test process

During MBT, a defect is found in the model itself. What is the appropriate response?

  1. Log it as a system defect and release the product
  2. Ignore it because models are never expected to be perfect
  3. Correct the model, then regenerate the affected test cases Correct answer.
  4. Delete the coverage criterion that exposed it

Explanation

A model defect should be fixed in the model, and tests derived from the affected parts should be regenerated. It is not a system defect, should not be ignored, and removing the criterion would hide rather than resolve the issue.

Question 24Model-Based Testing fundamentals and the role of models in the test process

Which statement best captures how MBT relates to test automation?

  1. MBT automates test design and generation, while execution may be automated separately or performed manually Correct answer.
  2. MBT requires that every generated test be executed manually
  3. MBT is a synonym for record-and-playback execution automation
  4. MBT forbids the use of any automation tool

Explanation

MBT primarily concerns automated design and generation from models; execution automation is a separate concern that may or may not be applied. It is not equivalent to record-and-playback and does not forbid tools.

Question 25Model-Based Testing fundamentals and the role of models in the test process

Which question is most relevant when deciding whether to model a feature for testing?

  1. Is the feature's user interface colorful enough to attract stakeholders?
  2. Does the feature have behavior complex enough that a model would yield systematic, maintainable test selection? Correct answer.
  3. Has the feature already been assigned to a specific developer?
  4. Is the feature documented in a language other than English?

Explanation

The decision hinges on whether modeling yields systematic and maintainable test selection for sufficiently complex behavior. Visual appeal, developer assignment, and documentation language are irrelevant to the modeling decision.

Question 26Model-Based Testing fundamentals and the role of models in the test process

In model-based testing, what is the primary purpose of the model itself?

  1. To replace the test oracle with a copy of the production source code
  2. To describe selected aspects of the system's expected behavior in a form test generation can use Correct answer.
  3. To record the exact execution log of the last test run for auditing
  4. To store the defect history of previous releases for trend analysis

Explanation

An MBT model captures chosen behavioral or structural aspects of the system under test so that test cases can be derived from it systematically. It is not a log, not a source-code substitute, and not a defect database; it is the basis for generation and for the oracle in many approaches.

Question 27Model-Based Testing fundamentals and the role of models in the test process

Which item is a model in the MBT sense rather than a test case?

  1. A finite state machine describing which login events are permitted in each session state Correct answer.
  2. A scripted sequence of clicks and assertions executed by a test runner
  3. A bug report describing a crash observed during exploratory testing
  4. A requirements review checklist signed by the product owner

Explanation

A state machine that abstracts permitted behavior is a model from which many test cases can be generated. Scripted click sequences are concrete test cases, bug reports are observations, and checklists are review aids, none of which define system behavior for generation.

Question 28Model-Based Testing fundamentals and the role of models in the test process

Where does model construction typically sit in the MBT process relative to test generation?

  1. After generation, because the model is only built to document the generated tests
  2. After test closure, because the model summarizes the final coverage achieved
  3. In parallel with test execution, because the model is validated only by running tests
  4. Before generation, because generated tests are derived from the model's elements Correct answer.

Explanation

In MBT the model is created or updated first, and test selection criteria are then applied to it to produce abstract or concrete test cases. Documentation, validation, and coverage reporting are separate concerns that do not reverse this ordering.

Question 29Model-Based Testing fundamentals and the role of models in the test process

A team must keep a model, its generated test cases, and the requirements they address linked. Which MBT practice supports this most directly?

  1. Compressing the model by removing state names and transition labels
  2. Maintaining explicit traceability links from model elements to generated tests and requirements Correct answer.
  3. Executing generated tests only on the developer's local machine
  4. Increasing the number of random test cases generated per model version

Explanation

Traceability links let the team see which requirement each model element and generated test addresses, which supports impact analysis and coverage reporting. Random volume, model compression, and local-only execution do not create these links.

Question 30Model-Based Testing fundamentals and the role of models in the test process

Which term describes the rule that decides which test cases are extracted from an MBT model?

  1. Test harness
  2. Test policy
  3. Test selection criterion Correct answer.
  4. Test oracle

Explanation

A test selection criterion, often expressed as a coverage notion such as state or transition coverage, determines which behaviors of the model are turned into test cases. Oracles judge outcomes, harnesses execute tests, and policies set organizational testing direction.

Question 31Model-Based Testing fundamentals and the role of models in the test process

Which statement correctly distinguishes test generation from test execution in MBT?

  1. Generation runs the system under test, while execution builds the model
  2. Generation and execution are the same activity performed by the model compiler
  3. Generation derives test cases from the model, while execution runs those cases against the system under test Correct answer.
  4. Generation validates requirements, while execution writes the model

Explanation

Generation is the derivation of test cases, often automated, from the model according to a selection criterion. Execution applies the resulting cases to the system under test and compares actual with expected results.

Question 32Model-Based Testing fundamentals and the role of models in the test process

What is an abstract test case in MBT?

  1. A test case that has been executed but not yet logged
  2. A test case expressed in terms of model elements, before concrete data and interface details are added Correct answer.
  3. A test case whose steps are hidden from the test analyst
  4. A test case written without any expected result

Explanation

Abstract test cases reference model elements such as states and transitions and are later refined into concrete test cases with actual input values and interface calls. They do have expected results, and abstraction is about level of detail, not concealment or missing oracles.

Question 33Model-Based Testing fundamentals and the role of models in the test process

Which characteristic makes a model suitable as a basis for automated test generation?

  1. It has a well-defined syntax and semantics that a generator can interpret Correct answer.
  2. It is stored in a word processor document with free-form prose
  3. It is updated only after the product is retired
  4. It contains only screenshots of the user interface

Explanation

Automated generation requires the model to be machine-interpretable, meaning defined syntax and semantics so algorithms can traverse it. Prose, screenshots, and post-retirement updates cannot serve that purpose.

Question 34Model-Based Testing fundamentals and the role of models in the test process

A team models an online booking service. Which element of that model corresponds most directly to a test case step?

  1. The diagram legend explaining symbol colors
  2. The document header naming the model author
  3. The version number of the modeling tool
  4. A transition with its triggering input and expected output Correct answer.

Explanation

In behavioral models such as state machines, a transition with its trigger and expected effect maps naturally onto a step in a generated test case. Legends, headers, and tool versions are metadata and carry no behavior.

Question 35Model-Based Testing fundamentals and the role of models in the test process

Why can a single MBT model yield a very large number of test cases?

  1. Selection criteria can be combined with data and path choices that multiply the behavioral combinations Correct answer.
  2. Each model element is required by standard to produce exactly one test case
  3. Models are always larger than the systems they describe
  4. Generators duplicate every test case once per developer on the team

Explanation

The number of derivable tests grows with behavioral paths, transition combinations, and input data domains, and different criteria emphasize different subsets. There is no one-test-per-element rule, duplication by team size is not a principle, and models are typically smaller than the systems they abstract.

Question 36Model-Based Testing fundamentals and the role of models in the test process

An MBT model of a vending machine omits the coin-return mechanics because the team decided that behavior is out of scope. What is the most accurate assessment?

  1. The model is invalid because every MBT model must describe the entire system
  2. The omission is irrelevant because generation ignores scope decisions
  3. The omission guarantees the generated tests will detect coin-return defects
  4. The choice is acceptable if the omission is documented, since tests can only cover modeled behavior Correct answer.

Explanation

MBT models are deliberately partial, and unmodeled behavior simply cannot be targeted by generated tests. Documenting the scope boundary keeps the limitation visible, whereas no rule requires a complete system model and unmodeled areas cannot be covered.

Question 37Model-Based Testing fundamentals and the role of models in the test process

Which activity belongs to model validation rather than model-based test generation?

  1. Reviewing the model with a domain expert to confirm it matches intended behavior Correct answer.
  2. Producing abstract test cases from the model
  3. Applying a transition coverage criterion to enumerate paths
  4. Translating abstract test cases into concrete scripts

Explanation

Validation asks whether the model faithfully represents the intended behavior, typically through reviews, inspections, or simulation with domain experts. Coverage enumeration, abstraction, and concretization are generation and refinement activities that presuppose a model already accepted as valid.

Question 38Model-Based Testing fundamentals and the role of models in the test process

A tester writes a test case directly from a requirements document without creating any model, then claims the work is model-based. Which response is most accurate?

  1. The work is MBT only if the test case is automated
  2. The work is not MBT because no model was used to derive the test cases Correct answer.
  3. The work is MBT because requirements documents are always models
  4. The work is MBT only if a coverage tool was installed

Explanation

MBT requires that test cases be derived from an explicit model of the system's behavior or structure. A requirements document read by a human is not such a model, and automation or tool installation alone does not make the process model-based.

Question 39Model-Based Testing fundamentals and the role of models in the test process

How does an MBT model most directly support regression testing after a change?

  1. It removes the need to execute any tests after a change
  2. Updating the affected model elements allows regeneration of tests that reflect the new behavior Correct answer.
  3. It guarantees that unchanged behavior cannot regress
  4. It permanently freezes the test suite so no test ever changes

Explanation

Because tests are derived from the model, a behavioral change is reflected by editing the relevant model elements and regenerating or reselecting tests. The model does not freeze the suite, eliminate execution, or make regressions impossible.

Question 40Model-Based Testing fundamentals and the role of models in the test process

Which item is an MBT test oracle source that a purely manual scripted approach typically lacks?

  1. A calendar of release milestones
  2. Expected results computed from the model's specified outputs for generated inputs Correct answer.
  3. A list of open defects in the tracker
  4. A spreadsheet listing the names of testers on the project

Explanation

In MBT the model itself can supply expected outputs for generated inputs, giving an oracle that scales with generation. Tester rosters, schedules, and defect lists are project management artifacts unrelated to expected results.

Question 41Model-Based Testing fundamentals and the role of models in the test process

A generated test suite achieves all-transitions coverage of the model, yet a real defect remains undetected. Which explanation is most plausible?

  1. The defect lies in behavior the model does not represent, so no generated test targets it Correct answer.
  2. The defect must be in the generation tool rather than the system
  3. Generated tests never include expected results
  4. Transition coverage is impossible to achieve in practice

Explanation

Coverage is measured against the model, so anything the model omits is invisible to generated tests regardless of achieved coverage. Transition coverage is achievable, generated tests do carry expected results, and blaming the tool is unwarranted without evidence.

Question 42Model-Based Testing fundamentals and the role of models in the test process

Which factor most strongly favors creating a model for a feature before testing it?

  1. The feature has complex state-dependent behavior that must be exercised in many combinations Correct answer.
  2. The feature has no observable inputs or outputs
  3. The feature will be deleted before the next release
  4. The feature is a single static text label on one page

Explanation

Modeling pays off when behavior is complex, state-dependent, and combinatorial, because generation can systematically explore combinations that manual scripting would miss. Trivial static content, imminent removal, and absent observability reduce or eliminate the return.

Question 43Model-Based Testing fundamentals and the role of models in the test process

What does it mean when an MBT model is described as deterministic?

  1. The model can be generated only during daytime working hours
  2. For a given state and input, the model specifies exactly one resulting state and output Correct answer.
  3. The model is written in a single natural language
  4. The model contains no states at all

Explanation

Determinism means the model's next state and output are uniquely defined for each state and input, which simplifies generation and oracle computation. Scheduling, absence of states, and language choice are unrelated to this property.

Question 44Model-Based Testing fundamentals and the role of models in the test process

In a state-based MBT model, what does a guard condition on a transition represent?

  1. A predicate over inputs or variables that must hold for the transition to be taken Correct answer.
  2. The identifier of the tester who authored the transition
  3. The timestamp when the transition was last executed
  4. The maximum number of test cases the transition may generate

Explanation

A guard is a logical condition that gates a transition, enabling precise modeling of input- and variable-dependent behavior. It is not a generation limit, an author tag, or an execution timestamp.

Question 45Model-Based Testing fundamentals and the role of models in the test process

A team wants to reduce maintenance effort when the system's behavior changes frequently. How does MBT most help?

  1. Behavior changes automatically fix themselves in the system
  2. Generated tests never need to be rerun after a change
  3. Tests are regenerated from updated model elements instead of being edited one script at a time Correct answer.
  4. The model eliminates the need to track requirements

Explanation

When tests are derived rather than hand-maintained, a behavioral change is applied once in the model and the affected tests are regenerated, which reduces per-script editing. Reruns remain necessary, requirements still need tracking, and systems do not self-correct.

Question 46Model-Based Testing fundamentals and the role of models in the test process

Which statement best characterizes the relationship between MBT and the V-model of testing levels?

  1. MBT applies only at unit level because models are always code-based
  2. Models can describe behavior at unit, integration, or system level, so MBT is not tied to one level Correct answer.
  3. MBT replaces the V-model by removing the need for test levels
  4. MBT applies only at acceptance level because models are always business processes

Explanation

MBT is a technique, not a level: models may capture unit-level state, integration protocols, or system-level workflows depending on the objective. It is therefore orthogonal to the V-model rather than confined to one level or a replacement for test levels.

Question 47Model-Based Testing fundamentals and the role of models in the test process

A model contains a state that no transition can ever reach from the initial state. What is the most useful consequence for MBT?

  1. The state will be covered automatically by any selection criterion
  2. The state indicates that the oracle is missing
  3. The state proves the model is nondeterministic
  4. The unreachable state signals a possible modeling error and cannot be covered by generated tests Correct answer.

Explanation

Unreachable elements often reveal mistakes in the model and, by definition, cannot be exercised by tests generated from the initial state. No criterion covers them automatically, and unreachability is unrelated to determinism or oracle presence.

Question 48Model-Based Testing fundamentals and the role of models in the test process

Two teams model the same protocol. Team A's model includes message timing constraints; Team B's omits them. Which conclusion is most defensible?

  1. The models support different test objectives, and only Team A's can generate timing-related tests Correct answer.
  2. Team A's model cannot be used for generation because it has constraints
  3. Team B's model is wrong because all models must include timing
  4. The models are identical because timing is never testable

Explanation

Model content determines what generated tests can target, so timing constraints enable timing tests that Team B's model cannot produce. Omission is a scope choice rather than an error, timing is testable, and constraints do not block generation.

Question 49Model-Based Testing fundamentals and the role of models in the test process

A team automates test generation from a model but executes the resulting tests manually. How should this be classified?

  1. It is not model-based testing, because execution is not automated
  2. It is exploratory testing, because humans execute the tests
  3. It is not model-based testing, because no oracle can exist without automation
  4. It is model-based testing, because tests are derived from a model even though execution is manual Correct answer.

Explanation

MBT is defined by deriving tests from a model, not by automating execution; manual execution of generated tests is still MBT. Oracles can be derived from the model regardless of execution mode, and scripted execution of generated cases is not exploratory testing.

Question 50Model-Based Testing fundamentals and the role of models in the test process

A model's transition labels use ambiguous natural-language phrases such as 'process the request'. Which risk does this create for MBT?

  1. The generator will refuse to run because labels are too short
  2. Coverage criteria will automatically disambiguate the phrases
  3. Concretization may map the same label to different actions, producing tests that do not match intent Correct answer.
  4. The model becomes deterministic and therefore easier to validate

Explanation

Ambiguous labels leave the mapping from model steps to concrete interface actions underspecified, so different engineers may concretize them differently. Generators do not resolve meaning, coverage criteria count structure rather than semantics, and ambiguity undermines rather than creates determinism.