MSRA的SA组面试准备

 自己的研究方向：静态程序分析及缺陷检测

已经涉及的研究及技术：流、路径、上下文、域敏感分析，AI，SE，约束求解，测试用例生成及单元测试

 

国内现状：

软件所，上海交大，南大，北大，MSRA

 

国际现状：

MS的三个组（CSE,RiSE,SRR），斯坦福，威斯康星。。。

 

当前的研究热点：通过分析顶级会议的track及自己的认知总结

1、静动态结合的程序分析技术，代表人物是MS的Patrice Godefroid

2、复杂数据类型的建模及分析：指针指向分析，复杂类型的形态分析（不懂）

3、自动化测试用例生成：例如为指定路径生成测试用例

4、路径、上下文、域、对象敏感之类的分析

5、对字符串的分析

6、内存建模及内存操作的分析：

 

 

根据自己对静态分析的理解，总结以下新的发展方向：

1、云环境下的测试：有基本的了解

2、物联网测试：不太了解

3、并发系统的测试：如多线程，分布式系统

 

应用比较广泛的技术：

抽象解释AI，符号运算SE，约束求解CS，模型检测MC

 

应该了解的一些开源工具：

BLAST, SLAM,

 

做研究的方法：

1、初级阶段，找可行的研究点：从顶级论文中找研究点，看其研究点的背景、意义、方法及结论，重点看其意义，非万不得已不陷入细节，只看其创新来源及思路。

2、模仿阶段：将牛人的问题进行“实例化”，用自己手头的资源解决该类问题（或者采用不同技术，或者应用场景不同）

3、提升阶段：了解了行业大背景，时刻掌握最新的研究动态，自己注重思考及观察的同时保持与同行们的步伐一致，力争发现自己的个性化问题及场景，用已有的或模仿的方法解决它

4、下一阶段未知！