中文
相关论文

相关论文: On the Interplay between Non-Functional Requiremen…

200 篇论文

The co-development of hardware and software in industrial embedded systems frequently leads to compilation errors during continuous integration (CI). Automated repair of such failures is promising, but existing techniques rely on test…

软件工程 · 计算机科学 2025-10-16 Han Fu , Sigrid Eldh , Kristian Wiklund , Andreas Ermedahl , Philipp Haller , Cyrille Artho

Massive, multi-language, monolithic repositories form the backbone of many modern, complex software systems. To ensure consistent code quality while still allowing fast development cycles, Continuous Integration (CI) is commonly applied.…

软件工程 · 计算机科学 2025-01-22 Daniel Schwendner , Maximilian Jungwirth , Martin Gruber , Martin Knoche , Daniel Merget , Gordon Fraser

The pervasive adoption of Continuous Integration practices -- both in industry and open source projects -- has led software building to become a daily activity for thousands of developers around the world. Companies such as Microsoft have…

软件工程 · 计算机科学 2019-01-29 Michele Tufano , Hitesh Sajnani , Kim Herzig

We present a novel mathematical framework for computing the number of maintenance cycles in a system with critical and non-critical components, where "critical" (CR) means that the component's failure is fatal for the system's operation and…

离散数学 · 计算机科学 2022-12-13 Guanchen Li , Dimitri Kagaris

Real-world programs are neither monolithic nor static -- they are constructed using platform and third party libraries, and both programs and libraries continuously evolve in response to change pressure. In case of the Java language, rules…

软件工程 · 计算机科学 2014-08-13 Jens Dietrich , Kamil Jezek , Premek Brada

CFI is a computer security technique that detects runtime attacks by monitoring a program's branching behavior. This work presents a detailed analysis of the security policies enforced by 21 recent hardware-based CFI architectures. The goal…

密码学与安全 · 计算机科学 2017-08-01 Ruan de Clercq , Ingrid Verbauwhede

Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are…

计算机科学中的逻辑 · 计算机科学 2018-04-30 Simone Vuotto

Software is becoming a critical component of most products and organizational functions. The ability to continuously improve software determines how well the organization can respond to market opportunities. Continuous software engineering…

软件工程 · 计算机科学 2022-03-25 Eriks Klotins , Tony Gorschek

Researchers, students and practitioners often encounter a situation when the build process of a third-party software system fails. In this paper, we aim to confirm this observation present mainly as anecdotal evidence so far. Using a…

软件工程 · 计算机科学 2017-12-05 Matúš Sulír , Jaroslav Porubän

Computing systems, including real-time embedded systems, are becoming increasingly connected to allow for more advanced and safer operation. Such embedded systems are resource-constrained, such as lower processing capabilities, as compared…

密码学与安全 · 计算机科学 2022-08-09 Tanmaya Mishra , Thidapat Chantem , Ryan Gerdes

Researchers are exploring the integration of IoT and the cloud continuum, together with AI to enhance the cost-effectiveness and efficiency of critical infrastructure (CI) systems. This integration, however, increases susceptibility of CI…

密码学与安全 · 计算机科学 2024-05-24 Lav Gupta , Guoxing Yao

Code reuse attack (CRA) is a powerful attack that reuses existing codes to hijack the program control flow. Control flow integrity (CFI) is one of the most popular mechanisms to prevent against CRAs. However, current CFI techniques are…

密码学与安全 · 计算机科学 2019-05-07 Jiliang Zhang , Wuqiao Chen , Yuqi Niu

Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain systems rely on complex middleware, like Ethereum or…

The acceleration of software development and delivery requires rigorous continuous testing and deployment of software systems, which are being deployed in increasingly diverse, complex, and dynamic environments. In recent years, the…

软件工程 · 计算机科学 2024-10-28 Quentin Perez , Romain Lefeuvre , Thomas Degueule , Olivier Barais , Benoit Combemale

Continuous Integration (CI) significantly reduces integration problems, speeds up development time, and shortens release time. However, it also introduces new challenges for quality assurance activities, including regression testing, which…

软件工程 · 计算机科学 2021-03-29 Mojtaba Bagherzadeh , Nafiseh Kahani , Lionel Briand

Testing is one of the most important steps in software development. It ensures the quality of software. Continuous Integration (CI) is a widely used testing system that can report software quality to the developer in a timely manner during…

分布式、并行与集群计算 · 计算机科学 2020-07-22 Jieyang Chen , Qiang Guan , Li-Ta Lo , Patricia Grubel , Tim Randles

Continuous Integration (CI) is widely adopted in modern software development, yet adoption decisions are often made without systematic consideration of project context. Platforms such as GitHub Actions lower the barrier to CI adoption but…

软件工程 · 计算机科学 2026-04-14 Osamah H. Alaini , Taher A. Ghaleb

Our Critical Infrastructure (CI) systems are, by definition, critical to the safe and proper functioning of society. Nearly all of these systems utilize industrial Process Control Systems (PCS) to provide clean water, reliable electricity,…

密码学与安全 · 计算机科学 2018-05-10 James Christopher Foreman

GUI is a bridge connecting user and application. Existing GUI testing tasks can be categorized into two groups: functionality testing and compatibility testing. While the functionality testing focuses on detecting application runtime bugs,…

软件工程 · 计算机科学 2022-12-29 Jiaming Ye , Mulong Xie , Siyuan Chen , Fuyuan Zhang , Lei Ma , Zhenchang Xing , Jianjun Zhao

Continuous Integration (CI) has become a well-established software development practice for automatically and continuously integrating code changes during software development. An increasing number of Machine Learning (ML) based approaches…

软件工程 · 计算机科学 2023-04-07 Ali Kazemi Arani , Mansooreh Zahedi , Triet Huynh Minh Le , Muhammad Ali Babar