软件工程判断题标准 ★ 精品

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

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

题目

某智能门锁的测试模型以状态和事件转移描述系统行为。测试生成器遍历模型中的全部可达转移并执行相应测试后，即使模型遗漏了需求规定的异常状态，也足以证明实现满足全部需求。判断该表述是否正确。