单项选择题

A.逆向转换型技法
B.希望点列举法
C.特性列举法
D.形式分析法