Journal of Systems and Software最新文献_第10页

Do code reviews lead to fewer code smells? 代码审查会减少代码臭味吗？

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-20 DOI: 10.1016/j.jss.2024.112101

Erdem Tuna , Carolyn Seaman , Eray Tüzün

{"title":"Do code reviews lead to fewer code smells?","authors":"Erdem Tuna , Carolyn Seaman , Eray Tüzün","doi":"10.1016/j.jss.2024.112101","DOIUrl":"10.1016/j.jss.2024.112101","url":null,"abstract":"<div><h3>Context:</h3><p>The code review process is conducted by software teams with various motivations. Among other goals, code reviews act as a gatekeeper for software quality.</p></div><div><h3>Objective:</h3><p>In this study, we explore whether code reviews have an impact on one specific aspect of software quality, software maintainability. We further extend our investigation by analyzing whether code review process quality (as evidenced by the presence of code review process smells) influences software maintainability (as evidenced by the presence of code smells).</p></div><div><h3>Method:</h3><p>We investigate whether smells in the code review process are related to smells in the code that was reviewed by using correlation analysis. We augment our quantitative analysis with a focus group study to learn practitioners’ opinions.</p></div><div><h3>Results:</h3><p>Our investigations revealed that the level of code smells neither increases nor decreases in 8 out of 10 code reviews, regardless of the quality of the code review. Contrary to our own intuition and that of the practitioners in our focus groups, we found that code review process smells have little to no correlation with the level of code smells. We identified multiple potential reasons behind the counter-intuitive results based on our focus group data. Furthermore, practitioners still believe that code reviews are helpful in improving software maintainability.</p></div><div><h3>Conclusion:</h3><p>Our results imply that the community should update our goals for code review practices and reevaluate those practices to align them with more relevant and modern realities.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141130097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

EFACT: An External Function Auto-Completion Tool to strengthen static binary lifting EFACT：加强二进制静态提升的外部函数自动完成工具

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-17 DOI: 10.1016/j.jss.2024.112092

Yilei Zhang, Haoyu Liao, Zekun Wang, Bo Huang, Jianmei Guo

{"title":"EFACT: An External Function Auto-Completion Tool to strengthen static binary lifting","authors":"Yilei Zhang, Haoyu Liao, Zekun Wang, Bo Huang, Jianmei Guo","doi":"10.1016/j.jss.2024.112092","DOIUrl":"10.1016/j.jss.2024.112092","url":null,"abstract":"<div><p>Static binary lifting is essential in binary rewriting frameworks. Existing tools overlook the impact of External Function Completion (EXFC) in static binary lifting. EXFC recovers the declarations of External Functions (EXFs, functions defined in standard shared libraries) using only the function symbols available. Incorrect EXFC can misinterpret the source binary, or cause memory overflows in static binary translation, which eventually results in program crashes. Notably, existing tools struggle to recover the declarations of mangled EXFs originating from binaries compiled from C++. Moreover, they require time-consuming manual processing to support new libraries.</p><p>This paper presents EFACT, an External Function Auto-Completion Tool for static binary lifting. Our EXF recovery algorithm better recovers the declarations of mangled EXFs, particularly addressing the template specialization mechanism in C++. EFACT is designed as a lightweight plugin to strengthen other static binary rewriting frameworks in EXFC. Our evaluation shows that EFACT outperforms RetDec and McSema in mangled EXF recovery by 96.4% and 97.3% on SPECrate 2017.</p><p>Furthermore, we delve deeper into static binary translation and address several cross-ISA EXFC problems. When integrated with McSema, EFACT correctly translates 36.7% more benchmarks from x86-64 to x86-64 and 93.6% more from x86-64 to AArch64 than McSema alone on EEMBC.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141028560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Semantic interoperability for an AI-based applications platform for smart hospitals using HL7 FHIR 利用 HL7 FHIR 实现基于人工智能的智慧医院应用平台的语义互操作性

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-16 DOI: 10.1016/j.jss.2024.112093

Emmanouil S. Rigas , Paris Lagakis , Makis Karadimas , Evangelos Logaras , Dimitra Latsou , Magda Hatzikou , Athanasios Poulakidas , Antonis Billis , Panagiotis D. Bamidis

{"title":"Semantic interoperability for an AI-based applications platform for smart hospitals using HL7 FHIR","authors":"Emmanouil S. Rigas , Paris Lagakis , Makis Karadimas , Evangelos Logaras , Dimitra Latsou , Magda Hatzikou , Athanasios Poulakidas , Antonis Billis , Panagiotis D. Bamidis","doi":"10.1016/j.jss.2024.112093","DOIUrl":"10.1016/j.jss.2024.112093","url":null,"abstract":"<div><p>The digitization of the healthcare domain has the potential to drastically improve healthcare services, reduce the time to diagnosis, and lower costs. However, digital applications for the healthcare domain need to be interoperable to maximize their potential. Additionally, with the rapid expansion of Artificial Intelligence (AI) and, specifically, Machine Learning (ML), large amounts of diverse types of data are being utilized. Thus, to achieve interoperability in such applications, the adoption of common semantic data models becomes imperative. In this paper, we describe the adoption of such a common semantic data model, using the well-known Health Level Seven Fast Health Interoperability Resources (HL7 FHIR) standard, in a platform that assists in the creation and storage of a plethora of AI-based applications for several medical conditions. The FHIR server’s efficiency is being showcased by using it in an application predicting coronary artery stenosis as well as for managing the platform’s key performance indicators.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0164121224001389/pdfft?md5=f346d164625ed64202f88e37aa46e21d&pid=1-s2.0-S0164121224001389-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141044062","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Quantum circuit optimization of an integer divider 整数除法器的量子电路优化

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-10 DOI: 10.1016/j.jss.2024.112091

Francisco Orts, Remigijus Paulavičius, Ernestas Filatovas

{"title":"Quantum circuit optimization of an integer divider","authors":"Francisco Orts, Remigijus Paulavičius, Ernestas Filatovas","doi":"10.1016/j.jss.2024.112091","DOIUrl":"10.1016/j.jss.2024.112091","url":null,"abstract":"<div><p>Efficient arithmetic operations in quantum circuits play a vital role in the implementation of quantum algorithms. Quantum circuits constructed exclusively using gates of the Clifford+T group are compatible with error detection and correction codes available in the quantum literature. However, the T gate, a member of this group, has a higher cost compared to other gates, making it crucial to minimize its usage to reduce circuit expenses. While the T gate cannot be entirely avoided since the Clifford group is not a universal set of gates, circuit optimization can effectively reduce the number of T gates required for implementation. In this work, we present a novel divider circuit for quantum computing that focuses on reducing the number of T gates while maintaining a reasonable number of qubits for this type of operation. To achieve this, we introduce variants of minor circuits, including a comparator and two types of subtractors. These circuits are based on published literature but undergo modifications to optimize their resource utilization for performing the division operation. The obtained results demonstrate that the proposed divider circuit outperforms other currently published divider circuits in terms of T gate usage, highlighting its efficiency and potential practicality in quantum algorithms.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141046270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Distribution-aware fairness test generation 生成分布感知的公平性测试

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-10 DOI: 10.1016/j.jss.2024.112090

Sai Sathiesh Rajan , Ezekiel Soremekun , Yves Le Traon , Sudipta Chattopadhyay

{"title":"Distribution-aware fairness test generation","authors":"Sai Sathiesh Rajan , Ezekiel Soremekun , Yves Le Traon , Sudipta Chattopadhyay","doi":"10.1016/j.jss.2024.112090","DOIUrl":"https://doi.org/10.1016/j.jss.2024.112090","url":null,"abstract":"<div><p>Ensuring that all classes of objects are detected with equal accuracy is essential in AI systems. For instance, being unable to identify any one class of objects could have fatal consequences in autonomous driving systems. Hence, ensuring the reliability of image recognition systems is crucial. This work addresses <em>how to validate group fairness in image recognition software</em>. We propose a <em>distribution-aware fairness testing</em> approach (called DISTROFAIR) that systematically exposes class-level fairness violations in image classifiers via a synergistic combination of <em>out-of-distribution (OOD) testing</em> and <em>semantic-preserving image mutation</em>. DISTROFAIR automatically <em>learns the distribution</em> (e.g., number/orientation) of objects in a set of images. Then it <em>systematically mutates objects in the images</em> to become OOD using three <em>semantic-preserving image mutations</em> – <em>object deletion</em>, <em>object insertion</em> and <em>object rotation</em>. We evaluate DISTROFAIR using two well-known datasets (CityScapes and MS-COCO) and three major, commercial image recognition software (namely, Amazon Rekognition, Google Cloud Vision and Azure Computer Vision). Results show that about 21% of images generated by DISTROFAIR reveal class-level fairness violations using either ground truth or metamorphic oracles. DISTROFAIR is up to 2.3× more effective than two main <em>baselines</em>, i.e., (a) an approach which focuses on generating images only <em>within the distribution</em> (ID) and (b) fairness analysis using only the original image dataset. We further observed that DISTROFAIR is efficient, it generates 460 images per hour, on average. Finally, we evaluate the semantic validity of our approach via a user study with 81 participants, using 30 real images and 30 corresponding mutated images generated by DISTROFAIR. We found that images generated by DISTROFAIR are 80% as realistic as real-world images.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141163702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Beyond code: Is there a difference between comments in visual and textual languages? 代码之外：视觉语言和文本语言的注释有区别吗？

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-09 DOI: 10.1016/j.jss.2024.112087

Alexander Boll , Pooja Rani , Alexander Schultheiß , Timo Kehrer

{"title":"Beyond code: Is there a difference between comments in visual and textual languages?","authors":"Alexander Boll , Pooja Rani , Alexander Schultheiß , Timo Kehrer","doi":"10.1016/j.jss.2024.112087","DOIUrl":"10.1016/j.jss.2024.112087","url":null,"abstract":"<div><p>Code comments are crucial for program comprehension and maintenance. To better understand the nature and content of comments, previous work proposed taxonomies of comment information for textual languages, notably classical programming languages. However, paradigms such as model-driven or model-based engineering often promote the use of visual languages, to which existing taxonomies are not directly applicable. Taking MATLAB/Simulink as a representative of a sophisticated and widely used modeling environment, we extend a multi-language comment taxonomy onto new (visual) comment types and two new languages: Simulink and MATLAB. Furthermore, we outline Simulink commenting practices and compare them to textual languages. We analyze 259,267 comments from 9095 Simulink models and 17,792 MATLAB scripts. We identify the comment types, their usage frequency, classify comment information, and analyze their correlations with model metrics. We manually analyze 757 comments to extend the taxonomy. We also analyze commenting guidelines and developer adherence to them. Our extended taxonomy, SCoT (Simulink Comment Taxonomy), contains 25 categories. We find that Simulink comments, although often duplicated, are used at all model hierarchy levels. Of all comment types, Annotations are used most often; Notes scarcely. Our results indicate that Simulink developers, instead of extending comments, add new ones, and rarely follow commenting guidelines. Overall, we find Simulink comment information comparable to textual languages, which highlights commenting practice similarity across languages.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0164121224001328/pdfft?md5=4c770110e1561bfd35b9eb9bfc3fee5d&pid=1-s2.0-S0164121224001328-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141057286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Thoughts on applicability 关于适用性的思考

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-08 DOI: 10.1016/j.jss.2024.112086

Titus Winters

引用次数: 0

What is discussed about Flutter on Stack Overflow (SO) question-and-answer (Q&A) website: An empirical study Stack Overflow (SO) 问答网站上有关 Flutter 的讨论情况：实证研究

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-07 DOI: 10.1016/j.jss.2024.112089

Afit Alanazi , Reem Alfayez

{"title":"What is discussed about Flutter on Stack Overflow (SO) question-and-answer (Q&A) website: An empirical study","authors":"Afit Alanazi , Reem Alfayez","doi":"10.1016/j.jss.2024.112089","DOIUrl":"https://doi.org/10.1016/j.jss.2024.112089","url":null,"abstract":"<div><h3>Context:</h3><p>Mobile applications are growing in prevalence. Cross-platform application is one of the main challenges within mobile application development. Aiming to facilitate the process of mobile application development, the software engineering community developed multiple solutions to support cross-platform application development. Flutter is a recent cross-platform software development kit (SDK) that has been rising in popularity.</p></div><div><h3>Objective:</h3><p>This study aims to gain a better understanding of Flutter stance on Stack Overflow (SO).</p></div><div><h3>Method:</h3><p>The study identified and analyzed 176,876 Flutter-related questions to understand the interest towards Flutter. The study utilized Latent Dirichlet Allocation (LDA) to identify Flutter-related topics discussed within the identified questions. Subsequently, a number of heuristics were utilized to gauge the popularity and difficulty of topics.</p></div><div><h3>Results:</h3><p>The study revealed that interest towards Flutter was steadily increasing on SO until it dropped in 2023 and SO users discuss 12 Flutter-related topics, with the topic of setup and build automation being the most popular and most difficult.</p></div><div><h3>Conclusion:</h3><p>This study highlights the interest towards Flutter on SO, identifies Flutter-related topics discussed on the website, and assess the topics popularity and difficulty. Software researchers, practitioners, educators, and Flutter contributors may utilize the results to steer their future Flutter-related efforts.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140948053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Code search engines for the next generation 下一代代码搜索引擎

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-05-06 DOI: 10.1016/j.jss.2024.112065

Marcus Kessel, Colin Atkinson

{"title":"Code search engines for the next generation","authors":"Marcus Kessel, Colin Atkinson","doi":"10.1016/j.jss.2024.112065","DOIUrl":"10.1016/j.jss.2024.112065","url":null,"abstract":"<div><p>Given the abundance of software in open source repositories, code search engines are increasingly turning to “big data” technologies such as natural language processing and machine learning, to deliver more useful search results. However, like the syntax-based approaches traditionally used to analyze and compare code in the first generation of code search engines, big data technologies are essentially static analysis processes. When dynamic properties of software, such as run-time behavior (i.e., semantics) and performance, are among the search criteria, the exclusive use of static algorithms has a significant negative impact on the precision and recall of the search results as well as other key usability factors such as ranking quality. Therefore, to address these weaknesses and provide a more reliable and usable service, the next generation of code search engines needs to complement static code analysis techniques with equally large-scale, dynamic analysis techniques based on its execution and observation. In this paper we describe a new software platform specifically developed to achieve this by simplifying and largely automating the dynamic analysis (i.e., observation) of code at a large scale. We show how this platform can combine dynamically observed properties of code modules with static properties to improve the quality and usability of code search results.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0164121224001109/pdfft?md5=129b984a3b00807acd30accacae25c39&pid=1-s2.0-S0164121224001109-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141027902","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

FragQC: An efficient quantum error reduction technique using quantum circuit fragmentation FragQC：利用量子电路碎片的高效量子错误减少技术

IF 3.5 2区计算机科学

Journal of Systems and Software Pub Date : 2024-04-30 DOI: 10.1016/j.jss.2024.112085

Saikat Basu , Arnav Das , Amit Saha , Amlan Chakrabarti , Susmita Sur-Kolay

{"title":"FragQC: An efficient quantum error reduction technique using quantum circuit fragmentation","authors":"Saikat Basu , Arnav Das , Amit Saha , Amlan Chakrabarti , Susmita Sur-Kolay","doi":"10.1016/j.jss.2024.112085","DOIUrl":"https://doi.org/10.1016/j.jss.2024.112085","url":null,"abstract":"<div><p>Quantum computers must meet extremely stringent qualitative and quantitative requirements on their qubits in order to solve real-life problems. Quantum circuit fragmentation techniques divide a large quantum circuit into a number of sub-circuits that can be executed on the smaller noisy quantum hardware available. However, the process of quantum circuit fragmentation involves finding an ideal cut that has exponential time complexity and also the classical post-processing required to reconstruct the output. In this paper, we represent a quantum circuit using a weighted graph and propose a novel classical graph partitioning algorithm for selecting an efficient fragmentation that reduces the entanglement between the sub-circuits along with balancing the estimated error in each sub-circuit. We also demonstrate a comparative study of different classical and quantum approaches to graph partitioning for finding such a cut. We present <em>FragQC</em>, a software tool that cuts a quantum circuit into sub-circuits when its error probability exceeds a certain threshold. With this proposed approach, we achieve an increase in fidelity of 13.38% compared to direct execution without cutting the circuit, and 7.88% over the state-of-the-art ILP-based method for the benchmark circuits.</p><p>The code for <em>FragQC</em> is available at <span>https://github.com/arnavdas88/FragQC</span><svg><path></path></svg>.</p></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":null,"pages":null},"PeriodicalIF":3.5,"publicationDate":"2024-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140825820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0