Verifying trustworthiness requirements in distributed systems with formal log-file analysis

Ulrich, Andreas; Hallal, H.; Petrenko, Alexandre; Boroday, Sergiy

doi:10.1109/hicss.2003.1174915

Cited by 7 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These models and invariants may help developers in different tasks, such as comprehensibility and testing. These approaches generate different types of models, such as (finite) state machines ( Ulrich et al, 2003 ; Mariani & Pastore, 2008 ; Tan et al, 2010 ; Beschastnikh et al, 2014 ) directed workflow graphs ( Wu, Anchuri & Li, 2017 ) client-server interaction diagrams ( Awad & Menasce, 2016 ), invariants ( Kc & Gu, 2011 ; Lou et al, 2010 ), and dependency models ( Steinle et al, 2006 ).…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

Log-based software monitoring: a systematic mapping study

Cândido

Aniche

Deursen

2021

PeerJ Computer Science

View full text Add to dashboard Cite

Modern software development and operations rely on monitoring to understand how systems behave in production. The data provided by application logs and runtime environment are essential to detect and diagnose undesired behavior and improve system reliability. However, despite the rich ecosystem around industry-ready log solutions, monitoring complex systems and getting insights from log data remains a challenge. Researchers and practitioners have been actively working to address several challenges related to logs, e.g., how to effectively provide better tooling support for logging decisions to developers, how to effectively process and store log data, and how to extract insights from log data. A holistic view of the research effort on logging practices and automated log analysis is key to provide directions and disseminate the state-of-the-art for technology transfer. In this paper, we study 108 papers (72 research track papers, 24 journals, and 12 industry track papers) from different communities (e.g., machine learning, software engineering, and systems) and structure the research field in light of the life-cycle of log data. Our analysis shows that (1) logging is challenging not only in open-source projects but also in industry, (2) machine learning is a promising approach to enable a contextual analysis of source code for log recommendation but further investigation is required to assess the usability of those tools in practice, (3) few studies approached efficient persistence of log data, and (4) there are open opportunities to analyze application logs and to evaluate state-of-the-art log analysis techniques in a DevOps context.

show abstract

Section: Resultsmentioning

confidence: 99%

“…The authors show that their models are sufficiently accurate to help developers in finding bugs. Ulrich et al (2003) show how log traces can be used to build formal execution models. The authors use SDL, a model-checking description technique, common in telecommunication industries.…”

Section: Resultsmentioning

confidence: 99%

Log-based software monitoring: a systematic mapping study

Cândido

Aniche

Deursen

2021

PeerJ Computer Science

View full text Add to dashboard Cite

show abstract

“…The class of properties is restricted to those allowing automata representation (e.g., LTL), while the use of a general model checker that is advocated in our paper allows us to consider more complex properties. Earlier findings are published in [14] and [30]. This paper is organized as follows.…”

Section: Introductionmentioning

confidence: 99%

An Automata-Based Approach to Property Testing in Event Traces

Hallal

Boroday

Ulrich

et al. 2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that the model exactly characterizes the causality relation between the events in the observed trace. We present the implementation of this approach in SDL, where ObjectGEODE is used to verify properties, and illustrate the approach with an industrial case study.

show abstract

“…Real-time extensions for TTCN as well as a formalised evaluation of log files in general are not new. For example, [UHPB03] presents an approach for a formalised analysis of log files: Log files of a distributed system are obtained by monitoring and later-on transformed into a formal SDL [ITU99a] representation which can be checked by a model checker. Unfortunately, this approach involves several activities which cannot be specified and automatically executed as part of a test case.…”

Section: Related Workmentioning

confidence: 99%

“…A similar pattern-based approach, which applies for passive testing, can be found in [HBUP03]. It is based on [UHPB03] which has been briefly discussed in Section 3.8. The approach is to obtain a trace of a distributed system under test by monitoring.…”

Section: Related Workmentioning

confidence: 99%

Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests

Wolfram¹

View full text Add to dashboard Cite

Für moderne Verteilte Systeme ist es wichtig, dass sie Echtzeit-Anforderungen einhalten, um z.B. innerhalb einer gegebenen Zeitspanne eine Antwort auf eine Anfrage zu liefern. Testen ist die wichtigste Maßnahme zur Qualitätssicherung von Software-Systemen. Das Echtzeit-Testen von Verteilten Systemen wird jedoch bisher nur unzureichend unterstützt. Diese Dissertation behandelt Sprachen, Werkzeuge und Muster für die Beschreibung von verteilten Echtzeit-Tests. Zur Testbeschreibung wird TIMED-TTCN-3 eingeführt. Es handelt sich hierbei um eine Echtzeit-Erweiterung der standardisierten Testbeschreibungssprache Testing and Test Control Notation version 3 (TTCN-3). Um die Entwicklung von Echtzeit-Tests zu vereinfachen, werden ein Werkzeug und die zugrundeliegenden Übersetzungsregeln vorgestellt, die es ermöglichen, TIMEDTTCN-3 Echtzeit-Testfälle aus Echtzeit-Testzwecken zu generieren. Echtzeit-Testzwecke werden hierzu anhand von Message Sequence Charts (MSCs), die Echtzeit-Eigenschaften enthalten, formalisiert. Um die Spezifikation von Echtzeit-Anforderungen und die Auswertung von Echtzeit-Tests zu vereinheitlichen, werden Realtime Communication patterns (RTC-patterns) eingeführt. Diese Muster bieten wiederverwendbare Lösungen zur Spezifikation von Echtzeit-Tests mit MSC und TIMEDTTCN-3. In diesem Zusammenhang werden außerdem eine Übersicht und eine allgemeine Klassifikation von existierenden Test-Mustern gegeben.

show abstract

Verifying trustworthiness requirements in distributed systems with formal log-file analysis

Cited by 7 publications

References 9 publications

Log-based software monitoring: a systematic mapping study

Log-based software monitoring: a systematic mapping study

An Automata-Based Approach to Property Testing in Event Traces

Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests

Contact Info

Product

Resources

About