Testing concurrent software systems
| dc.contributor.advisor | Chase, Craig M. | en |
| dc.creator | Kilgore, Richard Brian | en |
| dc.date.accessioned | 2008-08-28T23:45:41Z | en |
| dc.date.available | 2008-08-28T23:45:41Z | en |
| dc.date.issued | 2006 | en |
| dc.description.abstract | Two approaches to testing concurrent software are presented. In the first, a system is assumed to contain a deterministic computation when correct, and I describe two testing algorithms to optimally achieve coverage of a testing metric involving racing pairs of messages. In the second approach, the system model is improved to allow additional nondeterministic behavior when it is either commutative in nature or localized in its effect. I present two sets of algorithms. The first detects whether or not a system is deterministic (i.e., no race conditions affect the computation’s outcome). The second algorithm identifies localized non-determinism, and can be used to determine whether or not a system converges to a deterministic end. | |
| dc.description.department | Electrical and Computer Engineering | en |
| dc.format.medium | electronic | en |
| dc.identifier.oclc | 180705368 | en |
| dc.identifier.uri | http://hdl.handle.net/2152/3402 | en |
| dc.language.iso | eng | en |
| dc.rights | Copyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works. | en |
| dc.subject.lcsh | Computer software--Validation | en |
| dc.subject.lcsh | Computer software--Verification | en |
| dc.title | Testing concurrent software systems | en |
| dc.type.genre | Thesis | en |
| thesis.degree.department | Electrical and Computer Engineering | en |
| thesis.degree.discipline | Electrical and Computer Engineering | en |
| thesis.degree.grantor | The University of Texas at Austin | en |
| thesis.degree.level | Doctoral | en |
| thesis.degree.name | Doctor of Philosophy | en |