这个暑假

这个暑假就提前开始了研究生的学习。

老板是做软件体系结构级的软件测试技术的。

这个暑假我粗略了解了：

软件体系结构描述语言，构件，连接件。
形式化方法，
模型检测
协议（连接件）设计与验证
程序切片技术
测试集自动生成，测试集约简
Z语言
时间自动机
时间输入输出自动机
混成自动机
实时系统的验证和测试
分布式系统描述

太多太杂，有点把我不住。
论文有好几百篇，很痛苦，但是很快乐。
我终于做了自己喜欢的研究领域。
虽然不是在南大。

呵呵，从5月份到现在，好累，好累。