以下说法正确的是

A.我国最早的一部诗歌总集是《尔雅》

B.古代“五礼”指的是吉、凶、军、宾、嘉五礼

C.佛教是世界三大宗教之一，大约在公元前6世纪传入到我国

D.中国古典小说的代表四大名著都是在清代诞生的

软件评估可分为静态评估和动态评估，其中属于动态评估技术的是( )

A．评审

B．走查

C．形式化证明

D．软件测试