2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)最新文献

An improved mapping method for automated consistency check between software architecture and source code 一种改进的用于软件架构与源代码之间自动一致性检查的映射方法

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00021

Fangwei Chen, Li Zhang, Xiaoli Lian

{"title":"An improved mapping method for automated consistency check between software architecture and source code","authors":"Fangwei Chen, Li Zhang, Xiaoli Lian","doi":"10.1109/QRS51102.2020.00021","DOIUrl":"https://doi.org/10.1109/QRS51102.2020.00021","url":null,"abstract":"In daily software development, inconsistencies between architecture and code inevitably occur with the continuous contribution, even under model-driven development which can trace between design and code. Many methods have been proposed for consistency checking, but most require huge human efforts on establishing the mappings between architectural and code elements. Besides, the multi-layered architecture and code increases the difficulties in inconsistency detection, while existing algorithms do not handle this well. Thus, we propose an improved mapping method for automated consistency check between software architecture and Java implementation, with the premises that initial tracing between architecture and code are established. To be specific, during software evolution, our method can automatically re-establish the mappings between architecture and code using initial tracing information. Then, with detailed inconsistency check rules, we detect the inconsistencies heuristically. Experiments with two projects show our method’s high effectiveness with more than 98% of recall and 96% of precision.","PeriodicalId":301814,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115156293","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

Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity 基于行为森林相似性的智能庞氏骗局合约早期检测

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00047

Weisong Sun, Guangyao Xu, Z. Yang, Zhenyu Chen

{"title":"Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity","authors":"Weisong Sun, Guangyao Xu, Z. Yang, Zhenyu Chen","doi":"10.1109/QRS51102.2020.00047","DOIUrl":"https://doi.org/10.1109/QRS51102.2020.00047","url":null,"abstract":"Smart contracts empowered by blockchains often manage digital assets in a distributed and decentralized environment. People believe in smart contracts based on these new technologies. Unfortunately, malicious smart contacts, such as smart Ponzi scheme contracts (ponzitracts, for short), pose risk. Existing techniques detect ponzitracts by analyzing the code as well as a large amount of transaction data after time-consuming deployment. However, a conclusion based on transaction data can only be gotten after the damage has been caused. This paper proposes PonziDetector, a ponzitract detection technique that does not rely on transaction data. Behavior forest is introduced into PonziDetector to capture dynamic behaviors of smart contracts during interacting with them, which makes it possible to early detect ponzitracts. The empirical study demonstrates that PonziDetector, without transaction data, can improve the precision and the recall of the state-of-the-art to 94.6% and 93.0% respectively. This means that PonziDetector can avoid potential losses by early detecting ponzitracts.","PeriodicalId":301814,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125072713","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

Pull Request Prioritization Algorithm based on Acceptance and Response Probability 基于接受和响应概率的拉请求优先排序算法

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00041

M. Azeem, Q. Peng, Qing Wang

引用次数: 3

Towards Analyzing Contributions from Software Repositories to Optimize Issue Assignment 分析软件库贡献以优化问题分配

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00042

Vasileios Matsoukas, Themistoklis G. Diamantopoulos, Michail D. Papamichail, A. Symeonidis

引用次数: 5

Revisiting the Impact of Concept Drift on Just-in-Time Quality Assurance 重新审视概念漂移对准时制质量保证的影响

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00020

K. E. Bennin, N. Ali, J. Börstler, Xiao Yu

引用次数: 6

Continuous Implicit Authentication through Touch Traces Modelling 通过触摸轨迹建模的连续隐式认证

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00026

Thomas Karanikiotis, Michail D. Papamichail, Kyriakos C. Chatzidimitriou, Napoleon-Christos I. Oikonomou, A. Symeonidis, S. Saripalle

引用次数: 7

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems STSL:一种新的网络物理系统时空规范语言

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00048

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hongya Wang

{"title":"STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems","authors":"Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hongya Wang","doi":"10.1109/QRS51102.2020.00048","DOIUrl":"https://doi.org/10.1109/QRS51102.2020.00048","url":null,"abstract":"Combining spatial and temporal primitives together is quite useful to specify dynamic behaviors of cyber-physical systems. The ability to represent spatiotemporal properties by means of formulas in spatiotemporal logics has recently found important applications in various fields, such as runtime verification, parameter synthesis, contract-Based design. In this paper, we present a spatiotemporal specification language, STSL, by combining Signal Temporal Logic (STL) with a spatial logic $mathcal{S}{4_u}$, to characterize spatiotemporal dynamic behaviors of cyber-physical systems. This language is highly expressive: it allows the description of quantitative signals, by expressing spatiotemporal traces over real valued signals in dense time, and Boolean signals, by constraining values of spatial objects across threshold predicates. STSL combines the power of temporal modalities and spatial operators, and enjoys important properties such as safety and liveness. We provide the falsification problem through extending Lemire’s algorithm and a parameter synthesis procedure by calling the simulated annealing algorithm. We demonstrate the proposed approaches on adaptive cruise control system and path planning of quadrotors.","PeriodicalId":301814,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126198366","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}

引用次数: 4

PBLInv: Postcondition-based Loop Invariant Learning for C Programs 基于后置条件的C程序循环不变量学习

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00013

Hong Lu, Chengyi Wang, Jiacheng Gui, Hao Huang

引用次数: 0

On the Link Between Refactoring Activity and Class Cohesion Through the Prism of Two Cohesion-Based Metrics 从两个基于内聚度量的棱镜看重构活动和类内聚之间的联系

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00024

S. Counsell, Giuseppe Destefanis, S. Swift, Mahir Arzoky, D. Taibi

{"title":"On the Link Between Refactoring Activity and Class Cohesion Through the Prism of Two Cohesion-Based Metrics","authors":"S. Counsell, Giuseppe Destefanis, S. Swift, Mahir Arzoky, D. Taibi","doi":"10.1109/QRS51102.2020.00024","DOIUrl":"https://doi.org/10.1109/QRS51102.2020.00024","url":null,"abstract":"The practice of refactoring has evolved over the past thirty years to become standard developer practice; for almost the same amount of time, proposals for measuring object-oriented cohesion have also been suggested. Yet, we still know very little about their inter-relationship empirically, despite the fact that classes exhibiting low cohesion would be strong candidates for refactoring. In this paper, we use a large set of refactorings to understand the characteristics of two cohesion metrics from a refactoring perspective. Firstly, through the well-known LCOM metric of Chidamber and Kemerer and, secondly, the C3 metric proposed more recently by Marcus et al. Our research question is motivated by the premise that different refactorings will be applied to classes with low cohesion compared with those applied to classes with high cohesion. We used three open-source systems as a basis of our analysis and on data from the lower and upper quartiles of metric data. Results showed that the set of refactoring types across both upper and lower quartiles was broadly the same, although very different in actual numbers. The ‘rename method' refactoring stood out from the rest, being applied over three times as often to classes with low cohesion than to classes with high cohesion.","PeriodicalId":301814,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125633711","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

Defect Prediction via LSTM Based on Sequence and Tree Structure 基于序列和树形结构的LSTM缺陷预测

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-12-01 DOI: 10.1109/QRS51102.2020.00055

Xuan Zhou, Lu Lu

引用次数: 7