软件工程判断题较难

基于模型的测试 — 软件工程判断题

软件测试软件测试前沿与实践 AI 三重审校通过

题目

某基于模型的测试方案以带守卫条件的状态机生成用例。状态 A 有两条转移：当 a∧b 为真时转至 B，当 a∧b 为假时转至 C。若测试用例已分别执行这两条转移各一次，则必然达到守卫中每个原子条件的条件覆盖。判断该说法是否正确。