Testing Temporal Logic Properties in Distributed Systems

Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system violates the speci ed behavioral constraints. In our approach, several steps in the testing process can be automized: instrumenting the source code, constructing test-oracles and generating an observer. Taking an industrial example as basis, we discuss how our proposal can be integrated into the software design- and testing process. Keywords sed behavioral abstraction, Linear-time Temporal Logic, testing

• Type: Conference
• Year: 1998
• Where: PTS
• Authors: Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux
• Keywords: Behavioral Abstraction, Behavioral Abstraction Ebba, PTS 1998, PTS 2007, Temporal Logic