フリー問題

問題文

In a state transition model of a beverage dispenser, a dashed line links requirement Req 1 to the state Tea selected, and another dashed line links Req 2 to the transition into Ready to dispense. What does that notation state about coverage?

選択肢

1. A test that reaches the linked branch covers the first requirement, and a test that fires the linked effect covers the second requirement.
2. A test that reaches the linked subdiagram covers the first requirement, and a test that fires the linked trigger covers the second requirement.
3. A test that reaches the linked action covers the first requirement, and a test that fires the linked guard covers the second requirement.
4. A test that reaches the linked state covers the first requirement, and a test that fires the linked transition covers the second requirement.