The Library
Time unbalanced partial order
Tools
Peled, Doron and Qu, Hongyang (2006) Time unbalanced partial order. In: 5th International Workshop on Formal Approaches to Software Testing (FATES 2005), Edinburgh, SCOTLAND, JUL 11, 2005. Published in: FORMAL APPROACHES TO SOFTWARE TESTING, 3997 pp. 152-169. ISBN 3-540-34454-3. doi:10.1007/11759744_11 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Calculating the precondition of a particular partial-ordered set of events is often necessary in software testing, such as for generating test cases. Things become even more complicated when the execution time is added to the picture. If the execution time of two processes along a partial order does not match each other, the precondition of the partial order is false and then the partial order is identified as time unbalanced partial order. We present its formal definition and an algorithm to distinguish it. Then we suggest a method to fill the gap of the execution time of participating processes. This method can also be adopted to simplify the calculation of the minimal and maximal bounds of a time parameter.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | FORMAL APPROACHES TO SOFTWARE TESTING | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-34454-3 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Grieskamp, W and Weise, C | ||||
Official Date: | 2006 | ||||
Dates: |
|
||||
Volume: | 3997 | ||||
Number of Pages: | 18 | ||||
Page Range: | pp. 152-169 | ||||
DOI: | 10.1007/11759744_11 | ||||
Publication Status: | Published | ||||
Title of Event: | 5th International Workshop on Formal Approaches to Software Testing (FATES 2005) | ||||
Location of Event: | Edinburgh, SCOTLAND | ||||
Date(s) of Event: | JUL 11, 2005 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |