中文
相关论文

相关论文: Static analysis tools in the era of cloud-native s…

200 篇论文

The agility inherent to today's business promotes the definition of software architectures where the business entities are decoupled into modules and/or services. However, there are advantages in having a rich domain model, where domain…

软件工程 · 计算机科学 2022-01-20 Diogo Faustino , Nuno Gonçalves , Manuel Portela , António Rito Silva

Modern cloud applications delivering global services are often built on distributed systems with a microservice architecture. In such systems, end-to-end user requests traverse multiple different services and machines, exhibiting intricate…

软件工程 · 计算机科学 2025-12-08 Zhiling Deng , Juepeng Wang , Zhuangbin Chen

This paper presents the result of our experience with the ap- plication of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and…

软件工程 · 计算机科学 2017-05-24 Fabrizio Pastore , Leonardo Mariani

We propose Sliceable Monolith, a new methodology for developing microservice architectures and perform their integration testing by leveraging most of the simplicity of a monolith: a single codebase and a local execution environment that…

编程语言 · 计算机科学 2021-07-20 Fabrizio Montesi , Marco Peressotti , Valentino Picotti

Regional planning processes and associated redevelopment projects can be complex due to the vast amount of diverse data involved. However, all of this data shares a common geographical reference, especially in the renaturation of former…

人机交互 · 计算机科学 2024-04-19 Yves Annanias , Daniel Wiegreffe

Cloud management systems provide abstractions and APIs for programmatically configuring cloud infrastructures. Unfortunately, residual software bugs in these systems can potentially lead to high-severity failures, such as prolonged outages…

软件工程 · 计算机科学 2019-09-04 Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Nematollah Bidokhti

The development of cloud computing delivery models inspires the emergence of cloud-native computing. Cloud-native computing, as the most influential development principle for web applications, has already attracted increasingly more…

分布式、并行与集群计算 · 计算机科学 2023-06-27 Shuiguang Deng , Hailiang Zhao , Binbin Huang , Cheng Zhang , Feiyi Chen , Yinuo Deng , Jianwei Yin , Schahram Dustdar , Albert Y. Zomaya

Microservice architectures are revolutionizing both small businesses and large corporations, igniting a new era of innovation with their exceptional advantages in maintainability, reusability, and scalability. However, these benefits come…

密码学与安全 · 计算机科学 2024-08-09 Raveen Kanishka Jayalath , Hussain Ahmad , Diksha Goel , Muhammad Shuja Syed , Faheem Ullah

Objective. Service-oriented architecture increases technical abilities for attacker to move laterally and maintain multiple pivot points inside of compromised environment. Microservice-based infrastructure brings more challenges for…

密码学与安全 · 计算机科学 2021-02-19 Alexander Barabanov , Denis Makrushin

This paper discusses a roadmap to investigate Domain Objects being an adequate formalism to capture the peculiarity of microservice architecture, and to support Software development since the early stages. It provides a survey of both…

软件工程 · 计算机科学 2019-04-22 Kizilov Mikhail , Antonio Bucchiarone , Manuel Mazzara , Larisa Safina , Victor Rivera

This paper investigates the inclusion of microservices architecture in the development of scalable and reliable airline reservation systems. Most of the traditional reservation systems are very rigid and centralized which makes them prone…

软件工程 · 计算机科学 2024-10-28 Biman Barua , M. Shamim Kaiser

Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analyses is difficult and requires high expertise, which results…

软件工程 · 计算机科学 2019-06-04 Andrew Habib , Michael Pradel

In the ever-shifting landscape of software engineering, we recognize the need for adaptation and evolution to maintain system dependability. As each software iteration potentially introduces new challenges, from unforeseen bugs to…

软件工程 · 计算机科学 2024-07-11 Nazanin Akhtarian , Hamzeh Khazaei , Marin Litoiu

Modern distributed applications are moving toward a microservice architecture, in which each service is developed and managed independently, and new features and updates are delivered continuously. A guiding principle of microservice…

软件工程 · 计算机科学 2019-08-21 Chengxu Cui , Guoquan Wu , Wei Chen , Jiaxing Zhu , Jun Wei

Dynamic nature of the cloud environment has made distributed resource management process a challenge for cloud service providers. The importance of maintaining the quality of service in accordance with customer expectations as well as the…

分布式、并行与集群计算 · 计算机科学 2018-08-08 Sara Kardani-Moghaddam , Rajkumar Buyya , Kotagiri Ramamohanarao

Big data dictate their requirements to the hardware and software. Simple migration to the cloud data processing, while solving the problem of increasing computational capabilities, however creates some issues: the need to ensure the safety,…

分布式、并行与集群计算 · 计算机科学 2015-07-03 E. Nikulchev , E. Pluzhnik , D. Biryukov , O. Lukyanchikov , S. Payain

Software visualization approaches for code reviews are often implemented as standalone applications, which use static code analysis. The goal is to visualize the structural changes introduced by a pull / merge request to facilitate the…

软件工程 · 计算机科学 2024-08-16 Alexander Krause-Glau , Lukas Damerau , Malte Hansen , Wilhelm Hasselbring

The increasing complexity and usage of cloud systems have made it challenging for service providers to ensure reliability. This paper highlights two main challenges, namely internal and external factors, that affect the reliability of cloud…

软件工程 · 计算机科学 2023-10-03 Yintong Huo , Cheryl Lee , Jinyang Liu , Tianyi Yang , Michael R. Lyu

Cloud architecture design presents significant challenges due to the necessity of clarifying ambiguous requirements and systematically addressing complex trade-offs, especially for novice engineers with limited cloud experience. While…

人机交互 · 计算机科学 2025-08-19 Ryosuke Kohita , Akira Kasuga

The mass production of complex software has made it impossible to manually test it for security vulnerabilities. Automated security testing tools come in a variety of flavors, function at various stages of software development, and target…

软件工程 · 计算机科学 2023-01-18 Yan Wu , Jingyi Su , David D. Moran , Chris D. Near
‹ 上一页 1 8 9 10 下一页 ›