这个暑假就提前开始了研究生的学习。
老板是做软件体系结构级的软件测试技术的。
这个暑假我粗略了解了:
软件体系结构描述语言,构件,连接件。
形式化方法,
模型检测
协议(连接件)设计与验证
程序切片技术
测试集自动生成,测试集约简
Z语言
时间自动机
时间输入输出自动机
混成自动机
实时系统的验证和测试
分布式系统描述
太多太杂,有点把我不住。
论文有好几百篇,很痛苦,但是很快乐。
我终于做了自己喜欢的研究领域。
虽然不是在南大。
呵呵,从5月份到现在,好累,好累。
老板是做软件体系结构级的软件测试技术的。
这个暑假我粗略了解了:
软件体系结构描述语言,构件,连接件。
形式化方法,
模型检测
协议(连接件)设计与验证
程序切片技术
测试集自动生成,测试集约简
Z语言
时间自动机
时间输入输出自动机
混成自动机
实时系统的验证和测试
分布式系统描述
太多太杂,有点把我不住。
论文有好几百篇,很痛苦,但是很快乐。
我终于做了自己喜欢的研究领域。
虽然不是在南大。
呵呵,从5月份到现在,好累,好累。