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

A Fault Localization Method Based on Similarity Weighting with Unlabeled Test Cases 基于相似度加权的无标记测试用例故障定位方法

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00061

Xunli Yang, B. Liu, Dong An, Wandong Xie, Wei Wu

{"title":"A Fault Localization Method Based on Similarity Weighting with Unlabeled Test Cases","authors":"Xunli Yang, B. Liu, Dong An, Wandong Xie, Wei Wu","doi":"10.1109/QRS-C57518.2022.00061","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00061","url":null,"abstract":"In software fault localization problems, existing fault localization algorithms usually rely heavily on the perfection of test oracle. But in practice, there are a large number of test cases that lack accurate execution results. In order to utilize on unlabeled test cases, many test prediction and use case filter methods have been proposed. However, these methods ignore the similarity between test cases, which has been proven effective in fault localization studies using labeled test cases. Therefore, this paper proposes a fault localization method based on similarity weighting with unlabeled test cases. It uses the similarity of unlabeled test cases filtered by information entropy and labeled failed test cases as weights, and weights the suspicion calculation coefficients to enhance the importance of use cases similar to the failed cases. The experimental results show that similarity weighting effectively improves fault localization efficiency on all three program sets and all three localization algorithms. It can be seen that similarity of use case information also has an important role in the use of unlabeled test cases.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114225129","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

What Should Abeeha do? an Activity for Phishing Awareness 阿比哈应该怎么做?一个提高钓鱼意识的活动

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00120

R. Fatima, Affan Yasin, Lin Liu, Jianmin Wang

引用次数: 0

A Selective Maintenance Strategy on Network-Based System with Constrained Flow 具有约束流的网络系统的选择性维护策略

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00070

Wenjin Zhu, Zhifeng Zheng

{"title":"A Selective Maintenance Strategy on Network-Based System with Constrained Flow","authors":"Wenjin Zhu, Zhifeng Zheng","doi":"10.1109/QRS-C57518.2022.00070","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00070","url":null,"abstract":"The railway network, power system and pipeline system can be modeled as a network with many nodes and arcs with constrained flow. These critical infrastructures are designed to fulfill some continuous missions, such as traffic flow and electricity. However, due to aging and load-stress, the healthy state of the system will degrade and the reliability will decrease gradually. Different from the other systems which can be shut down for maintenance, the network-based system must provide continuous service meanwhile keep its reliability at a certain criterion. Thus, in this paper, a system is modeled by a network with single-origin and single-destination. The arcs degrade gradually and are modeled by a Gamma distribution with load-stress. The minimum flow of the network should be satisfied all the time. A selective maintenance strategy with sliding maintenance window is proposed based on the remaining useful life and the maximum change of network flow of each arcs. The aim of this study is to optimize the maintenance sequence of the arcs and meanwhile keep the continuous constraint of the network flow. Some numerical simulations will be conducted.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117209388","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

Evaluation of Software Testing Adequacy based on AHP and BPNN 基于AHP和BPNN的软件测试充分性评价

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00031

Wenhong Liu, Jinliang Gao, Qiong Xue, Dong Guo, Wei Zhang

引用次数: 0

RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization 通过非结构化控制专门化实现C到Rust的有效转换

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00122

Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang

{"title":"RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization","authors":"Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang","doi":"10.1109/QRS-C57518.2022.00122","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00122","url":null,"abstract":"Rust is an emerging programming language designed for both performance and security, and thus many research efforts have been conducted recently to migrate legacy code bases in C/C++ to Rust to exploit Rust's safety benefits. Unfortunately, prior studies on C to Rust conversion still have three limitations: 1) complex structure; 2) code explosion; and 3) poor performance. These limitations greatly affect the effectiveness and usefulness of such conversions. This paper presents Rusty, the first system for effective C to Rust code conversion via unstructured control specialization. The key technical insight of Rusty is to implement C-style syntactic sugars on top of Rust, thus eliminating the discrepancies between the two languages. We have implemented a software prototype for Rusty and conducted experiments to evaluate the effectiveness and testify the usefulness of it by applying Rusty to micro-benchmarks, as well as 3 real-world C projects: 1) Vim; 2) cURL; and 3) the silver searcher. And experimental results demonstrated that Rusty is effective in eliminating unstructured controls, reducing the code size by 16% on average with acceptable overhead (less than 61 microseconds per line of C code).","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129197157","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

Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System 电网安全稳定控制策略系统建模方法及正确性验证

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00091

Hengfei Yang, Bo Shen, G. Xu, Yonghua Chen

引用次数: 0

An Excellence Level Evaluation Model of Intelligent Manufacturing Unit 智能制造单元卓越水平评价模型

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00071

An Wu, Chen Zheng, Zao Hou, Feng Duan, Zhiqiang Cai

引用次数: 0

Using Fuzzing to Help Abstract Interpretation Based Program Verification 利用模糊测试帮助基于抽象解释的程序验证

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00133

Renjie Huang, Banghu Yin, Liqian Chen

引用次数: 0

Hierarchical Action Embedding for Effective Autonomous Penetration Testing 有效自主渗透测试的分层动作嵌入

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00030

H. Nguyen, T. Uehara

引用次数: 0

Feature Difference based Misclassified Sample Detection for CNN Models Deployed in Online Environment 基于特征差分的在线环境下CNN模型误分类样本检测

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI: 10.1109/QRS-C57518.2022.00126

Changtian He, Qing Sun, Ji Wu, Hai-yan Yang, Tao Yue

引用次数: 1