首页 > 最新文献

Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops最新文献

英文 中文
Experiences Building an Answer Bot for Gitter 为Gitter构建回答机器人的经验
Ricardo Romero, Esteban Parra, S. Haiduc
Software developers use modern chat platforms to communicate about the status of a project and to coordinate development and release efforts, among other things. Developers also use chat platforms to ask technical questions to other developers. While some questions are project-specific and require an experienced developer familiar with the system to answer, many questions are rather general and may have been already answered by other developers on platforms such as the Q&A site StackOverflow. In this paper, we present GitterAns, a bot that can automatically detect when a developer asks a technical question in a chat and leverages the information present in Q&A forums to provide the developer with possible answers to their question. The results of a preliminary study indicate promising results, with GitterAns achieving an accuracy of 0.78 in identifying technical questions.
软件开发人员使用现代聊天平台来交流项目的状态,并协调开发和发布工作,以及其他事情。开发人员还使用聊天平台向其他开发人员询问技术问题。虽然有些问题是特定于项目的,需要一个熟悉系统的有经验的开发人员来回答,但许多问题是相当普遍的,可能已经由其他开发人员在问答网站StackOverflow等平台上回答过了。在本文中,我们介绍了GitterAns,这是一个机器人,它可以自动检测开发人员在聊天中提出的技术问题,并利用问答论坛中的信息为开发人员提供问题的可能答案。初步研究的结果表明,GitterAns在识别技术问题方面的准确率达到了0.78。
{"title":"Experiences Building an Answer Bot for Gitter","authors":"Ricardo Romero, Esteban Parra, S. Haiduc","doi":"10.1145/3387940.3391505","DOIUrl":"https://doi.org/10.1145/3387940.3391505","url":null,"abstract":"Software developers use modern chat platforms to communicate about the status of a project and to coordinate development and release efforts, among other things. Developers also use chat platforms to ask technical questions to other developers. While some questions are project-specific and require an experienced developer familiar with the system to answer, many questions are rather general and may have been already answered by other developers on platforms such as the Q&A site StackOverflow. In this paper, we present GitterAns, a bot that can automatically detect when a developer asks a technical question in a chat and leverages the information present in Q&A forums to provide the developer with possible answers to their question. The results of a preliminary study indicate promising results, with GitterAns achieving an accuracy of 0.78 in identifying technical questions.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129562710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Behavior-Driven Development: A case study on its impacts on agile development teams 行为驱动开发:关于其对敏捷开发团队影响的案例研究
Nicolas Nascimento, Alan R. Santos, Afonso Sales, R. Chanin
Software development practices which enhance software quality and help teams better develop collaboratively have received attention by the academic community. Among these techniques is Behavior-Driven Development (BDD), a development method which proposes software to be developed focusing primarily on its expected behavior. In this context, this paper investigates how BDD impacts agile software development teams. In order to achieve this, we have conducted a case study on a mobile application development environment which develops software using agile. In total, 42 interviews were performed. Our results indicate that BDD can have positive impacts, increasing collaboration among team members, and negative impacts, like difficulties in writing unit tests. We concluded that BDD has more positive than negative outcomes.
提高软件质量和帮助团队更好地协作开发的软件开发实践已经受到学术界的关注。在这些技术中,行为驱动开发(BDD)是一种开发方法,它建议将软件开发主要集中在其预期的行为上。在此背景下,本文研究了BDD如何影响敏捷软件开发团队。为了实现这一点,我们对使用敏捷开发软件的移动应用程序开发环境进行了案例研究。总共进行了42次访谈。我们的结果表明,BDD可以产生积极的影响,增加团队成员之间的协作,也可以产生消极的影响,比如编写单元测试的困难。我们得出结论,BDD的积极结果多于消极结果。
{"title":"Behavior-Driven Development: A case study on its impacts on agile development teams","authors":"Nicolas Nascimento, Alan R. Santos, Afonso Sales, R. Chanin","doi":"10.1145/3387940.3391480","DOIUrl":"https://doi.org/10.1145/3387940.3391480","url":null,"abstract":"Software development practices which enhance software quality and help teams better develop collaboratively have received attention by the academic community. Among these techniques is Behavior-Driven Development (BDD), a development method which proposes software to be developed focusing primarily on its expected behavior. In this context, this paper investigates how BDD impacts agile software development teams. In order to achieve this, we have conducted a case study on a mobile application development environment which develops software using agile. In total, 42 interviews were performed. Our results indicate that BDD can have positive impacts, increasing collaboration among team members, and negative impacts, like difficulties in writing unit tests. We concluded that BDD has more positive than negative outcomes.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116464019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Conversational Bot for Newcomers Onboarding to Open Source Projects 会话机器人新手入门到开源项目
James Dominic, Jada Houser, Igor Steinmacher, Charles Ritter, Paige Rodeghero
This paper targets the problems newcomers face when onboarding to open source projects and the low retention rate of newcomers. Open source software projects are becoming increasingly more popular. Many major companies have started building open source software. Unfortunately, many newcomers only commit once to an open source project before moving on to another project. Even worse, many novices struggle with joining open source communities and end up leaving quickly, sometimes before their first successful contribution. In this paper, we propose a conversational bot that would recommend projects to newcomers and assist in the onboarding to the open source community. The bot would be able to provide helpful resources, such as Stack Overflow related content. It would also be able to recommend human mentors. We believe that this bot would improve newcomers' experience by providing support not only during their first contribution, but by acting as an agent to engage them to the project.
本文主要针对新手入职开源项目时面临的问题以及新手保留率低的问题。开源软件项目正变得越来越流行。许多大公司已经开始构建开源软件。不幸的是,许多新人在转向另一个项目之前只向一个开源项目提交一次。更糟糕的是,许多新手很难加入开源社区,最终很快就离开了,有时在他们第一次成功的贡献之前。在本文中,我们提出了一个会话机器人,它可以向新手推荐项目,并帮助他们进入开源社区。机器人将能够提供有用的资源,如堆栈溢出相关的内容。它还可以推荐人类导师。我们相信这个机器人不仅能在新人第一次贡献时提供支持,还能作为代理让他们参与到项目中来,从而改善新人的体验。
{"title":"Conversational Bot for Newcomers Onboarding to Open Source Projects","authors":"James Dominic, Jada Houser, Igor Steinmacher, Charles Ritter, Paige Rodeghero","doi":"10.1145/3387940.3391534","DOIUrl":"https://doi.org/10.1145/3387940.3391534","url":null,"abstract":"This paper targets the problems newcomers face when onboarding to open source projects and the low retention rate of newcomers. Open source software projects are becoming increasingly more popular. Many major companies have started building open source software. Unfortunately, many newcomers only commit once to an open source project before moving on to another project. Even worse, many novices struggle with joining open source communities and end up leaving quickly, sometimes before their first successful contribution. In this paper, we propose a conversational bot that would recommend projects to newcomers and assist in the onboarding to the open source community. The bot would be able to provide helpful resources, such as Stack Overflow related content. It would also be able to recommend human mentors. We believe that this bot would improve newcomers' experience by providing support not only during their first contribution, but by acting as an agent to engage them to the project.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126091881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
How Online Forums Complement Task Documentation in Software Crowdsourcing 在线论坛如何补充软件众包中的任务文档
L. Machado, Igor Steinmacher, S. Marczak, C. D. Souza
An issue in software crowdsourcing is the quality of the task documentation and the high number of registered crowd workers to solve tasks but few submitted solutions only. This happens because uncommunicated or misunderstood requirements can lead crowd workers to deliver a solution that does not meet the customers' requirements or, worse, to give up submitting a solution. In this paper, we present an empirical study in which we analyzed task documentation and online forums messages associated with 25 Software Crowdsourcing (SW CS) challenges. The findings corroborate that weak documentation is a challenge in SW CS. Meanwhile, online forums allow crowd workers to gather additional technical and operational information that is not present in the official task documentation. We provide a stepping stone towards understanding the interplay between requirements and communication, to make it possible to improve SW CS development processes, practices, and tools.
软件众包的一个问题是任务文档的质量和大量注册的众包工作者解决任务,但很少提交解决方案。这是因为未沟通或误解的需求可能导致群体工作人员交付不符合客户需求的解决方案,或者更糟的是,放弃提交解决方案。在本文中,我们提出了一项实证研究,其中我们分析了与25个软件众包(SW CS)挑战相关的任务文档和在线论坛消息。研究结果证实,弱文档是SW CS的一个挑战。同时,在线论坛允许群众工作者收集官方任务文档中没有的额外技术和操作信息。我们为理解需求和沟通之间的相互作用提供了一个垫脚石,使改进SW CS开发过程、实践和工具成为可能。
{"title":"How Online Forums Complement Task Documentation in Software Crowdsourcing","authors":"L. Machado, Igor Steinmacher, S. Marczak, C. D. Souza","doi":"10.1145/3387940.3391497","DOIUrl":"https://doi.org/10.1145/3387940.3391497","url":null,"abstract":"An issue in software crowdsourcing is the quality of the task documentation and the high number of registered crowd workers to solve tasks but few submitted solutions only. This happens because uncommunicated or misunderstood requirements can lead crowd workers to deliver a solution that does not meet the customers' requirements or, worse, to give up submitting a solution. In this paper, we present an empirical study in which we analyzed task documentation and online forums messages associated with 25 Software Crowdsourcing (SW CS) challenges. The findings corroborate that weak documentation is a challenge in SW CS. Meanwhile, online forums allow crowd workers to gather additional technical and operational information that is not present in the official task documentation. We provide a stepping stone towards understanding the interplay between requirements and communication, to make it possible to improve SW CS development processes, practices, and tools.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127523723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Software Engineering in a Governed World: Opportunities and Challenges 受控世界中的软件工程:机遇与挑战
R. Bose, Kapil Singi, Vikrant S. Kaulgud, Sanjay Podder, Adam P. Burden
Modern software applications are becoming ubiquitous and pervasive affecting various aspects of our lives and livelihoods. At the same time, the risks to which these systems expose the organizations and end users are also growing dramatically. Governments and regulatory bodies are moving towards developing laws, regulations, and guidelines for several software applications (e.g., those that use data, are based on AI/ML etc.) across different domains. These mandates impose several challenges in the way how software is built and delivered, primary amongst them is to ensure that software and its delivery processes are compliant. There is a need for governance frameworks that enable the recording, monitoring, and analysis of various activities throughout the application development life cycle making the development processes transparent, traceable, verifiable, auditable, and adhering to regulations and best practices, thereby enabling trustworthiness of software. In this paper, we discuss about the challenges and opportunities of software engineering in the governance era.
现代软件应用程序正变得无处不在,无处不在,影响着我们生活和生计的各个方面。与此同时,这些系统暴露给组织和最终用户的风险也在急剧增长。政府和监管机构正朝着为不同领域的几个软件应用程序(例如,那些使用数据的,基于AI/ML等)制定法律、法规和指导方针的方向发展。这些命令对软件的构建和交付方式提出了一些挑战,其中主要的挑战是确保软件及其交付过程是兼容的。我们需要治理框架,它能够在整个应用程序开发生命周期中记录、监视和分析各种活动,使开发过程透明、可跟踪、可验证、可审计,并遵守规则和最佳实践,从而实现软件的可信度。在本文中,我们讨论了在治理时代软件工程的挑战和机遇。
{"title":"Software Engineering in a Governed World: Opportunities and Challenges","authors":"R. Bose, Kapil Singi, Vikrant S. Kaulgud, Sanjay Podder, Adam P. Burden","doi":"10.1145/3387940.3392270","DOIUrl":"https://doi.org/10.1145/3387940.3392270","url":null,"abstract":"Modern software applications are becoming ubiquitous and pervasive affecting various aspects of our lives and livelihoods. At the same time, the risks to which these systems expose the organizations and end users are also growing dramatically. Governments and regulatory bodies are moving towards developing laws, regulations, and guidelines for several software applications (e.g., those that use data, are based on AI/ML etc.) across different domains. These mandates impose several challenges in the way how software is built and delivered, primary amongst them is to ensure that software and its delivery processes are compliant. There is a need for governance frameworks that enable the recording, monitoring, and analysis of various activities throughout the application development life cycle making the development processes transparent, traceable, verifiable, auditable, and adhering to regulations and best practices, thereby enabling trustworthiness of software. In this paper, we discuss about the challenges and opportunities of software engineering in the governance era.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116815410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Checkers 跳棋
Santanu Kumar Dash, Fan Wu, Michail Basios, Lingbo Li, Leslie Kanthan
Advent of microservices has increased the popularity of the API-first design principles. Developers have been focusing on concretising the API to a system before building the system. An API-first approach assumes that the API will be correctly used. Inevitably, most developers, even experienced ones, end-up writing sub-optimal software because of using APIs incorrectly. In this paper, we discuss an automated approach for exploring API equivalence and a framework to synthesise semantically equivalent programs. Unlike existing approaches to API transplantation, we propose an amorphous or formless approach to software translation in which a single API could potentially be replaced by a synthesised sequence of APIs which ensures type progress. Our search is guided by the non-functional goals for the software, a type-theoretic notion of progress, the application's test suite and an automatic multi-modal embedding of the API from its documentation and code analysis.
{"title":"Checkers","authors":"Santanu Kumar Dash, Fan Wu, Michail Basios, Lingbo Li, Leslie Kanthan","doi":"10.1145/3387940.3392173","DOIUrl":"https://doi.org/10.1145/3387940.3392173","url":null,"abstract":"Advent of microservices has increased the popularity of the API-first design principles. Developers have been focusing on concretising the API to a system before building the system. An API-first approach assumes that the API will be correctly used. Inevitably, most developers, even experienced ones, end-up writing sub-optimal software because of using APIs incorrectly. In this paper, we discuss an automated approach for exploring API equivalence and a framework to synthesise semantically equivalent programs. Unlike existing approaches to API transplantation, we propose an amorphous or formless approach to software translation in which a single API could potentially be replaced by a synthesised sequence of APIs which ensures type progress. Our search is guided by the non-functional goals for the software, a type-theoretic notion of progress, the application's test suite and an automatic multi-modal embedding of the API from its documentation and code analysis.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116932878","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Why Did your PR Get Rejected?: Defining Guidelines for Avoiding PR Rejection in Open Source Projects 为什么你的PR被拒绝了?:定义在开源项目中避免PR拒绝的指导方针
N. Papadakis, Ayan Patel, Tanay Gottigundala, Alexandra Garro, Xavier Graham, Bruno Carreiro da Silva
Pull requests are a commonly used method of collaboration for software developers working on open source projects. In this paper, we analyze the most common reasons, sentiment polarity, and interaction length for pull request rejections, as well as the correlations between these factors in a large open-source project called Scapy. We manually analyzed 231 rejected pull requests and systematically mapped sentiment and categorized rejection reasons. We found that the most frequent reasons for pull request rejection refer to source code management issues, incomplete comprehension of project functionalities, poor understanding of what reviewers expect, and misunderstanding the project guidelines (often due to a lack of complete/updated instructions and communication gaps). This work is an ongoing effort toward establishing practical guidelines for globally distributed contributors in open-source projects to minimize pull request rejection and maximize productivity leading to more fruitful remote collaboration. Future work involves expanding the analysis to more projects and incorporating quantitative methods.
对于从事开源项目的软件开发人员来说,Pull请求是一种常用的协作方法。在本文中,我们在一个名为Scapy的大型开源项目中分析了拉请求拒绝的最常见原因、情感极性和交互长度,以及这些因素之间的相关性。我们手动分析了231个被拒绝的拉请求,系统地映射了情感,并对拒绝原因进行了分类。我们发现,pull请求被拒绝的最常见原因是源代码管理问题,对项目功能的不完全理解,对评审人员期望的理解不足,以及对项目指导方针的误解(通常是由于缺乏完整/更新的指示和沟通差距)。这项工作是一项正在进行的工作,旨在为开源项目中的全球分布式贡献者建立实用的指导方针,以最大限度地减少拉请求拒绝,并最大限度地提高生产率,从而实现更富有成效的远程协作。未来的工作包括将分析扩展到更多的项目并结合定量方法。
{"title":"Why Did your PR Get Rejected?: Defining Guidelines for Avoiding PR Rejection in Open Source Projects","authors":"N. Papadakis, Ayan Patel, Tanay Gottigundala, Alexandra Garro, Xavier Graham, Bruno Carreiro da Silva","doi":"10.1145/3387940.3392235","DOIUrl":"https://doi.org/10.1145/3387940.3392235","url":null,"abstract":"Pull requests are a commonly used method of collaboration for software developers working on open source projects. In this paper, we analyze the most common reasons, sentiment polarity, and interaction length for pull request rejections, as well as the correlations between these factors in a large open-source project called Scapy. We manually analyzed 231 rejected pull requests and systematically mapped sentiment and categorized rejection reasons. We found that the most frequent reasons for pull request rejection refer to source code management issues, incomplete comprehension of project functionalities, poor understanding of what reviewers expect, and misunderstanding the project guidelines (often due to a lack of complete/updated instructions and communication gaps). This work is an ongoing effort toward establishing practical guidelines for globally distributed contributors in open-source projects to minimize pull request rejection and maximize productivity leading to more fruitful remote collaboration. Future work involves expanding the analysis to more projects and incorporating quantitative methods.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127802911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Java Unit Testing Tool Competition: Eighth Round Java单元测试工具竞赛:第八轮
Xavier Devroey, Sebastiano Panichella, Alessio Gambi
We report on the results of the eighth edition of the Java unit testing tool competition. This year, two tools, EvoSuite and Randoop, were executed on a benchmark with (i) new classes under test, selected from open-source software projects, and (ii) the set of classes from one project considered in the previous edition. We relied on an updated infrastructure for the execution of the different tools and the subsequent coverage and mutation analysis based on Docker containers. We considered two different time budgets for test case generation: one an three minutes. This paper describes our methodology and statistical analysis of the results, presents the results achieved by the contestant tools and highlights the challenges we faced during the competition.
我们报告第八届Java单元测试工具竞赛的结果。今年,两个工具EvoSuite和Randoop在一个基准测试上执行,其中(i)从开源软件项目中选择了新的测试类,以及(ii)在上一版本中考虑的一个项目的类集。我们依赖于更新的基础架构来执行不同的工具,以及随后基于Docker容器的覆盖和突变分析。我们为测试用例生成考虑了两种不同的时间预算:1分钟和3分钟。本文介绍了我们的方法和结果的统计分析,展示了选手工具取得的结果,并强调了我们在比赛中面临的挑战。
{"title":"Java Unit Testing Tool Competition: Eighth Round","authors":"Xavier Devroey, Sebastiano Panichella, Alessio Gambi","doi":"10.1145/3387940.3392265","DOIUrl":"https://doi.org/10.1145/3387940.3392265","url":null,"abstract":"We report on the results of the eighth edition of the Java unit testing tool competition. This year, two tools, EvoSuite and Randoop, were executed on a benchmark with (i) new classes under test, selected from open-source software projects, and (ii) the set of classes from one project considered in the previous edition. We relied on an updated infrastructure for the execution of the different tools and the subsequent coverage and mutation analysis based on Docker containers. We considered two different time budgets for test case generation: one an three minutes. This paper describes our methodology and statistical analysis of the results, presents the results achieved by the contestant tools and highlights the challenges we faced during the competition.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128802751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Software engineering for 'quantum advantage' “量子优势”的软件工程
L. S. Barbosa
Software is a critical factor in the reliability of computer systems. While the development of hardware is assisted by mature science and engineering disciplines, software science is still in its infancy. This situation is likely to worsen in the future with quantum computer systems. Actually, if quantum computing is quickly coming of age, with potential groundbreaking impacts on many different fields, such benefits come at a price: quantum programming is hard and finding new quantum algorithms is far from straightforward. Thus, the need for suitable formal techniques in quantum software development is even bigger than in classical computation. A lack of reliable approaches to quantum computer programming will put at risk the expected quantum advantage of the new hardware. This position paper argues for the need for a proper quantum software engineering discipline benefiting from precise foundations and calculi, capable of supporting algorithm development and analysis.
软件是计算机系统可靠性的关键因素。虽然硬件的发展是由成熟的科学和工程学科辅助的,但软件科学仍处于起步阶段。这种情况在未来的量子计算机系统中可能会变得更糟。事实上,如果量子计算正在迅速成熟,并对许多不同领域产生潜在的突破性影响,那么这种好处是有代价的:量子编程很难,寻找新的量子算法远非易事。因此,在量子软件开发中对合适的形式化技术的需求甚至比在经典计算中更大。缺乏可靠的量子计算机编程方法将危及新硬件的预期量子优势。本立场文件认为需要一个适当的量子软件工程学科受益于精确的基础和微积分,能够支持算法开发和分析。
{"title":"Software engineering for 'quantum advantage'","authors":"L. S. Barbosa","doi":"10.1145/3387940.3392184","DOIUrl":"https://doi.org/10.1145/3387940.3392184","url":null,"abstract":"Software is a critical factor in the reliability of computer systems. While the development of hardware is assisted by mature science and engineering disciplines, software science is still in its infancy. This situation is likely to worsen in the future with quantum computer systems. Actually, if quantum computing is quickly coming of age, with potential groundbreaking impacts on many different fields, such benefits come at a price: quantum programming is hard and finding new quantum algorithms is far from straightforward. Thus, the need for suitable formal techniques in quantum software development is even bigger than in classical computation. A lack of reliable approaches to quantum computer programming will put at risk the expected quantum advantage of the new hardware. This position paper argues for the need for a proper quantum software engineering discipline benefiting from precise foundations and calculi, capable of supporting algorithm development and analysis.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115215792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation 基于最近邻的跨项目学习与提交消息生成的相关性研究
K. Etemadi, Monperrus Martin
Commit messages play an important role in software maintenance and evolution. Nonetheless, developers often do not produce high-quality messages. A number of commit message generation methods have been proposed in recent years to address this problem. Some of these methods are based on neural machine translation (NMT) techniques. Studies show that the nearest neighbor algorithm (NNGen) outperforms existing NMT-based methods, although NNGen is simpler and faster than NMT. In this paper, we show that NNGen does not take advantage of cross-project learning in the majority of the cases. We also show that there is an even simpler and faster variation of the existing NNGen method which outperforms it in terms of the BLEU_4 score without using cross-project learning.
提交消息在软件维护和发展中扮演着重要的角色。尽管如此,开发人员经常不能产生高质量的消息。近年来,已经提出了许多提交消息生成方法来解决这个问题。其中一些方法是基于神经机器翻译(NMT)技术。研究表明,尽管NNGen算法比NMT算法更简单、更快,但其性能优于现有的基于NMT的方法。在本文中,我们表明NNGen在大多数情况下没有利用跨项目学习。我们还表明,在不使用跨项目学习的情况下,现有的NNGen方法有一个更简单、更快的变体,在BLEU_4分数方面优于它。
{"title":"On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation","authors":"K. Etemadi, Monperrus Martin","doi":"10.1145/3387940.3391488","DOIUrl":"https://doi.org/10.1145/3387940.3391488","url":null,"abstract":"Commit messages play an important role in software maintenance and evolution. Nonetheless, developers often do not produce high-quality messages. A number of commit message generation methods have been proposed in recent years to address this problem. Some of these methods are based on neural machine translation (NMT) techniques. Studies show that the nearest neighbor algorithm (NNGen) outperforms existing NMT-based methods, although NNGen is simpler and faster than NMT. In this paper, we show that NNGen does not take advantage of cross-project learning in the majority of the cases. We also show that there is an even simpler and faster variation of the existing NNGen method which outperforms it in terms of the BLEU_4 score without using cross-project learning.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127446898","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
期刊
Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1