多项选择题

A.基于信息流图的单元串搜索法
B.基于相邻矩阵的回路搜索法
C.Steward 回路搜索法
D.过程矩阵搜索法