Titlebook: Runtime Verification; A Hands-On Approach Christian Colombo,Gordon J. Pace Textbook 2022 Springer Nature Switzerland AG 2022 Aspect-Orient

Adulate

Offline Runtime Verification,tly, possibly on another machine or at times when the system is facing a low load, such problems can be minimised. This chapter presents and explores offline runtime verification through which the monitoring and verification code is completely decoupled from the main system.

PAEAN

The Need for Verification,continuous manner. The chapter also attempts to identify why software failure is so common despite efforts made to follow strict engineering practice. Finally, pertinent questions regarding verification are raised: what sort of properties would one want to verify of systems, how such properties can

陰郁

What is Runtime Verification,ime monitoring techniques identified, to be used in the rest of the book. Finally, different approaches to runtime verification are discussed, including design choices one faces when building a runtime verification tool.

GOAT

Event Guarded Command Language,erties and specifications. In this chapter, an event-driven guarded command language is introduced, and the reader is guided through exercises to build a translator from this language to AspectJ, allowing for runtime verification of specifications written in this manner.

Evacuate

助記

Regular Expressions,ctured formalism which programmers are typically familiar with is that of regular expressions. This chapter starts by showing how regular expressions can be used to express runtime verification properties and then proceeds to explain how runtime monitors and verifiers can automatically be synthesise

音樂會

Reactive Runtime Monitoring,dentified problem. This chapter takes the reader through a number of strategies which can be employed to have runtime verification-triggered actions firing as a reaction to observations of the monitored system: starting from actions which attempt to correct errors discovered to techniques which atte

縮影

Offline Runtime Verification,arries a risk that may be deemed unacceptable in certain domains. By having the system just log events of interest, which are then consumed independently, possibly on another machine or at times when the system is facing a low load, such problems can be minimised. This chapter presents and explores

注入

對待