多项选择题

A.涉众等于参与者
B.每个用例都应有前置条件和后置条件
C.在编写用例事件流时,应尽可能细化各种实现细节
D.前置条件必须在用例开始执行前就能检测到