赞题库-背景图
多项选择题

​下列属于现有的检测并发bug的方法的有     ‎

A.使用大量的随机的测试用例
B.用插桩的方法观察程序的执行状态
C.用插桩或者系统本身的API控制系统的交织
D.静态的分析程序的逻辑