Loading...
report
Testing Temporal Logic Properties in Distributed Systems
1997
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a predefined set of events which, together with linear-time temporal logic, can be used for expressing behavioral properties in object-oriented distributed systems. This allows automizing several steps in the testing process: 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.
Loading...
Name
IC_TECH_REPORT_199727.pdf
Access type
openaccess
Size
565.48 KB
Format
Adobe PDF
Checksum (MD5)
79c4bf7419e335742dda61249387a543