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

An Empirical Comparison of Two Different Strategies to Automated Fault Detection: Machine Learning Versus Dynamic Analysis 两种不同的自动故障检测策略的经验比较:机器学习与动态分析

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00099

Rafig Almaghairbe, M. Roper

{"title":"An Empirical Comparison of Two Different Strategies to Automated Fault Detection: Machine Learning Versus Dynamic Analysis","authors":"Rafig Almaghairbe, M. Roper","doi":"10.1109/ISSREW.2019.00099","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00099","url":null,"abstract":"Software testing is an established method to ensure software quality and reliability, but it is an expensive process. In recent years, the automation of test case generation has received significant attention as a way to reduce costs. However, the oracle problem (a mechanism for determine the (in) correctness of an executed test case) is still major problem which has been largely ignored. Recent work has shown that building a test oracle using the principles of anomaly detection techniques (mainly semisupervised/ unsupervised learning models based on dynamic execution data consisting of an amalgamation of input/output pairs and execution traces) is able to demonstrate a reasonable level of success in automatically detect passing and failing execution [1], [2]. In this paper, we present a comparison study between our machine-learning based approaches and an existing techniques from the specification mining domain (the data invariant detector Daikon [3]). The two approaches are evaluated on a range of midsized systems and compared in terms of their fault detection ability. The results show that in most cases semi-supervised learning techniques perform far better as an automated test classifier than Daikon. However, there is one system for which our strategy struggles and Daikon performed far better. Furthermore, unsupervised learning techniques performed on a par when compared with Daikon in several cases.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"35 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":"134293393","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

Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems 面向智能生态系统恶意行为检测的运行时监控

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00072

Emilia Cioroaica, F. Giandomenico, T. Kuhn, F. Lonetti, E. Marchetti, J. Jahic, Frank Schnicke

引用次数: 2

IWSF 2019 Workshop Committees IWSF 2019研讨会委员会

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/issrew.2019.00029

引用次数: 0

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering 计算机辅助技术支持安全与安保协同工程

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00095

Antoaneta Kondeva, Vivek Nigam, H. Ruess, Carmen Cârlan

引用次数: 9

Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization 通过基于sgx的轻量级虚拟化隔离实时安全关键型嵌入式系统

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-09-20 DOI: 10.1109/ISSREW.2019.00089

L. Simone, Giovanni Mazzeo

{"title":"Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization","authors":"L. Simone, Giovanni Mazzeo","doi":"10.1109/ISSREW.2019.00089","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00089","url":null,"abstract":"A promising approach for designing critical embedded systems is based on virtualization technologies and multi-core platforms. These enable the deployment of both real-time and general-purpose systems with different criticalities in a single host. Integrating virtualization while also meeting the real-time and isolation requirements is non-trivial, and poses significant challenges especially in terms of certification. In recent years, researchers proposed hardware-assisted solutions to face issues coming from virtualization, and recently the use of Operating System (OS) virtualization as a more lightweight approach. Industries are hampered in leveraging this latter type of virtualization despite the clear benefits it introduces, such as reduced overhead, higher scalability, and effortless certification since there is still lack of approaches to address drawbacks. In this position paper, we propose the usage of Intel's CPU security extension, namely SGX, to enable the adoption of enclaves based on unikernel, a flavor of OS-level virtualization, in the context of real-time systems. We present the advantages of leveraging both the SGX isolation and the unikernel features in order to meet the requirements of safety-critical real-time systems and ease the certification process.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121293685","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

Anomaly Detection As-a-Service 异常检测即服务

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-09-18 DOI: 10.1109/ISSREW.2019.00071

M. Mobilio, Matteo Orrù, O. Riganelli, Alessandro Tundo, L. Mariani

引用次数: 8

Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development 关于连续核模糊与开发交互作用的经验注释

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-09-05 DOI: 10.1109/ISSREW.2019.00084

Jukka Ruohonen, Kalle Rindell

引用次数: 4

Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems 将SQuaRE应用于人工智能系统的质量评估

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-07-31 DOI: 10.1109/ISSREW.2019.00035

Hiroshi Kuwajima, F. Ishikawa

引用次数: 25