首页 > 最新文献

2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)最新文献

英文 中文
Migrating Large Deep Learning Models to Serverless Architecture 将大型深度学习模型迁移到无服务器架构
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00047
Dheeraj Chahal, Ravi Ojha, M. Ramesh, Rekha Singhal
Serverless computing platform is emerging as a solution for event-driven artificial intelligence applications. Function-as-a-Service (FaaS) using serverless computing paradigm provides high performance and low cost solutions for deploying such applications on cloud while minimizing the operational logic. Using FaaS for efficient deployment of complex applications, such as natural language processing (NLP) and image processing, containing large deep learning models will be an advantage. However, constrained resources and stateless nature of FaaS offers numerous challenges while deploying such applications. In this work, we discuss the methodological suggestions and their implementation for deploying pre-trained large size machine learning and deep learning models on FaaS. We also evaluate the performance and deployment cost of an enterprise application, consisting of suite of deep vision preprocessing algorithms and models, on VM and FaaS platform. Our evaluation shows that migration from monolithic to FaaS platform significantly improves the performance of the application at a reduced cost.
无服务器计算平台正在成为事件驱动型人工智能应用的一种解决方案。使用无服务器计算范式的功能即服务(FaaS)为在云上部署此类应用程序提供了高性能和低成本的解决方案,同时最大限度地减少了操作逻辑。使用FaaS高效部署复杂的应用程序,如自然语言处理(NLP)和图像处理,包含大型深度学习模型将是一个优势。然而,有限的资源和FaaS的无状态特性在部署此类应用程序时带来了许多挑战。在这项工作中,我们讨论了在FaaS上部署预训练的大型机器学习和深度学习模型的方法建议及其实现。我们还评估了由一套深度视觉预处理算法和模型组成的企业应用程序在VM和FaaS平台上的性能和部署成本。我们的评估表明,从单片平台迁移到FaaS平台显著提高了应用程序的性能,同时降低了成本。
{"title":"Migrating Large Deep Learning Models to Serverless Architecture","authors":"Dheeraj Chahal, Ravi Ojha, M. Ramesh, Rekha Singhal","doi":"10.1109/ISSREW51248.2020.00047","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00047","url":null,"abstract":"Serverless computing platform is emerging as a solution for event-driven artificial intelligence applications. Function-as-a-Service (FaaS) using serverless computing paradigm provides high performance and low cost solutions for deploying such applications on cloud while minimizing the operational logic. Using FaaS for efficient deployment of complex applications, such as natural language processing (NLP) and image processing, containing large deep learning models will be an advantage. However, constrained resources and stateless nature of FaaS offers numerous challenges while deploying such applications. In this work, we discuss the methodological suggestions and their implementation for deploying pre-trained large size machine learning and deep learning models on FaaS. We also evaluate the performance and deployment cost of an enterprise application, consisting of suite of deep vision preprocessing algorithms and models, on VM and FaaS platform. Our evaluation shows that migration from monolithic to FaaS platform significantly improves the performance of the application at a reduced cost.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129848356","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}
引用次数: 15
SAR Handbook Chapter: Experimental Tools for Software Aging Analysis SAR手册章节:软件老化分析的实验工具
Pub Date : 2020-10-01 DOI: 10.1109/issrew51248.2020.00096
R. Natella, A. Andrzejak
A significant amount of effort in research related to software aging and rejuvenation (SAR) has been dedicated to designing, implementing, and evaluating tools for the detection of software aging in complex software systems. There are two fundamental reasons for the importance of these tools. First, these tools are required for implementing condition-based software rejuvenation in production environments. They can measure the presence of aging symptoms, such as high resource consumption or degraded performance. Moreover, jointly with aging forecasting models, they can trigger rejuvenation actions when aging symptoms point out that software aging failures are imminent. The second reason which makes these tools important is that they can be used for software aging analysis in laboratory environments, for example during stress tests before releasing a product. This can in turn pinpoint the software aging bugs (such as memory leak bugs), and provide useful information to developers to fix them.In this chapter, we review multiple prominent tools that have been adopted, both by researchers and by software developers, to detect software aging in real, complex software systems. Our selection of aging detection tools is in part based on the SAR literature, including international conferences on dependability (DSN, ISSRE, SRDS), conferences and journals on software engineering, and the WoSAR workshop, the main international event devoted to SAR research. Moreover, we complemented this selection by popular commercial tools, and by tools from technical sources by developers, such as blogs. For each tool, we analyze its internals, use cases, the aging symptoms that it addresses, and relevant applications in real case studies.We included tools for native software, such as systems software written in C and C++, which monitor resource consumption at the OS level and probe software internals, such as heap allocations. Representative tools of this kind include the SNMP-based Proactive Fault Management (PFM) tool for monitoring and detection over SNMP, Valgrind and Memcheck for user-level analysis, and SystemTap and Kprobes for kernel-level analysis. Moreover, we included tools for Java software, such as web and enterprise applications, which monitor performance and resource consumption at the JVM level. Considered tools of this kind include LeakBot, Plumbr, Eclipse Memory Analyzer, and JVMMon.
大量与软件老化和再生(SAR)相关的研究致力于设计、实现和评估用于检测复杂软件系统中软件老化的工具。这些工具的重要性有两个根本原因。首先,在生产环境中实现基于条件的软件复兴需要这些工具。它们可以测量老化症状的存在,例如资源消耗高或性能下降。此外,与老化预测模型结合,当老化症状表明软件老化故障迫在眉睫时,它们可以触发年轻化行动。使这些工具变得重要的第二个原因是,它们可以用于实验室环境中的软件老化分析,例如在发布产品之前的压力测试期间。这反过来又可以查明软件老化错误(如内存泄漏错误),并为开发人员提供有用的信息来修复它们。在本章中,我们回顾了研究人员和软件开发人员采用的多个重要工具,以检测真实的复杂软件系统中的软件老化。我们对老化检测工具的选择部分基于SAR文献,包括关于可靠性的国际会议(DSN, ISSRE, SRDS),软件工程的会议和期刊,以及WoSAR研讨会,这是致力于SAR研究的主要国际活动。此外,我们还通过流行的商业工具和开发人员提供的技术来源工具(如博客)来补充这些选择。对于每个工具,我们分析其内部、用例、它所处理的老化症状以及实际案例研究中的相关应用程序。我们为本地软件(例如用C和c++编写的系统软件)提供了工具,这些工具在操作系统级别监视资源消耗并探测软件内部(例如堆分配)。这种类型的代表性工具包括用于在SNMP上监视和检测的基于SNMP的主动故障管理(PFM)工具,用于用户级分析的Valgrind和Memcheck,以及用于内核级分析的SystemTap和Kprobes。此外,我们还包括用于Java软件的工具,例如web和企业应用程序,这些工具在JVM级别监视性能和资源消耗。这类工具包括LeakBot、plumber、Eclipse Memory Analyzer和JVMMon。
{"title":"SAR Handbook Chapter: Experimental Tools for Software Aging Analysis","authors":"R. Natella, A. Andrzejak","doi":"10.1109/issrew51248.2020.00096","DOIUrl":"https://doi.org/10.1109/issrew51248.2020.00096","url":null,"abstract":"A significant amount of effort in research related to software aging and rejuvenation (SAR) has been dedicated to designing, implementing, and evaluating tools for the detection of software aging in complex software systems. There are two fundamental reasons for the importance of these tools. First, these tools are required for implementing condition-based software rejuvenation in production environments. They can measure the presence of aging symptoms, such as high resource consumption or degraded performance. Moreover, jointly with aging forecasting models, they can trigger rejuvenation actions when aging symptoms point out that software aging failures are imminent. The second reason which makes these tools important is that they can be used for software aging analysis in laboratory environments, for example during stress tests before releasing a product. This can in turn pinpoint the software aging bugs (such as memory leak bugs), and provide useful information to developers to fix them.In this chapter, we review multiple prominent tools that have been adopted, both by researchers and by software developers, to detect software aging in real, complex software systems. Our selection of aging detection tools is in part based on the SAR literature, including international conferences on dependability (DSN, ISSRE, SRDS), conferences and journals on software engineering, and the WoSAR workshop, the main international event devoted to SAR research. Moreover, we complemented this selection by popular commercial tools, and by tools from technical sources by developers, such as blogs. For each tool, we analyze its internals, use cases, the aging symptoms that it addresses, and relevant applications in real case studies.We included tools for native software, such as systems software written in C and C++, which monitor resource consumption at the OS level and probe software internals, such as heap allocations. Representative tools of this kind include the SNMP-based Proactive Fault Management (PFM) tool for monitoring and detection over SNMP, Valgrind and Memcheck for user-level analysis, and SystemTap and Kprobes for kernel-level analysis. Moreover, we included tools for Java software, such as web and enterprise applications, which monitor performance and resource consumption at the JVM level. Considered tools of this kind include LeakBot, Plumbr, Eclipse Memory Analyzer, and JVMMon.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129052950","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
New Wine in an Old Bottle: N-Version Programming for Machine Learning Components 旧瓶新酒:机器学习组件的n -版本编程
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00086
A. Gujarati, S. Gopalakrishnan, K. Pattabiraman
We revisit N-version programming in the context of machine learning (ML). Generating N versions of an ML component does not require additional programming effort, but only extra computations. This opens up the possibility of executing hundreds of diverse replicas, which, if carefully deployed, can improve their overall reliability by a significant margin. We use mathematical modeling to evaluate these benefits.
我们在机器学习(ML)的背景下重新审视n版本编程。生成一个ML组件的N个版本不需要额外的编程工作,只需要额外的计算。这开启了执行数百个不同副本的可能性,如果仔细部署,可以显著提高它们的整体可靠性。我们使用数学模型来评估这些好处。
{"title":"New Wine in an Old Bottle: N-Version Programming for Machine Learning Components","authors":"A. Gujarati, S. Gopalakrishnan, K. Pattabiraman","doi":"10.1109/ISSREW51248.2020.00086","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00086","url":null,"abstract":"We revisit N-version programming in the context of machine learning (ML). Generating N versions of an ML component does not require additional programming effort, but only extra computations. This opens up the possibility of executing hundreds of diverse replicas, which, if carefully deployed, can improve their overall reliability by a significant margin. We use mathematical modeling to evaluate these benefits.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128484448","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
Similarity Calculation of Executable Using Intel Pin Instrumentation Framework 基于Intel引脚仪表框架的可执行文件相似度计算
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00066
Madhuparna Bhowmik, N. Madhumitha, B. Mohan
With the increase in the number of open-source and commercial code in the market, copyright and license infringement cases are on the rise. The lack of availability of source code makes identification a difficult task as existing techniques heavily rely on the source code. We propose two similarity measurement methods using the instruction log and the call-trace of each executable using Intel Pin tool. A Software Plagiarism Detector(SPD) was developed using the Intel Pin instrumentation tool and we have tested this approach on different small executable single-threaded and multi-threaded files. The results portray the validity of this method. We also talk about the possibility to expand this method for bigger software.
随着市场上开放源代码和商业代码数量的增加,版权和许可证侵权案件也在不断增加。由于现有技术严重依赖于源代码,源代码的缺乏使得识别成为一项困难的任务。我们提出了两种相似度测量方法:使用指令日志和使用Intel Pin工具的每个可执行程序的调用跟踪。使用英特尔Pin仪表工具开发了软件抄袭检测器(SPD),我们已经在不同的小型可执行单线程和多线程文件上测试了这种方法。结果表明了该方法的有效性。我们还讨论了将这种方法扩展到更大的软件的可能性。
{"title":"Similarity Calculation of Executable Using Intel Pin Instrumentation Framework","authors":"Madhuparna Bhowmik, N. Madhumitha, B. Mohan","doi":"10.1109/ISSREW51248.2020.00066","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00066","url":null,"abstract":"With the increase in the number of open-source and commercial code in the market, copyright and license infringement cases are on the rise. The lack of availability of source code makes identification a difficult task as existing techniques heavily rely on the source code. We propose two similarity measurement methods using the instruction log and the call-trace of each executable using Intel Pin tool. A Software Plagiarism Detector(SPD) was developed using the Intel Pin instrumentation tool and we have tested this approach on different small executable single-threaded and multi-threaded files. The results portray the validity of this method. We also talk about the possibility to expand this method for bigger software.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131267155","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
SHIFT + IWSF 2020 Workshop Committees SHIFT + IWSF 2020研讨会委员会
Pub Date : 2020-10-01 DOI: 10.1109/issrew51248.2020.00026
{"title":"SHIFT + IWSF 2020 Workshop Committees","authors":"","doi":"10.1109/issrew51248.2020.00026","DOIUrl":"https://doi.org/10.1109/issrew51248.2020.00026","url":null,"abstract":"","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"30 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120806878","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
Chapter 3: Software Rejuvenation: Key Concepts and Granularity 第三章:软件复兴:关键概念和粒度
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00092
V. Koutras, A. Platis
The chapter focuses on the classification of rejuvenation strategies based on granularity. Granularity concerns the level at which aging is detected and the level at which rejuvenation is applied to counteract aging. Besides granularity definitions, the chapter classifies most of the existing rejuvenation literature with respect to the granularity level.
本章重点介绍了基于粒度的复兴策略分类。粒度涉及到检测老化的级别和应用恢复以抵消老化的级别。除了粒度定义外,本章还根据粒度级别对大多数现有的复兴文献进行了分类。
{"title":"Chapter 3: Software Rejuvenation: Key Concepts and Granularity","authors":"V. Koutras, A. Platis","doi":"10.1109/ISSREW51248.2020.00092","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00092","url":null,"abstract":"The chapter focuses on the classification of rejuvenation strategies based on granularity. Granularity concerns the level at which aging is detected and the level at which rejuvenation is applied to counteract aging. Besides granularity definitions, the chapter classifies most of the existing rejuvenation literature with respect to the granularity level.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"365 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122852035","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
eAPT: enhancing APT with a mirror site resolver eAPT:使用镜像站点解析器增强APT
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00048
Gilhee Lee, Taegeun Moon, Min-Sung Jang, Hyoungshick Kim
Advanced Packaging Tool (APT) is a package manager used in Debian Linux distributions. By default, APT is configured to use the official central repository, but it also allows users to modify and add alternative repositories easily. Since using geographically closer servers can boost the download speed, many users adopt mirror sites in their country instead of the default repository. However, it is often challenging for users to select an appropriate mirror site. First, users have to change the repository URL manually with insufficient information about mirror sites. Second, if the mirror site in use is not working, APT cannot find an alternative mirror site in an automated manner. To address these problems and improve the user experience of APT, we propose the enhanced Advanced Packaging Tool (eAPT) which is built on the top of APT with a mirror site resolver to find the optimal mirror site based on the user’s geographical location in terms of the package installation time and stability even when some mirror sites are not responsible. Our experimental results demonstrate that eAPT is about between 8 and 10 times faster than APT for installing large sized packages (e.g., openjdk-11-jdk or android-sdk) in India and Australia.
高级打包工具(APT)是Debian Linux发行版中使用的包管理器。默认情况下,APT被配置为使用官方的中央存储库,但它也允许用户轻松地修改和添加替代存储库。由于使用地理位置较近的服务器可以提高下载速度,许多用户在他们的国家采用镜像站点,而不是默认的存储库。然而,对于用户来说,选择一个合适的镜像站点往往是一个挑战。首先,用户必须在镜像站点信息不足的情况下手动更改存储库URL。其次,如果正在使用的镜像站点不能正常工作,APT无法以自动方式找到替代镜像站点。为了解决这些问题并改善APT的用户体验,我们提出了增强的高级打包工具(eAPT),它建立在APT之上,带有镜像站点解析器,即使在一些镜像站点不负责的情况下,也可以根据用户的地理位置在软件包安装时间和稳定性方面找到最优的镜像站点。我们的实验结果表明,在印度和澳大利亚,在安装大型软件包(例如openjdk-11-jdk或android-sdk)时,eAPT比APT快8到10倍。
{"title":"eAPT: enhancing APT with a mirror site resolver","authors":"Gilhee Lee, Taegeun Moon, Min-Sung Jang, Hyoungshick Kim","doi":"10.1109/ISSREW51248.2020.00048","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00048","url":null,"abstract":"Advanced Packaging Tool (APT) is a package manager used in Debian Linux distributions. By default, APT is configured to use the official central repository, but it also allows users to modify and add alternative repositories easily. Since using geographically closer servers can boost the download speed, many users adopt mirror sites in their country instead of the default repository. However, it is often challenging for users to select an appropriate mirror site. First, users have to change the repository URL manually with insufficient information about mirror sites. Second, if the mirror site in use is not working, APT cannot find an alternative mirror site in an automated manner. To address these problems and improve the user experience of APT, we propose the enhanced Advanced Packaging Tool (eAPT) which is built on the top of APT with a mirror site resolver to find the optimal mirror site based on the user’s geographical location in terms of the package installation time and stability even when some mirror sites are not responsible. Our experimental results demonstrate that eAPT is about between 8 and 10 times faster than APT for installing large sized packages (e.g., openjdk-11-jdk or android-sdk) in India and Australia.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129457033","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
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract 第一章:软件老化与复兴:一个起源-扩展摘要
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00091
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, K. Trivedi
This talk summarizes the genesis of software aging and rejuvenation as presented in the handbook of software aging and rejuvenation. It also lays out possible future directions to reflect the content of the concluding chapter of the handbook.
这个演讲总结了软件老化和复兴的起源,在软件老化和复兴的手册中提出。它还列出了未来可能的方向,以反映手册最后一章的内容。
{"title":"Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract","authors":"Alberto Avritzer, Domenico Cotroneo, Yennun Huang, K. Trivedi","doi":"10.1109/ISSREW51248.2020.00091","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00091","url":null,"abstract":"This talk summarizes the genesis of software aging and rejuvenation as presented in the handbook of software aging and rejuvenation. It also lays out possible future directions to reflect the content of the concluding chapter of the handbook.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126372147","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
TDABD: Test-Driven-Assurance-Based Development TDABD:基于测试驱动保证的开发
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00064
Jonathan C. Rowanhill, A. Hocking, William H. Hawkins
To address the problem of assuring complex modern systems, we propose assurance driven development where the inferences of assurance are themselves directly tested. We refer to this as test-driven-assurance-based development, or TDABD. TDABD focuses development on continuously testable argument reasoning with incremental and improving delivery of improving assurance targets.
为了解决保证复杂现代系统的问题,我们提出保证驱动的开发,其中保证的推论本身是直接测试的。我们将其称为基于测试驱动保证的开发,或TDABD。TDABD将开发重点放在持续可测试的论证推理上,并对改进保证目标的交付进行增量和改进。
{"title":"TDABD: Test-Driven-Assurance-Based Development","authors":"Jonathan C. Rowanhill, A. Hocking, William H. Hawkins","doi":"10.1109/ISSREW51248.2020.00064","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00064","url":null,"abstract":"To address the problem of assuring complex modern systems, we propose assurance driven development where the inferences of assurance are themselves directly tested. We refer to this as test-driven-assurance-based development, or TDABD. TDABD focuses development on continuously testable argument reasoning with incremental and improving delivery of improving assurance targets.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128533297","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
ConstBin: A Tool for Automatic Fixing of Unreproducible Builds ConstBin:用于自动修复不可复制构建的工具
Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00044
Hongjun He, Jicheng Cao, Lesheng Du, Hao Li, Shi-Chao Wang, Shengyu Cheng
Compiling a software package multiple times may result in different artifacts. This problem is called unreproducible builds, which affect the credibility of the software. Researchers mainly focus on how to automatically locate the causes for unre-producible builds. However, automatic fixing is rarely studied. In this paper, we propose ConstBin, an automated tool that helps to generate consistent artifacts. It captures unreproducible commands in a build process and automatically replace them with their fixing operations based on an extensible rules set. As far as we know, ConstBin is the first tool that fixes inconsistencies during build processes. We have evaluated this tool on 348 open source packages whose original builds are unreproducible. The results of the evaluation show that 83.91% of these builds have successfully generated consistent artifacts with the application of ConstBin.
多次编译一个软件包可能会产生不同的工件。这个问题被称为不可复制构建,它会影响软件的可信度。研究人员主要关注于如何自动定位不可复制构建的原因。然而,自动修复很少被研究。在本文中,我们提出ConstBin,这是一个帮助生成一致工件的自动化工具。它在构建过程中捕获不可再现的命令,并根据可扩展的规则集自动将它们替换为它们的修复操作。据我们所知,ConstBin是第一个在构建过程中修复不一致性的工具。我们已经在348个开放源代码包上评估了这个工具,这些包的原始构建是不可复制的。评估的结果显示,83.91%的这些构建已经成功地使用ConstBin的应用程序生成了一致的工件。
{"title":"ConstBin: A Tool for Automatic Fixing of Unreproducible Builds","authors":"Hongjun He, Jicheng Cao, Lesheng Du, Hao Li, Shi-Chao Wang, Shengyu Cheng","doi":"10.1109/ISSREW51248.2020.00044","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00044","url":null,"abstract":"Compiling a software package multiple times may result in different artifacts. This problem is called unreproducible builds, which affect the credibility of the software. Researchers mainly focus on how to automatically locate the causes for unre-producible builds. However, automatic fixing is rarely studied. In this paper, we propose ConstBin, an automated tool that helps to generate consistent artifacts. It captures unreproducible commands in a build process and automatically replace them with their fixing operations based on an extensible rules set. As far as we know, ConstBin is the first tool that fixes inconsistencies during build processes. We have evaluated this tool on 348 open source packages whose original builds are unreproducible. The results of the evaluation show that 83.91% of these builds have successfully generated consistent artifacts with the application of ConstBin.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129313952","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
期刊
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
全部 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