这个暑假
2004-09-26 17:14
323 查看
这个暑假就提前开始了研究生的学习。
老板是做软件体系结构级的软件测试技术的。
这个暑假我粗略了解了:
软件体系结构描述语言,构件,连接件。
形式化方法,
模型检测
协议(连接件)设计与验证
程序切片技术
测试集自动生成,测试集约简
Z语言
时间自动机
时间输入输出自动机
混成自动机
实时系统的验证和测试
分布式系统描述
太多太杂,有点把我不住。
论文有好几百篇,很痛苦,但是很快乐。
我终于做了自己喜欢的研究领域。
虽然不是在南大。
呵呵,从5月份到现在,好累,好累。
老板是做软件体系结构级的软件测试技术的。
这个暑假我粗略了解了:
软件体系结构描述语言,构件,连接件。
形式化方法,
模型检测
协议(连接件)设计与验证
程序切片技术
测试集自动生成,测试集约简
Z语言
时间自动机
时间输入输出自动机
混成自动机
实时系统的验证和测试
分布式系统描述
太多太杂,有点把我不住。
论文有好几百篇,很痛苦,但是很快乐。
我终于做了自己喜欢的研究领域。
虽然不是在南大。
呵呵,从5月份到现在,好累,好累。
相关文章推荐
- 2014,说说这个燥热的暑假
- 这个暑假很乱!
- 2014,说说这个燥热的暑假
- 这个暑假
- 这个暑假做什么好呢。。。
- 这个暑假
- 大一这个暑假|我卸掉了小红书
- ·暑假在上海可以做的事,很全的,个人喜欢哦···上海的,这个怎么能不转捏~~~哈哈~~
- 这个暑假
- 这个暑假又走了
- 这个暑假→小结
- 漫长暑假 有么有一起组团打怪的?这个大赛可以拿10万奖金呢
- 这个暑假结束了却再没有了开学
- 这个暑假没有广告,只有惊喜,3000元婚纱免费任你拍,名额有限!
- 这个暑假值了
- 这个暑假,混沌~
- 2017考研,加入金程让这个暑假改变你的一生
- 高三毕业撒花 这个暑假开始努力弄ACM~
- 【2012 、 这个暑假 , 我没有回婺源】
- 这个暑假学习C++要看的几本书