Design-Time to Run-Time Verification of Microservices Based Applications

Camilli, Matteo; Bellettini, Carlo; Capra, Lorenzo

doi:10.1007/978-3-319-74781-1_12

Cited by 7 publications

(8 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Software architects who aim to optimize the system as a whole need to understand each module's internal characteristics and thus be able to locate important module aspects in the code, but given the possible mix of languages or frameworks, it becomes hard to assess the overall system by hand and perform global optimization and consistency verification. Even routine testing becomes a burden [43], [44].…”

Section: General Challenges With Microservicesmentioning

confidence: 99%

“…Besides, this process of concern centralization can provide access to the up-to-date system documentation, which is currently difficult to access since modules change often, and the documentation easily gets out-dated. Similarly, there is a notable delay in co-evolution between the system source code and tests [158], which further facilitates the introduction of errors, not to mention that current integration test approaches resort to only consider the high-level module interaction [43], [44] due to the complexity and difficulties related to accessing system details. We highlight the centralization for concerns scattered across distributed system modules in Figure 1.…”

Section: The Aspect-oriented Perspectivementioning

confidence: 99%

“…Furthermore, access to an automatically derived centralized perspective of a distributed system could provide an oracle to testers, analysts, and software architects. It would simplify system testability and lead beyond a basic high-level module interaction evaluation used these days [43], [44]. For instance, a black-box approach when checking on process flow [161] or message exchange [162]- [164] might provide limited results as opposed to a white-box approach.…”

Section: A Future Challenges and Opportunitiesmentioning

confidence: 99%

See 2 more Smart Citations

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices

et al. 2020

View full text Add to dashboard Cite

Code analysis brings excellent benefits to software development, maintenance, and quality assurance. Various tools can uncover code defects or even software bugs in a range of seconds. For many projects and developers, the code analysis tools became essential in their daily routines. However, how can code analysis help in an enterprise environment? Enterprise software solutions grow in scale and complexity. These solutions no longer involve only plain objects and basic language constructs but operate with various components and mechanisms simplifying the development of such systems. Enterprise software vendors have adopted various development and design standards; however, there is a gap between what constructs the enterprise frameworks use and what current code analysis tools recognize. This manuscript aims to challenge the mainstream research directions of code analysis and motivate for a transition towards code analysis of enterprise systems with interesting problems and opportunities. In particular, this manuscript addresses selected enterprise problems apparent for monolithic and distributed enterprise solutions. It also considers challenges related to the recent architectural push towards a microservice architecture. Along with open-source proof-of-concept prototypes to some of the challenges, this manuscript elaborates on code analysis directions and their categorization. Furthermore, it suggests one possible perspective of the problem area using aspect-oriented programming.

show abstract

Section: General Challenges With Microservicesmentioning

confidence: 99%

Section: The Aspect-oriented Perspectivementioning

confidence: 99%

Section: A Future Challenges and Opportunitiesmentioning

confidence: 99%

See 1 more Smart Citation

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices

et al. 2020

View full text Add to dashboard Cite

show abstract

“…In the studies relevant to interoperability and integration testing of IoT systems, a variety of testing techniques and approaches have been researched and applied, from formal verifications [13] to informal crowdsourcing techniques that can be compared to exploratory testing [22].…”

Section: Rq5: Used Testing Techniques and Approachesmentioning

confidence: 99%

Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study

Bureš¹,

Klima²,

Rechtberger³

et al. 2020

Preprint

View full text Add to dashboard Cite

The recent active development of Internet of Things (IoT) solutions in various domains has led to an increased demand for security, safety, and reliability of these systems. Security and data privacy are currently the most frequently discussed topics; however, other reliability aspects also need to be focused on to maintain smooth and safe operation of IoT systems. Until now, there has been no systematic mapping study dedicated to the topic of interoperability and integration testing of IoT systems specifically; therefore, we present such an overview in this study. We analyze 803 papers from four major primary databases and perform detailed assessment and quality check to find 115 relevant papers. In addition, recently published testing techniques and approaches are analyzed and classified; the challenges and limitations in the field are also identified and discussed. Research trends related to publication time, active researchers, and publication media are presented in this study. The results suggest that studies mainly focus only on general testing methods, which can be applied to integration and interoperability testing of IoT systems; thus, there are research opportunities to develop additional testing methods focused specifically on IoT systems, so that they are more effective in the IoT context.

show abstract

“…Furthermore, aspects such as messaging, communication protocols, which are commonly used in concurrent or distributed systems, can be difficult to model with the language primitives of timed-automata [22,21]. Moreover, TB nets are supported by powerful off-the-shelf open source software tools able to perform simulation, model checking [23,24,25,26], model-based testing, and runtime verification [27,28].…”

Section: Time Basic Petri Netsmentioning

confidence: 99%

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Camilli

Gargantini

Scandurra

2018

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Self-adaptive software systems are able to autonomously adapt their behavior at run-time to react to internal dynamics and to uncertain and changing environment conditions. Formal specification and verification of self-adaptive systems are tasks generally very difficult to carry out, especially when involving time constraints. In this case, in fact, the system correctness depends also on the time associated with events.This article introduces the Zone-based Time Basic Petri nets specification formalism. The formalism adopts timed adaptation models to specify self-adaptive behavior with temporal constraints, and relies on a zone-based modeling approach to support separation of concerns. Zones identified during the modeling phase can be then used as modules either in isolation, to verify intra-zone properties, or all together, to verify inter-zone properties over the entire system. In addition, the framework allows the verification of (timed) robustness properties to guarantee self-healing capabilities when higher levels of reliability and availability are required to the system, especially when dealing with time-critical systems. This article presents also the ZAFETY tool, a Java software implementation of the proposed framework, and the validation and experimental results obtained in modeling and verifying two time-critical self-adaptive systems: the Gas Burner system and the Unmanned Aerial Vehicle system.

show abstract

Design-Time to Run-Time Verification of Microservices Based Applications

Cited by 7 publications

References 15 publications

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices

Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Contact Info

Product

Resources

About