›› 2015,Vol. 30 ›› Issue (5): 935-941.doi: 10.1007/s11390-015-1572-8

所属专题: Software Systems

• Special Section on Selected Paper from NPC 2011 • 上一篇    下一篇

圆桌讨论:新兴软件系统的研究机遇与挑战

Xiangyu Zhang1(张翔宇), Dongmei Zhang2(张冬梅), Yves Le Traon3, Qing Wang4(王青), Lu Zhang5(张路)   

  1. 1 Department of Computer Science, Purdue University, West Lafayette, IN 47907, U.S.A.;
    2 Microsoft Research, Beijing 100080, China;
    3 Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg;
    4 Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
    5 School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
  • 收稿日期:2015-08-09 修回日期:2015-08-10 出版日期:2015-09-05 发布日期:2015-09-05
  • 作者简介:Xiangyu Zhang is an associate professor at Purdue University, West Lafayette. He received his Ph.D. degree in computer science from the University of Arizona, Tucson, in 2006, and his M.S. and B.S. degrees in computer science from University of Science and Technology of China, Hefei.

Roundtable: Research Opportunities and Challenges for Emerging Software Systems

Xiangyu Zhang1(张翔宇), Dongmei Zhang2(张冬梅), Yves Le Traon3, Qing Wang4(王青), Lu Zhang5(张路)   

  1. 1 Department of Computer Science, Purdue University, West Lafayette, IN 47907, U.S.A.;
    2 Microsoft Research, Beijing 100080, China;
    3 Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg;
    4 Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
    5 School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
  • Received:2015-08-09 Revised:2015-08-10 Online:2015-09-05 Published:2015-09-05
  • About author:Xiangyu Zhang is an associate professor at Purdue University, West Lafayette. He received his Ph.D. degree in computer science from the University of Arizona, Tucson, in 2006, and his M.S. and B.S. degrees in computer science from University of Science and Technology of China, Hefei.

针对软件系统这一专刊, 从事软件系统研究的几位带头人作为此专刊的特邀编辑, 讨论了一些相关的重要问题并指出了这一领域未来的发展方向。此圆桌文章覆盖了新兴软件系统的研究机遇与挑战:数据加工程序(Xiangyu Zhang)和在线服务(Dongmei Zhang), 技术发展新方向:软件测试的统一(Yves Le Traon), 数据驱动与基于证据的软件工程(Qing Wang)和多踪迹动态分析(Lu Zhang)。——Tao Xie, 软件系统专刊领袖编委。

Abstract: For this special section on software systems, several research leaders in software systems, as guest editors for this special section, discuss important issues that will shape this field's future directions. The essays included in this roundtable article cover research opportunities and challenges for emerging software systems such as data processing programs (Xiangyu Zhang) and online services (Dongmei Zhang), with new directions of technologies such as unifications in software testing (Yves Le Traon), data-driven and evidence-based software engineering (Qing Wang), and dynamic analysis of multiple traces (Lu Zhang).——Tao Xie, Leading Editor of Special Section on Software System.

[1] Zhang D, Dang Y, Lou J G, Han S, Zhang H, Xie T. Software analytics as a learning case in practice:Approaches and experiences. In Proc. International Workshop on Machine Learning Technologies in Software Engineering (MALETS 2011), Nov. 2011, pp.55-58.

[2] Zhang D, Han S, Dang Y, Lou J, Zhang H, Xie T. Software analytics in practice. IEEE Software, 2013, 30(5):30-37.

[3] Fu Q, Lou J G, Wang Y, Li J. Execution anomaly detection in distributed systems through unstructured log analysis. In Proc. the 9th IEEE International Conference on Data Mining (ICDM 2009), Dec. 2009, pp.149-158.

[4] Lou J G, Lin Q, Ding R, Fu Q, Zhang D, Xie T. Software analytics for incident management of online services:An experience report. In Proc. the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Experience Papers, Nov. 2013, pp.475-485.

[5] Ding R, Fu Q, Lou J, Lin Q, Zhang D, Xie T. Mining historical issue repositories to heal large-scale online service systems. In Proc. the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), June 2014, pp.311-322.

[6] Fu Q, Zhu J, Hu W, Lou J, Ding R, Lin Q, Zhang D, Xie T. Where do developers log? An empirical study on logging practices in industry. In Companion Proc. the 36th International Conference on Software Engineering (ICSE 2014), May 31-June 7, 2014, pp.24-33.

[7] Shang W, Jiang Z M, Hemmati H, Adams B, Hassan A E, Marin P. Assisting developers of big data analytics applications when deploying on Hadoop clouds. In Proc. the 35th International Conference on Software Engineering, May 2013, pp.402-411.

[8] Malik H, Hemmati H, Hassan A E. Automatic detection of performance deviations in the load testing of Large Scale Systems. In Proc. the 35th International Conference on Software Engineering, May 2013, pp.1012-1021.

[9] Yang J, Evans D, Bhardwaj D, Bhat T, Das M. Perracotta:Mining temporal API rules from imperfect traces. In Proc. International Conference on Software Engineering, May 2006, pp.282-291.

[10] Godefroid P, Klarlund N, Sen K. DART:Directed automated random testing. In Proc. International Conference on Programming Language Design and Implementation, June 2005, pp.213-223.

[11] Zhang J, Chen J, Hao D, Xiong Y, Xie B, Zhang L, Mei H. Search-based inference of polynomial metamorphic relations. In Proc. International Conference on Automated Software Engineering, Sept. 2014, pp.701-712.

[12] Zou D, Wang R, Xiong Y, Zhang L, Su Z, Mei H. A genetic algorithm for detecting significant floating-point inaccuracies. In Proc. International Conference on Software Engineering, May 2015, pp.529-539.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 刘明业; 洪恩宇;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] 陈世华;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] 高庆狮; 张祥; 杨树范; 陈树清;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] 陈肇雄; 高庆狮;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] 黄河燕;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] 闵应骅; 韩智德;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] 吴允曾;. On the Development of Applications of Logic in Programming[J]. , 1987, 2(1): 30 -34 .
[8] 唐同诰; 招兆铿;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[9] 闵应骅;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[10] 朱鸿;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
总访问量: