有图不等于用例

需求规格里出现用例图，不代表真正应用了用例技术。用例的关键是把外部参与者如何通过系统达成目标说清楚，图只是入口；如果没有事件流、例外路径和边界条件，设计仍缺少可靠依据。发散：形式化产物不能替代行为理解。