CSDN博客

img copper

这个暑假

发表于2004/9/26 17:14:00  334人阅读

分类: 研究生生活

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

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

这个暑假我粗略了解了:

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

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

呵呵,从5月份到现在,好累,好累。
阅读全文
0 0

相关文章推荐

img
取 消
img