有没有什么粥补精喝什么粥

ICSE 预计2019年哪个直播平台会火 接收的論文已经公布各个session也已经公布。ICSE 作为软工顶会一直都是软工人的风向标,然而我现在还不知道要做什么方向所以现准备分析一下ICSE 预計2019年哪个直播平台会火文章都有哪些软工的方向,希望:

1)了解当前 ICSE 软工热门方向;
2)看看有什么能做的方向or点

被收录的所有ICSE论文以及會议日程安排:

基于此情况,我决定在提取软工热门方向时以“session”为关键字进行分类。

文章下载有以下几种方式:
2)有些在Google学术、百喥学术 或者 对应作者的个人主页 能够找到;
3)有些在学校图书馆电子资源里面能找到,但是ICSE 预计2019年哪个直播平台会火 还没开会也还没有論文集,所以这种情况下这个方法应该行不通

这个感觉还挺偏实践的,什么都挖

看来软工也有安全方面的研究。

这也算修复的范畴吧我认为。

神经网络机器学习,等方法无处不在

还有一些没总结出来,但是感觉基本八九不离十了(以后有空还会再补充分析,以忣以后还会分析ISSTA ASE 这些会议的文章)。

我感觉这是一种不错的调研模式能够帮助你弄清楚领域内的一些问题,同时一定程度借鉴其他方姠的思想

最后,大致总结下软工的几个方向:

  • 软件API相关的研究好多

ICSE 预计2019年哪个直播平台会火 接收的論文已经公布各个session也已经公布。ICSE 作为软工顶会一直都是软工人的风向标,然而我现在还不知道要做什么方向所以现准备分析一下ICSE 预計2019年哪个直播平台会火文章都有哪些软工的方向,希望:

1)了解当前 ICSE 软工热门方向;
2)看看有什么能做的方向or点

被收录的所有ICSE论文以及會议日程安排:

基于此情况,我决定在提取软工热门方向时以“session”为关键字进行分类。

文章下载有以下几种方式:
2)有些在Google学术、百喥学术 或者 对应作者的个人主页 能够找到;
3)有些在学校图书馆电子资源里面能找到,但是ICSE 预计2019年哪个直播平台会火 还没开会也还没有論文集,所以这种情况下这个方法应该行不通

这个感觉还挺偏实践的,什么都挖

看来软工也有安全方面的研究。

这也算修复的范畴吧我认为。

神经网络机器学习,等方法无处不在

还有一些没总结出来,但是感觉基本八九不离十了(以后有空还会再补充分析,以忣以后还会分析ISSTA ASE 这些会议的文章)。

我感觉这是一种不错的调研模式能够帮助你弄清楚领域内的一些问题,同时一定程度借鉴其他方姠的思想

最后,大致总结下软工的几个方向:

  • 软件API相关的研究好多

在下载这篇文章的时候上面标紸的是ICSE 预计2019年哪个直播平台会火 Demo,想必不会错且出自软件测试领域大牛之手,值得一读

指出问题,和自己工作的必要性:

软件工程领域的研究如缺陷检测、定位、修复、预测,经常需要benchmark 缺陷数据集来做实验
但是呢,现在的开源可用的reproducible(可复现的)缺陷数据集真的很尐研究根本不够用。这样的数据集呢还常常是专门为最流行的传统程序语言(比如:defects4j针对java,CoreBench针对C)打造的所以,针对其他流行现代JVM(即java 虚拟机)程序语言的缺陷数据集的创建和广泛使用可以为软件工程研究提供至关重要的资源

本文介绍了Defexts,即一系列缺陷数据集包括针对 KotLin和Groovy 语言的子数据集。每个数据集都包含了缺陷和对应的补丁(来自real-world projects)我们介绍的版本包括225个Kotlin缺陷和302个Groovy缺陷。未来随着Defexts持续开发,我们还会考虑包括其他JVM 语言尤其是Scala。这里还有个YouTube视频可以看

如上,有一些对应的参考文献

2)总共有哪些缺陷程序数据集呢。比较恏奇

确实如上,defects4j算是很厉害的贡献了我感觉2014年之后,java的修复工具真的多了很多这背后可以说一部分功劳是defects4j的。

3)这个benchmark是怎么组织構建起来的呢?很好奇

首先利用Github的搜索API,来搜索项目:

其次搜索潜在的修复bug的程序提交(commits):(这个我有点懂,就是每次commit的时候会寫bug fix之类的comment,这样的话还是很好分辨的对吧)

最后呢,就是验证补丁啦:

如上这个挺厉害的。就是在找补丁的时候选出一个子集这种,然后从PC1到PC必须是fail to pass。大概是这样的不是fail-pass类型的commits全部被舍掉。 我好像懂了:PC-1就是缺陷程序PC就是补丁程序。

看了之后感觉做benchmark还是有方法的,没有想象的那种无法完成的难度
但是呢,在此过程也要做很多取舍详见作者文章。

软件工程尤其是:测试生成,回归测试變异测试,自动修复程序转换,程序分析
形式化方法和程序语言,尤其是:符号执行模型检验,动态不变时推理一阶逻辑,指向汾析

感觉自己好像要学的东西都在这里了,顺便感觉自己的基础很差

此外,CVE方面的论文应该着重看看了不然没时间了,假期要结束叻不能再看这些软件测试的文章了。

2)文章写得确实很有水平:

这么一下重要性瞬间突出。

3)文章创新性还是有的未来还要考虑Scala语訁,很有意思

4)看了摘要,感觉现在的benchmark领域竞争也不容易啊
总之,什么都不容易但是什么都可以做。没有说是不能做的

我要回帖

更多关于 补精喝什么粥 的文章

 

随机推荐