发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
DC-SRGM: Deep Cross-Project Software Reliability Growth Model 深度跨项目软件可靠性增长模型
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00044
Kyawt Kyawt San, H. Washizaki, Y. Fukazawa, Kiyoshi Honda, Masahiro Taga, Akira Matsuzaki
{"title":"DC-SRGM: Deep Cross-Project Software Reliability Growth Model","authors":"Kyawt Kyawt San, H. Washizaki, Y. Fukazawa, Kiyoshi Honda, Masahiro Taga, Akira Matsuzaki","doi":"10.1109/ISSREW.2019.00044","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00044","url":null,"abstract":"Previous studies have suggested that software reliability growth models (SRGMs) for cross-project predictions are more practical for ongoing development projects. Several software reliability growth models (SRGMs) have been proposed based on various factors to measure the reliability and are helpful to indicate the number of remaining defects before release. Software industries want to predict the number of bugs and monitor the situation of projects for new or ongoing development projects. However, the available data is limited for projects in the initial development phases. In this situation, applying SRGMs may incorrectly predict the future number of bugs. This paper proposes a new SRGM method using the features of previous projects to predict the number of bugs for ongoing development projects. Through a case study, we identify similar projects for a target project by k-means clustering and form new training datasets. The Recurrent Neural Network based deep long short-term memory model is built over the obtained new dataset for prediction model. According to experiment results, the prediction by the proposed deep cross-project (DC) SRGM performs better than traditional SRGMs and deep SRGMs for ongoing projects.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132709059","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
Continuous Deployment for Dependable Systems with Continuous Assurance Cases 持续部署具有持续保证案例的可靠系统
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00091
Fredrik Warg, H. Blom, Jonas Borg, Rolf Johansson
{"title":"Continuous Deployment for Dependable Systems with Continuous Assurance Cases","authors":"Fredrik Warg, H. Blom, Jonas Borg, Rolf Johansson","doi":"10.1109/ISSREW.2019.00091","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00091","url":null,"abstract":"An assurance case contains a structured argument supported by evidence, demonstrating that a system fulfils a certain quality attribute such as safety, cybersecurity or reliability. The traditional way of building assurance cases is, however, not well suited to continuous deployment, and difficult to maintain with a product structure where many variants and frequent new versions must be managed. By integrating the assurance work with product development in continuous assurance cases, which are updated and assessed iteratively, we claim continuous deployment of dependability-critical products is possible to achieve. In this paper we propose a work process combining the use of component-based design, contracts, modular assurance cases, and continuous assessment to enable continuous deployment in the context of product lines.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124496347","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}
引用次数: 10
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models 用于创建和维护与系统模型集成的保证参数的工具支持
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00093
Carmen Cârlan, Vivek Nigam, S. Voss, Alexandros Tsalidis
{"title":"ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models","authors":"Carmen Cârlan, Vivek Nigam, S. Voss, Alexandros Tsalidis","doi":"10.1109/ISSREW.2019.00093","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00093","url":null,"abstract":"Assurance cases are collections of standard-mandated documents that entail the specification of system's objectives and a collection of processes, development or verification evidence regarding the satisfaction of the respective objectives. A considerable amount of work has been done in the direction of modelling assurance cases, to support communication and reasoning regarding the system's safety. In this work, we present a set of features of ExplicitCase - a tool for modeling assurance cases. While there is a plethora of tools for creating and managing model-based assurance cases, the uniqueness of our tool is that it integrates assurance case models with system models created in AutoFOCUS3 (AF3) - an open-source model-based development tool for embedded software systems. While trying to keep up with state-of-the-art assurance case editors, the newly implemented features support assurance case creation using typed patterns, change impact analysis for assurance cases, assessment of the confidence in the created assurance arguments, export of the argumentation diagrams generated in ExplicitCase and integration of assurance case models with system models created in AutoFOCUS3. In particular, based on the integration with AF3 system models, we propose automatic support for detecting the impact of a change within system models on the assurance case model, thus enabling the integrated development of system and assurance case models.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128368480","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
Synthetic Dataset Generation with Itemset-Based Generative Models 基于项集生成模型的合成数据集生成
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00086
Christian Lezcano, Marta Arias
{"title":"Synthetic Dataset Generation with Itemset-Based Generative Models","authors":"Christian Lezcano, Marta Arias","doi":"10.1109/ISSREW.2019.00086","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00086","url":null,"abstract":"This paper proposes three different data generators, tailored to transactional datasets, based on existing itemset-based generative models. All these generators are intuitive and easy to implement and show satisfactory performance. The quality of each generator is assessed by means of three different methods that capture how well the original dataset structure is preserved.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127033156","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
Big-Data Applications as Self-Adaptive Systems of Systems 大数据应用作为系统的自适应系统
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00066
L. Baresi, G. Denaro, G. Quattrocchi
{"title":"Big-Data Applications as Self-Adaptive Systems of Systems","authors":"L. Baresi, G. Denaro, G. Quattrocchi","doi":"10.1109/ISSREW.2019.00066","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00066","url":null,"abstract":"Virtualization technologies have enabled a new way of thinking of computing resources and cloud computing frameworks offer many pay-per-use solutions for renting these resources. Conventional physical servers had to be acquired, provisioned, and configured beforehand; virtual resources can be allocated on demand, and changes can be managed quickly. Deploying systems on virtualized resources allows one to allocate resources given the actual workload and KPIs of interest, but it requires that resource management be part of the system itself. Traditional application components must be augmented with probes and actuators to sense the application behavior and provision resources accordingly. Big data applications are a prominent example of these modern systems, and the paper discusses dynaSpark, that is, the work done by the authors to extend Spark standalone —a well-known framework widely used for parallel processing and big data applications— and augment it with resource management capabilities. It also introduces the key problems the integration and the particular batch applications bring in, and identifies additional aspects that are still to be taken into account and that would lead to a better solution.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129225444","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
Triforce QNX Syscall Fuzzer Triforce QNX系统呼叫模糊器
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00043
Pallavi Pandey, Anupam Sarkar, A. Banerjee
{"title":"Triforce QNX Syscall Fuzzer","authors":"Pallavi Pandey, Anupam Sarkar, A. Banerjee","doi":"10.1109/ISSREW.2019.00043","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00043","url":null,"abstract":"The task of mitigating kernel vulnerabilities in a RTOS kernel like QNX is of utmost importance in recent times. AFL is probably one of the most effective fuzzing tools available, with its functionalities for feedback driven and instrumented fuzzing. In this paper, we present our experience report on developing an environment for fuzzing QNX kernel using AFL.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123341548","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
An Analysis of Factors Affecting Software Safety in the Aerospace Industry 航空航天工业软件安全影响因素分析
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00097
Wenlu Li, Qiuying Li
{"title":"An Analysis of Factors Affecting Software Safety in the Aerospace Industry","authors":"Wenlu Li, Qiuying Li","doi":"10.1109/ISSREW.2019.00097","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00097","url":null,"abstract":"This paper presents the results of an empirical investigation of the factors that affect software safety based on an online survey with 99 practitioners from Chinese aviation organizations. The study proposes twenty potential factors covering five different categories (e.g., requirements, coding, testing, safety analysis, others). The survey focuses on the perspectives of the primary participants, managers, programmers, testers, consisting of a Likert scale evaluation of factors and questions about the participants' background. Many statistical analysis techniques, such as the relative weight method, correlation analysis, factor analysis and analysis of variance technique, are taken to analyze these factors. The findings are of great significance for further research and guidance on the development of safety-critical software. For practitioners, it provides estimates and quick guidance for software safety. The studies in this paper will be useful to the software safety community in aerospace industry as well as the wider software development community.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121815743","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
IDEAR 2019 Workshop Committees IDEAR 2019研讨会委员会
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/issrew.2019.00026
{"title":"IDEAR 2019 Workshop Committees","authors":"","doi":"10.1109/issrew.2019.00026","DOIUrl":"https://doi.org/10.1109/issrew.2019.00026","url":null,"abstract":"","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133037066","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
Message from the IDEAR 2019 Workshop Chairs IDEAR 2019研讨会主席致辞
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/issrew.2019.00025
{"title":"Message from the IDEAR 2019 Workshop Chairs","authors":"","doi":"10.1109/issrew.2019.00025","DOIUrl":"https://doi.org/10.1109/issrew.2019.00025","url":null,"abstract":"The IDEAR Workshop has extended the highly successful International Workshop on Program Debugging (IWPD) to include the program repair aspects, which are of major importance to modern software development such as in continuous integration. The goal of the IDEAR Workshop is to highlight the most pressing challenges and innovative solutions associated with program debugging and repair, especially with respect to software business, methodologies, techniques, environments, and human factors. Industry experience reports and empirical studies are also targeted by the workshop. We aim to bring together researchers and practitioners to discuss the latest advancements, and to identify further challenges that must be overcome. We would like to thank the program committee members for their support at shaping the workshop program; the organizers of the ISSRE conference for kindly hosting the IDEAR Workshop; and the research community for their valued contributions to the workshop.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116753960","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
TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka TRAK:一个用于研究Apache Kafka数据传输可靠性的测试工具
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00101
Han Wu, Zhihao Shang, K. Wolter
{"title":"TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka","authors":"Han Wu, Zhihao Shang, K. Wolter","doi":"10.1109/ISSREW.2019.00101","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00101","url":null,"abstract":"In modern applications the demand for real-time processing of high-volume data streams is growing. Common application scenarios include market feed processing and electronic trading, maintenance of IoT devices and fraud detection. In some scenarios reliability is the utmost concern while in others speed and simplicity are the top priority. Apache Kafka is a high-throughput distributed messaging system and its reliable stream delivery capability makes it an ideal source of data for stream-processing systems. With various configurable parameters Kafka is very flexible in reliable data delivery thus allowing all kinds of reliability tradeoffs. In this paper we introduce a tool for Testing the Reliability of Apache Kafka (TRAK), to study different data delivery semantics in Kafka and compare their reliability under poor network quality. We build a Kafka testbed using Docker containers and use a network emulation tool to control the network delay and loss. Two metrics, message loss rate and duplicate rate, are used in our experiments to evaluate the reliability of data delivery in Kafka. The experimental results show that under high network delay the size of messages matters. The at-least-once semantics is more reliable than at-most-once in a network with high packet loss, but can lead to duplicated messages.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115798948","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}
引用次数: 11
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信