Quality Characteristics for MBT Models CT-MBT Practice Questions (Page 4)

Questions 16–20

1. 16foundation · easy

   Which technique is commonly used to assess the completeness of an MBT model?

   • AMeasuring the time required to generate test cases from the model
   • BReviewing the model against the requirements or specification to identify missing behaviors
   • CChecking that all model elements are reachable from the initial state
   • DRunning static analysis tools to detect contradictions between model elements
   Reveal Solution Discussion Select an answer first
2. 17application · medium

   A team has created a state machine model for an e-commerce checkout process. They want to assess whether the model is complete with respect to the requirements. Which technique is most appropriate for this assessment?

   • ACompare the model's states and transitions against the requirements document to identify any missing elements.
   • BRun a coverage analysis tool to measure how many of the model's transitions are exercised by existing tests.
   • CCheck the model for syntactic correctness using a model parser.
   • DExecute the model against a set of sample inputs to see if it produces the expected outputs.
   Reveal Solution Discussion Select an answer first
4. 18expert · hard

   A team is developing a model for a system that must comply with strict regulatory requirements. The model is complete and consistent, but a regulatory auditor notes that the model does not explicitly represent a mandatory 'audit log' action that must occur after every transaction. The team must decide how to proceed. What is the most appropriate action?

   • AArgue that the 'audit log' action is implied by the system's logging framework.
   • BDefer the change until after the next release to avoid delaying the project.
   • CDocument the 'audit log' requirement in a separate compliance note without changing the model.
   • DAdd the 'audit log' action to the model as a mandatory action on every transaction transition, then re-assess the model.
   Reveal Solution Discussion Select an answer first
5. 19expert · hard

   A model-based testing team is developing a state machine for a safety-critical system. The model is complete and consistent, but during review, a safety engineer points out that the model does not explicitly represent a 'fail-safe' state that the system must enter on any error. The team must decide how to proceed. What is the most appropriate action?

   • AArgue that the 'fail-safe' state is implicit in the error transitions already present.
   • BDocument the 'fail-safe' behavior in a separate note without changing the model.
   • CDefer the change until after the first round of test generation to save time.
   • DAdd the 'fail-safe' state and transitions from all error conditions to it, then re-assess the model's completeness.
   Reveal Solution Discussion Select an answer first
6. 20expert · hard

   A team has a state machine model that passes all static checks and is consistent with the requirements. However, when they generate tests using a coverage criterion, they notice that some transitions are never exercised because the model contains a loop that can only be exited under a condition that is never true in practice. The team has limited time and must decide whether to fix the model or accept the gap. What is the most appropriate decision?

   • AAdd a new transition from the loop back to the initial state to make the model simpler.
   • BChange the coverage criterion to a weaker one so the transition is not required.
   • CFix the model by correcting the loop-exit condition so the transition is reachable, then re-assess the model.
   • DAccept the gap because the model passes all static checks and the condition is unlikely to occur in production.
   Reveal Solution Discussion Select an answer first