Download:
|
by F. Dietrich, X. Logean, J. -p. Hubaux
IFIP International Workshop on Testing of Communicating Systems (IWTCS
http://tcomwww.epfl.ch/~dietrich/./pubs/CONF001.ps
Add To MetaCart
Abstract:
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 specified 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.
Citations
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
129
|
A Simple Approach to Specifying Concurrent Systems
– Lamport
- 1989
|
|
115
|
Debugging heterogeneous distributed systems using event-based models of behavior
– Bates
- 1995
|
|
48
|
Oracles for checking temporal properties of concurrent systems
– Dillon, Yu
- 1994
|
|
46
|
Object-oriented specification of reactive systems
– J£rvinen, Kurki-Suonio, et al.
- 1990
|
|
26
|
A formal approach to reactive systems software: A telecommunications application
– Jagadeesan, Puchol, et al.
- 1995
|
|
24
|
The theory and practice of a formal method: NewCoRe
– Holzmann
- 1994
|
|
24
|
Tools and rules for the practicing verifier
– Manna, Pnueli
- 1991
|
|
23
|
Formal methods and social context in software development
– Goguen, Luqi
- 1995
|
|
20
|
Tla in pictures
– Lamport
- 1995
|
|
7
|
Tools and Rules for the Practicing Veri er
– Manna, Pnueli
- 1991
|
|
5
|
Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic
– Dietrich, Logean, et al.
- 1998
|
|
5
|
Object-oriented speci cation of reactive systems
– Jarvinen, Kurki-Suonio, et al.
- 1990
|
|
3
|
MOTEL -- MOnitoring and TEsting tooL for distributed applications
– Logean
- 1998
|
|
2
|
Orbix 2: Programming guide, Version 2.2
– PLC
- 1997
|
|
1
|
A temporal logicbased approach to the design of object-oriented distributed systems
– Dietrich, Logean, et al.
- 1998
|
|
1
|
A temporal logicbased approach tothe design of object-oriented distributed systems
– Dietrich, Logean, et al.
- 1998
|
