首页 > 最新文献

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)最新文献

英文 中文
Abacus: A Tool for Precise Side-Channel Analysis 算盘:一种精确的侧通道分析工具
Qinkun Bao, Zihao Wang, J. Larus, Dinghao Wu
Side-channel vulnerabilities can leak sensitive information unconsciously. In this paper, we introduce the usage of Abacus. Abacus is a tool that can analyze secret-dependent control-flow and secret-dependent data-access leakages in binary programs. Unlike previous tools that can only identify leakages, it can also estimate the amount of leaked information for each leakage site. Severe vulnerabilities usually leak more information, allowing developers to triage the patching effort for side-channel vulnerabilities. This paper is to help users make use of Abacus and reproduce our previousresults. Abacus is available at https://github.com/s3team/Abacus.
侧信道漏洞会在不知不觉中泄露敏感信息。本文介绍了算盘的使用方法。Abacus是一种能够分析二进制程序中依赖秘密的控制流和依赖秘密的数据访问泄漏的工具。与以前只能识别泄漏的工具不同,它还可以估计每个泄漏点的泄漏信息量。严重的漏洞通常会泄露更多的信息,从而允许开发人员对侧通道漏洞进行修补工作。这篇文章是为了帮助用户使用Abacus和重现我们以前的结果。Abacus可以在https://github.com/s3team/Abacus上找到。
{"title":"Abacus: A Tool for Precise Side-Channel Analysis","authors":"Qinkun Bao, Zihao Wang, J. Larus, Dinghao Wu","doi":"10.1109/ICSE-Companion52605.2021.00110","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00110","url":null,"abstract":"Side-channel vulnerabilities can leak sensitive information unconsciously. In this paper, we introduce the usage of Abacus. Abacus is a tool that can analyze secret-dependent control-flow and secret-dependent data-access leakages in binary programs. Unlike previous tools that can only identify leakages, it can also estimate the amount of leaked information for each leakage site. Severe vulnerabilities usually leak more information, allowing developers to triage the patching effort for side-channel vulnerabilities. This paper is to help users make use of Abacus and reproduce our previousresults. Abacus is available at https://github.com/s3team/Abacus.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133535353","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}
引用次数: 1
MAANA: An Automated Tool for DoMAin-Specific HANdling of Ambiguity MAANA:一个用于特定领域歧义处理的自动化工具
Saad Ezzini, Sallam Abualhaija, Chetan Arora, M. Sabetzadeh, L. Briand
MAANA (in Arabic: "meaning") is a tool for performingdomain-specific handling of ambiguity in requirements. Given a requirements document as input, MAANA detectsthe requirements that are potentially ambiguous. The focus ofMAANA is on coordination ambiguity and prepositional-phraseattachment ambiguity; these are two common ambiguity typesthat have been studied in the requirements engineering literature. To detect ambiguity, MAANA utilizes structural patterns anda set of heuristics derived from a domain-specific corpus. Thegenerated analysis file after running the tool can be reviewed byrequirements analysts. Through combining different knowledgesources, MAANA highlights also the requirements that mightcontain unacknowledged ambiguity. That is when the analystsunderstand different interpretations for the same requirement, without explicitly discussing it with the other analysts due to timeconstraints. This artifact paper presents the details of MAANA. MAANA is associated with the ICSE 2021 technical papertitled "Using Domain-specific Corpora for Improved Handlingof Ambiguity in Requirements". The tool is publicly available onGitHub and Zenodo.
MAANA(阿拉伯语:“意义”)是一种工具,用于对需求中的歧义进行特定领域的处理。给定一个需求文档作为输入,MAANA检测潜在的不明确的需求。maana研究的重点是协调歧义和介词短语连接歧义;这是需求工程文献中研究过的两种常见的歧义类型。为了检测歧义,MAANA利用了结构模式和一组来自特定领域语料库的启发式方法。运行工具后生成的分析文件可以由需求分析人员审查。通过结合不同的知识资源,MAANA还强调了可能包含未被承认的模糊性的需求。这是当分析人员对相同的需求理解不同的解释时,由于时间限制,没有与其他分析人员明确地讨论它。这篇工件论文介绍了MAANA的细节。MAANA与题为“使用特定领域语料库改进需求歧义处理”的ICSE 2021技术论文相关。该工具在github和Zenodo上公开可用。
{"title":"MAANA: An Automated Tool for DoMAin-Specific HANdling of Ambiguity","authors":"Saad Ezzini, Sallam Abualhaija, Chetan Arora, M. Sabetzadeh, L. Briand","doi":"10.1109/ICSE-Companion52605.2021.00082","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00082","url":null,"abstract":"MAANA (in Arabic: \"meaning\") is a tool for performingdomain-specific handling of ambiguity in requirements. Given a requirements document as input, MAANA detectsthe requirements that are potentially ambiguous. The focus ofMAANA is on coordination ambiguity and prepositional-phraseattachment ambiguity; these are two common ambiguity typesthat have been studied in the requirements engineering literature. To detect ambiguity, MAANA utilizes structural patterns anda set of heuristics derived from a domain-specific corpus. Thegenerated analysis file after running the tool can be reviewed byrequirements analysts. Through combining different knowledgesources, MAANA highlights also the requirements that mightcontain unacknowledged ambiguity. That is when the analystsunderstand different interpretations for the same requirement, without explicitly discussing it with the other analysts due to timeconstraints. This artifact paper presents the details of MAANA. MAANA is associated with the ICSE 2021 technical papertitled \"Using Domain-specific Corpora for Improved Handlingof Ambiguity in Requirements\". The tool is publicly available onGitHub and Zenodo.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121825330","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}
引用次数: 1
Advances in Code Summarization 代码摘要的进展
Utkarsh Desai, G. Sridhara, Srikanth G. Tamilselvam
Several studies have suggested that comments describing source code can help mitigate the burden of program understanding. However, software systems usually lack adequate comments and even when present, the comments may be obsolete or unhelpful. Researchers have addressed this issue by automatically generating comments from source code, a task referred to as Code Summarization. In this technical presentation, we take a deeper look at some of the significant, recent works in the area of code summarization and how each of them attempts to take a new perspective of this task including methods leveraging RNNs, Transformers, Graph neural networks and Reinforcement learning.
一些研究表明,描述源代码的注释可以帮助减轻程序理解的负担。然而,软件系统通常缺乏足够的注释,即使有,注释也可能是过时的或无用的。研究人员通过从源代码自动生成注释来解决这个问题,这个任务被称为代码汇总。在这个技术演示中,我们将深入研究一些重要的,最近在代码总结领域的工作,以及他们如何尝试从一个新的角度来看待这个任务,包括利用rnn,变形,图神经网络和强化学习的方法。
{"title":"Advances in Code Summarization","authors":"Utkarsh Desai, G. Sridhara, Srikanth G. Tamilselvam","doi":"10.1109/ICSE-Companion52605.2021.00141","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00141","url":null,"abstract":"Several studies have suggested that comments describing source code can help mitigate the burden of program understanding. However, software systems usually lack adequate comments and even when present, the comments may be obsolete or unhelpful. Researchers have addressed this issue by automatically generating comments from source code, a task referred to as Code Summarization. In this technical presentation, we take a deeper look at some of the significant, recent works in the area of code summarization and how each of them attempts to take a new perspective of this task including methods leveraging RNNs, Transformers, Graph neural networks and Reinforcement learning.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126119213","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
Guiding Engineers with the Passive Process Engine Environment 用被动过程引擎环境指导工程师
Christoph Mayr-Dorn, Stefan Bichler, Felix Keplinger, Alexander Egyed
Research as early as the 90s identified rigid, active process enactment as detrimental to engineers' flexibility. While software engineering processes thus are rarely "executable", engineers would benefit from guidance in safety critical domains where standards, regulations, and processes are often complicated. In this paper, we present the Passive Process Engine Environment P2E2 that tracks process progress in the background and automatically evaluates quality assurance constraints even in the presence of process deviations. Our approach is engineering artifact agnostic and comes with two exemplary tool connectors to Jira and Jama. Video at: https://youtu.be/kXwU_baVWoQ
早在上世纪90年代就有研究发现,死板、主动的流程制定不利于工程师的灵活性。虽然软件工程过程很少是“可执行的”,但工程师将受益于安全关键领域的指导,在这些领域中,标准、法规和过程通常是复杂的。在本文中,我们介绍了被动过程引擎环境P2E2,它在后台跟踪过程进度,并在存在过程偏差的情况下自动评估质量保证约束。我们的方法是工程工件不可知论的,并附带了两个示例工具连接器到Jira和Jama。视频网址:https://youtu.be/kXwU_baVWoQ
{"title":"Guiding Engineers with the Passive Process Engine Environment","authors":"Christoph Mayr-Dorn, Stefan Bichler, Felix Keplinger, Alexander Egyed","doi":"10.1109/ICSE-Companion52605.2021.00033","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00033","url":null,"abstract":"Research as early as the 90s identified rigid, active process enactment as detrimental to engineers' flexibility. While software engineering processes thus are rarely \"executable\", engineers would benefit from guidance in safety critical domains where standards, regulations, and processes are often complicated. In this paper, we present the Passive Process Engine Environment P2E2 that tracks process progress in the background and automatically evaluates quality assurance constraints even in the presence of process deviations. Our approach is engineering artifact agnostic and comes with two exemplary tool connectors to Jira and Jama. Video at: https://youtu.be/kXwU_baVWoQ","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123475042","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
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection 用回归测试选择增强软件遗传改进的工件
Giovani Guizzo, J. Petke, Federica Sarro, M. Harman
We present in this document the basic information needed to download, unpack, and then interpret the instructions we provide as requested in the ICSE 2021 Artifact Submission Guidelines. The artifact contains all the subject programs, scripts, tools, results, and a series of guidelines on how to use them. We aim at obtaining the badges of Available and Reusable. In order to do so, we have added all the components needed for the full execution of the experiments and analyses as we originally did during the writing of our paper, making it readily available. Furthermore, we have included instructions to the INSTALL file on how to add new programs to the experiments and analyses, making it reusable for the next researchers that intend to replicate or extend our experiments.
我们在本文档中提供了下载、解压缩所需的基本信息,然后按照ICSE 2021工件提交指南的要求解释我们提供的说明。工件包含所有的主题程序、脚本、工具、结果,以及关于如何使用它们的一系列指导方针。我们的目标是获得可用和可重用的徽章。为了做到这一点,我们添加了实验和分析所需的所有组件,就像我们最初在撰写论文时所做的那样,使其随时可用。此外,我们还在INSTALL文件中包含了关于如何向实验和分析中添加新程序的说明,使其可供打算复制或扩展我们的实验的下一个研究人员重用。
{"title":"Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection","authors":"Giovani Guizzo, J. Petke, Federica Sarro, M. Harman","doi":"10.1109/ICSE-Companion52605.2021.00099","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00099","url":null,"abstract":"We present in this document the basic information needed to download, unpack, and then interpret the instructions we provide as requested in the ICSE 2021 Artifact Submission Guidelines. The artifact contains all the subject programs, scripts, tools, results, and a series of guidelines on how to use them. We aim at obtaining the badges of Available and Reusable. In order to do so, we have added all the components needed for the full execution of the experiments and analyses as we originally did during the writing of our paper, making it readily available. Furthermore, we have included instructions to the INSTALL file on how to add new programs to the experiments and analyses, making it reusable for the next researchers that intend to replicate or extend our experiments.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"42 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131234235","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
Automation and Evaluation of Mutation Testing for the New C++ Standards 新c++标准中突变测试的自动化和评估
Miguel Angel Álvarez-García
Mutation testing is becoming increasingly widely used to evaluate the quality of test suites, especially to test programs coded in widely used programming languages in the industry. Mutation tools have arisen to automate the technique in different languages, including C++. With the increasing use of this technique, new mutation operators modeling possible faults often emerge to improve its abilities and adapt the tools to new advanced features. In this work, mutation operators for the new C++ standards, defined in previous work, are implemented and applied to generate and execute mutants in real programs. With this study, the MuCPP mutation tool is updated with the inclusion of these new operators. In addition, the improvements suggested in the definition of those operators can be finally tested, and conclusions about their utility in practice can be drawn. The implemented operators are checked on a set of four C++ programs that use these advanced features. The results show significant differences with the previous manual analysis: the number of invalid mutants was reduced by 64%, and we found fewer alive mutants (88%) and an increase in dead mutants (31%). In summary, both the number of mutants incorrectly classified in the previous manual analysis and the number of mutants generated (particularly equivalent mutants) have been reduced.
突变测试越来越广泛地用于评估测试套件的质量,特别是用于测试行业中广泛使用的编程语言编写的程序。为了在不同的语言(包括c++)中自动化该技术,已经出现了一些变异工具。随着该技术的应用越来越广泛,为了提高其能力并使工具适应新的高级特征,经常出现新的突变算子来建模可能的故障。在本工作中,实现了先前工作中定义的新c++标准的突变操作符,并将其用于在实际程序中生成和执行突变。通过这项研究,MuCPP突变工具更新了这些新的操作符。此外,还可以对这些算子的定义中提出的改进进行最终测试,并得出它们在实践中的效用的结论。在一组使用这些高级特性的四个c++程序中检查实现的操作符。结果与之前的人工分析有显著差异:无效突变体的数量减少了64%,活突变体减少(88%),死亡突变体增加(31%)。总之,在之前的手工分析中错误分类的突变体数量和生成的突变体数量(特别是等效突变体)都减少了。
{"title":"Automation and Evaluation of Mutation Testing for the New C++ Standards","authors":"Miguel Angel Álvarez-García","doi":"10.1109/ICSE-Companion52605.2021.00063","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00063","url":null,"abstract":"Mutation testing is becoming increasingly widely used to evaluate the quality of test suites, especially to test programs coded in widely used programming languages in the industry. Mutation tools have arisen to automate the technique in different languages, including C++. With the increasing use of this technique, new mutation operators modeling possible faults often emerge to improve its abilities and adapt the tools to new advanced features. In this work, mutation operators for the new C++ standards, defined in previous work, are implemented and applied to generate and execute mutants in real programs. With this study, the MuCPP mutation tool is updated with the inclusion of these new operators. In addition, the improvements suggested in the definition of those operators can be finally tested, and conclusions about their utility in practice can be drawn. The implemented operators are checked on a set of four C++ programs that use these advanced features. The results show significant differences with the previous manual analysis: the number of invalid mutants was reduced by 64%, and we found fewer alive mutants (88%) and an increase in dead mutants (31%). In summary, both the number of mutants incorrectly classified in the previous manual analysis and the number of mutants generated (particularly equivalent mutants) have been reduced.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127517193","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}
引用次数: 1
Verifying Determinism in Sequential Programs 顺序程序的确定性验证
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs iterating over the elements of a hash table. We have created a type system that expresses determinism specifications in a program. The key ideas in the type system are type qualifiers for nondeterminism, order-nondeterminism, and determinism; type well-formedness rules to restrict collection types; and enhancements to polymorphism that improve precision when analyzing collection operations. We implemented our type system for Java. Our type checker, the Determinism Checker, warns if a program is nondeterministic or verifies that the program is deterministic. In this paper, we explain how to obtain our tool and reproduce the results described inhttps://homes.cs.washington.edu/ mernst/pubs/determinismicse2021.pdf. Additionally, our tool and subject programs are available at https://zenodo.org/record/4536285#.YEaCxZNKiWw.
当一个程序是不确定的,测试和调试是困难的。即使在遍历哈希表元素的顺序程序中,也会出现不确定性。我们已经创建了一个在程序中表达确定性规范的类型系统。类型系统的关键思想是不确定性、顺序不确定性和决定论的类型限定符;使用格式良好的规则来限制集合类型;以及对多态性的增强,在分析集合操作时提高了精度。我们为Java实现了类型系统。我们的类型检查器Determinism检查器会在程序是非确定的情况下发出警告,或者验证程序是确定的。在本文中,我们解释了如何获得我们的工具并重现在http://homes.cs.washington.edu/mernst/pubs /determinismicse2021.pdf中描述的结果。此外,我们的工具和主题计划可在https://zenodo.org/record/4536285#.YEaCxZNKiWw上获得。
{"title":"Verifying Determinism in Sequential Programs","authors":"Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst","doi":"10.1109/ICSE-Companion52605.2021.00095","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00095","url":null,"abstract":"When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs iterating over the elements of a hash table. We have created a type system that expresses determinism specifications in a program. The key ideas in the type system are type qualifiers for nondeterminism, order-nondeterminism, and determinism; type well-formedness rules to restrict collection types; and enhancements to polymorphism that improve precision when analyzing collection operations. We implemented our type system for Java. Our type checker, the Determinism Checker, warns if a program is nondeterministic or verifies that the program is deterministic. In this paper, we explain how to obtain our tool and reproduce the results described inhttps://homes.cs.washington.edu/ mernst/pubs/determinismicse2021.pdf. Additionally, our tool and subject programs are available at https://zenodo.org/record/4536285#.YEaCxZNKiWw.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126235208","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
The Software Challenges of Building Smart Chatbots 构建智能聊天机器人的软件挑战
Gwendal Daniel, Jordi Cabot
Chatbots are becoming complex software artifacts that require a high-level of expertise in a variety of technical domains. This technical briefing will cover the software engineering challenges of developing high-quality chatbots. Attendees will be able to create their own bots leveraging the open source chatbot development platform Xatkit.
聊天机器人正在成为复杂的软件工件,需要在各种技术领域的高级专业知识。本技术简报将涵盖开发高质量聊天机器人的软件工程挑战。与会者将能够利用开源聊天机器人开发平台Xatkit创建自己的机器人。
{"title":"The Software Challenges of Building Smart Chatbots","authors":"Gwendal Daniel, Jordi Cabot","doi":"10.1109/ICSE-Companion52605.2021.00138","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00138","url":null,"abstract":"Chatbots are becoming complex software artifacts that require a high-level of expertise in a variety of technical domains. This technical briefing will cover the software engineering challenges of developing high-quality chatbots. Attendees will be able to create their own bots leveraging the open source chatbot development platform Xatkit.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114741019","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
Robot Runner: A Tool for Automatically Executing Experiments on Robotics Software 机器人跑者:在机器人软件上自动执行实验的工具
Stan Swanborn, I. Malavolta
Software is becoming the core aspect in robotics development and it is growing in terms of complexity and size. However, roboticists and researchers are struggling in ensuring and even measuring the quality of their software with respect to run-time properties such as energy efficiency and performance. This paper presents Robot Runner, a tool for streamlining the execution of measurement-based experiments involving robotics software. The tool is able to automatically setup, start, resume, and fully replicate user-defined experiments. Thanks to its plugin-based architecture, the tool is fully independent of the number, type, and complexity of the used robots (both real and simulated). GitHub repository – https://github.com/S2-group/robot-runner Youtube video – https://youtu.be/le-SAXI2k1E
软件正在成为机器人开发的核心方面,它在复杂性和规模方面都在增长。然而,机器人专家和研究人员正在努力确保甚至衡量他们的软件在运行时属性(如能源效率和性能)方面的质量。这篇论文提出了机器人跑者,一个工具,以简化执行测量为基础的实验涉及机器人软件。该工具能够自动设置、启动、恢复和完全复制用户定义的实验。由于其基于插件的架构,该工具完全独立于所使用机器人的数量、类型和复杂性(无论是真实的还是模拟的)。GitHub存储库- https://github.com/S2-group/robot-runner Youtube视频- https://youtu.be/le-SAXI2k1E
{"title":"Robot Runner: A Tool for Automatically Executing Experiments on Robotics Software","authors":"Stan Swanborn, I. Malavolta","doi":"10.1109/ICSE-Companion52605.2021.00029","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00029","url":null,"abstract":"Software is becoming the core aspect in robotics development and it is growing in terms of complexity and size. However, roboticists and researchers are struggling in ensuring and even measuring the quality of their software with respect to run-time properties such as energy efficiency and performance. This paper presents Robot Runner, a tool for streamlining the execution of measurement-based experiments involving robotics software. The tool is able to automatically setup, start, resume, and fully replicate user-defined experiments. Thanks to its plugin-based architecture, the tool is fully independent of the number, type, and complexity of the used robots (both real and simulated). GitHub repository – https://github.com/S2-group/robot-runner Youtube video – https://youtu.be/le-SAXI2k1E","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121497561","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
UIS-Hunter: Detecting UI Design Smells in Android Apps us - hunter:检测Android应用的UI设计气味
Bo Yang, Zhenchang Xing, Xin Xia, Chunyang Chen, Deheng Ye, Shanping Li
Similar to code smells in source code, UI design has visual design smells that indicate violations of good UI design guidelines. UI design guidelines constitute design systems for a vast variety of products, platforms, and services. Following a design system, developers can avoid common design issues and pitfalls. However, a design system is often complex, involving various design dimensions and numerous UI components. Lack of concerns on GUI visual effect results in little support for detecting UI design smells that violate the design guidelines in a complex design system. In this paper, we propose an automated UI design smell detector named UIS-Hunter (UI design Smell Hunter). The tool is able to (i) automatically process UI screenshots or prototype files to detect UI design smells and generate reports, (ii) highlight the violated UI regions and list the material design guidelines that the found design smells violate, and (iii) present conformance and violation UI design examples to assist understanding. This tool consists of a Material Design guidelines gallery website and a tool website. The gallery website is a back-end knowledge base that attaches conformance and violation examples to abstract design guidelines and allows developers and designers to explore the multi-dimensional space of a complex design system in a more structured way. As a front-end application, the tool website takes a UI design as input, returns a detailed UI design smell report, and marks the violation regions (if any). Moreover, the tool website presents conformance and violation examples based on the gallery website. Demo URL: https://uishunter.net.cn/https://uishuntergallery.net.cn/Demo Video: https://youtu.be/7UZ0jtD_1gM
与源代码中的代码气味类似,UI设计具有视觉设计气味,表明违反了良好的UI设计准则。UI设计指南构成了各种产品、平台和服务的设计系统。遵循设计系统,开发人员可以避免常见的设计问题和陷阱。然而,设计系统通常是复杂的,涉及各种设计维度和众多UI组件。缺乏对GUI视觉效果的关注导致很少支持在复杂的设计系统中检测违反设计准则的UI设计气味。在本文中,我们提出了一个自动化的UI设计气味检测器,名为us -Hunter (UI设计气味猎人)。该工具能够(i)自动处理UI截图或原型文件以检测UI设计气味并生成报告,(ii)突出显示违反的UI区域并列出发现的设计气味违反的材料设计准则,以及(iii)提供一致性和违反的UI设计示例以帮助理解。这个工具包括一个材料设计指南画廊网站和一个工具网站。画廊网站是一个后端知识库,它将符合和违反的例子附加到抽象的设计指南中,并允许开发人员和设计师以更结构化的方式探索复杂设计系统的多维空间。作为前端应用程序,工具网站接受UI设计作为输入,返回详细的UI设计气味报告,并标记违规区域(如果有的话)。此外,工具网站在图库网站的基础上给出了符合性和违例性示例。演示网址:https://uishunter.net.cn/https://uishuntergallery.net.cn/Demo视频:https://youtu.be/7UZ0jtD_1gM
{"title":"UIS-Hunter: Detecting UI Design Smells in Android Apps","authors":"Bo Yang, Zhenchang Xing, Xin Xia, Chunyang Chen, Deheng Ye, Shanping Li","doi":"10.1109/ICSE-Companion52605.2021.00043","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00043","url":null,"abstract":"Similar to code smells in source code, UI design has visual design smells that indicate violations of good UI design guidelines. UI design guidelines constitute design systems for a vast variety of products, platforms, and services. Following a design system, developers can avoid common design issues and pitfalls. However, a design system is often complex, involving various design dimensions and numerous UI components. Lack of concerns on GUI visual effect results in little support for detecting UI design smells that violate the design guidelines in a complex design system. In this paper, we propose an automated UI design smell detector named UIS-Hunter (UI design Smell Hunter). The tool is able to (i) automatically process UI screenshots or prototype files to detect UI design smells and generate reports, (ii) highlight the violated UI regions and list the material design guidelines that the found design smells violate, and (iii) present conformance and violation UI design examples to assist understanding. This tool consists of a Material Design guidelines gallery website and a tool website. The gallery website is a back-end knowledge base that attaches conformance and violation examples to abstract design guidelines and allows developers and designers to explore the multi-dimensional space of a complex design system in a more structured way. As a front-end application, the tool website takes a UI design as input, returns a detailed UI design smell report, and marks the violation regions (if any). Moreover, the tool website presents conformance and violation examples based on the gallery website. Demo URL: https://uishunter.net.cn/https://uishuntergallery.net.cn/Demo Video: https://youtu.be/7UZ0jtD_1gM","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123737758","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}
引用次数: 6
期刊
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
全部 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