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

Questions 6–10

1. 6application · medium

   An assessment of a state machine model shows that it is correct and complete, but the model is very large and difficult to navigate. The team wants to improve its maintainability without changing its behavior. Which improvement is most appropriate?

   • ARemove all guard conditions to simplify the transitions.
   • BRename all states to shorter abbreviations to reduce text length.
   • CSplit the model into multiple disconnected state machines.
   • DRefactor the model by introducing hierarchical sub-states to group related behaviors.
   Reveal Solution Discussion Select an answer first
2. 7application · medium

   A team has created a large activity diagram model for a claims processing system. They want to assess whether the model is easy to understand and modify by new team members. Which quality characteristic are they assessing, and which technique is most appropriate?

   • AMaintainability — conduct a structured walkthrough with team members to gather feedback on clarity and ease of modification.
   • BConsistency — verify that all activity names match the naming convention.
   • CCompleteness — use a coverage tool to check that all activities are reachable.
   • DCorrectness — compare the model against the system's source code.
   Reveal Solution Discussion Select an answer first
4. 8application · medium

   A model contains two separate state machines that describe the same order-processing workflow. One was created by a domain expert and the other by a developer. The two models use different names for the same states and transitions. The team plans to use both models for test generation. Which quality characteristic is most at risk, and what is the best action?

   • AConsistency — consolidate the two models into a single agreed-upon model with a common terminology.
   • BMaintainability — keep both models but document the mapping between their terms.
   • CCorrectness — pick the developer's model because it is more technically precise.
   • DCompleteness — merge both models to ensure all states from both are present.
   Reveal Solution Discussion Select an answer first
5. 9application · medium

   A review of a state machine model reveals that a transition guard references a variable that is not defined anywhere in the model. The team wants to improve the model's quality. What is the most appropriate improvement action?

   • ADefine the missing variable or correct the guard to reference a valid variable, then re-verify the model.
   • BRemove the transition entirely to avoid the undefined variable.
   • CIgnore the issue because it is only a warning and will not affect test generation.
   • DRename the variable to match a variable used elsewhere in the model.
   Reveal Solution Discussion Select an answer first
6. 10application · medium

   A test team has developed a UML state machine model for an embedded control system. Before investing in full test generation, they want a quick, low-cost way to identify obvious structural problems such as unreachable states, dead transitions, and conflicting guards. Which assessment approach is most suitable?

   • AGenerate all possible test cases and execute them against a simulation of the system.
   • BRun an automated static analysis tool that performs reachability and consistency checks on the model.
   • CManually trace every path through the model and compare it to the requirements document.
   • DConduct a formal inspection meeting with all stakeholders to review the model line by line.
   Reveal Solution Discussion Select an answer first