2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)最新文献_第9页

MuNN: Mutation Analysis of Neural Networks 神经网络的突变分析

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00032

Weijun Shen, Jun Wan, Zhenyu Chen

{"title":"MuNN: Mutation Analysis of Neural Networks","authors":"Weijun Shen, Jun Wan, Zhenyu Chen","doi":"10.1109/QRS-C.2018.00032","DOIUrl":"https://doi.org/10.1109/QRS-C.2018.00032","url":null,"abstract":"Deep neural networks have made amazing progress in many areas over the past few years. After training deep neural networks, a common way is to build a set of test samples to evaluate the networks. However, test adequacy of deep neural networks is overlooked in both research and practice. This paper proposes MuNN, a mutation analysis method for (deep) neural networks, inspired by the success of mutation analysis in conventional software testing. Five mutation operators are designed on the characteristics of neural networks. The well known dataset MNIST has been used in our experiment. We study two research questions: (1) How does mutation affect neural networks; (2) How does neural depth affect mutation analysis. The experimental results show that mutation analysis of neural networks has strong domain characteristics. This indicates that domain mutation operators are needed to enhance mutation analysis. The experimental results also show that the mutation effects are gradually weakened with the deepening of neurons. We need to design new mutation mechanism for deep neural networks. We believe that mutation analysis can not only be used to measure test adequacy, but also be used to understand neural network operation.","PeriodicalId":199384,"journal":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125600557","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}

引用次数: 57

An AI Software Test Method Based on Scene Deductive Approach 一种基于场景演绎的人工智能软件测试方法

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00017

Xinghan Zhao, Xiangfei Gao

引用次数: 5

A Data-Driven Smart Fault Diagnosis Method for Electric Motor 一种数据驱动的电动机智能故障诊断方法

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00053

Xiaodong Gou, Chong Bian, F. Zeng, Qingyang Xu, Wencai Wang, Shunkun Yang

{"title":"A Data-Driven Smart Fault Diagnosis Method for Electric Motor","authors":"Xiaodong Gou, Chong Bian, F. Zeng, Qingyang Xu, Wencai Wang, Shunkun Yang","doi":"10.1109/QRS-C.2018.00053","DOIUrl":"https://doi.org/10.1109/QRS-C.2018.00053","url":null,"abstract":"The electric motor is the elementary device of modern industry system, and its timely fault diagnosis leads to reduce the maintenance costs and downtime, and improve system reliability. This paper deals with the problem of fault diagnosis of electric motor based on power signal, and a data-driven fault diagnosis method based on genetic algorithm (GA) optimized support vector machine (SVM) is presented. The feature presentation, feature selection and feature extraction are applied as data preprocessing methods to reduce data dimensions, that is, we implement feature representation by the time domain analysis method and the range analysis method, and the fisher discriminant analysis is used for feature selection, and the locally linear embedding (LLE) is used for feature extraction. Then the GA is used to optimize the SVM classifier for fault classification after data preprocessing. Our method can obtain good fault classification effect, and the experimental results show that the classification accuracy of the proposed method is better than that of probabilistic neural network, and the feasibility and effectiveness of this proposed method in fault diagnosis of electric motor are proved.","PeriodicalId":199384,"journal":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127600600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Stateless Multiparty Trust Negotiation Protocol for Distributed Systems 分布式系统无状态多方信任协商协议

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00090

M. Allouzi, J. Khan

{"title":"Stateless Multiparty Trust Negotiation Protocol for Distributed Systems","authors":"M. Allouzi, J. Khan","doi":"10.1109/QRS-C.2018.00090","DOIUrl":"https://doi.org/10.1109/QRS-C.2018.00090","url":null,"abstract":"One of the most challenging problems in managing open distributed systems is specifying and enforcing security policies that regulate communications between peers and access to sensitive credentials. Existing academic research in Trust Management (TM) mainly focuses on establishing trust between two entities using the Automatic Trust Negotiation (ATN). However, real-word authorization processes, such as Service Level Agreement Negotiation (SLA), often involves more than two parties. Decomposition is insufficient to reduce an automated Multiparty Authorization into individual Automated Trust Negotiations, as individual negotiations may depend on one another; therefore, negotiation needs to be concurrent for the negotiation process to succeed. This paper proposes a distributed protocol that performs the trust establishment without a centralized moderator. Along with this protocol, a negotiation resolution algorithm known as Stateless Eager Multiparty Trust Negotiation strategy (SEMTN) is proposed in order to orchestrate the multiparty trust negotiation process. This paper shows that SEMTN is stateless, safe, and complete.","PeriodicalId":199384,"journal":{"name":"2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129067678","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

Smart Contracts for a Mobility-as-a-Service Ecosystem 移动即服务生态系统的智能合约

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00036

A. Karinsalo, Kimmo Halunen

引用次数: 19

Research on Abnormal Behavior Detection Technology of Launch Vehicle Controlled Network 运载火箭控制网络异常行为检测技术研究

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00073

Yang Liu, Qingping Shi, Xiaotao Yan, Heng Zhang, Hang Yi, Weiqiang Xia, Hongwei Ma, Jian Kang

引用次数: 0

A Software Defect Management System Based on Knowledge Base 基于知识库的软件缺陷管理系统

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00118

Haiyan Chai, N. Zhang, Bojiang Liu, Longli Tang

引用次数: 5

A Test Path Generation Method Based on SSM Models 基于SSM模型的测试路径生成方法

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00048

Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao

引用次数: 0

Chairs of Workshops Co-Located with QRS 2018 研讨会主席与QRS 2018同地

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/qrs-c.2018.00012

Song Huang

引用次数: 0

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration 可适应Web服务编排的正式事务建模和验证

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Pub Date : 2018-07-01 DOI: 10.1109/QRS-C.2018.00095

S. Zatout, M. Benabdelhafid, Mahmoud Boufaïda

引用次数: 4