Testing Liveness Properties: Approximating Liveness Properties by Safety Properties
Ultes-Nitsche, Ulrich and James, Simon St (2001) Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2001) Kluwer, 369-376.
Download
Full text not available from this repository.
Description/Abstract
Satisfaction within fairness establishes an abstract notion of truth under fairness in linear-time verification. It can be argued that the idea of an implementation meeting the intersection of the system behaviour and the requirement specification forms a desirable basis for testing systems. Unfortunately this intersection of the behaviours of the system and the requirements specification is not accessible directly and cannot be computed practically. It is, however, possible to derive some information of this intersection from a high-level (abstract) specifation of the system. We will present in this paper an abstraction-based approach that will enable us to derive some test cases, even for liveness properties.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Organisation: IFIP Address: Boston |
| ISBNs: | 0792374703 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 256128 |
| Date Deposited: | 06 Nov 2001 |
| Last Modified: | 02 Mar 2012 12:19 |
| Contributors: | Ultes-Nitsche, Ulrich (Author) James, Simon St (Author) Kim, Myungchul (Editor) Chin, Byoungmoon (Editor) Kang, Sungwon (Editor) Lee, Danhyung (Editor) |
| Date: | August 2001 |
| Additional Information: | Organisation: IFIP Address: Boston |
| Status: | Published |
| Publisher: | Kluwer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/256128 |
Actions (login required)
 |
View Item |
