Reproducible testing of monitors
The work
| Authors | Per Brinch Hansen |
|---|---|
| Type | article |
| Year | 1978 |
| Citekey | brinchhansen1978reproducible |
Where it appeared
| Published in | Software: Practice and Experience |
|---|---|
| Publisher | Wiley |
| Volume | 8 |
| Issue | 6 |
| Pages | 721--729 |
Identifiers
| DOI | 10.1002/spe.4380080607 |
|---|
Abstract
This paper describes a systematic method for testing monitor modules which control process interactions in concurrent programs. A monitor is tested by executing a concurrent program in which the processes are synchronized by a clock to make the sequence of interactions reproducible. The method separates the construction and implementation of test cases and makes the analysis of a concurrent experiment similar to the analysis of a sequential program. The implementation of a test program is almost mechanical. The method, which is illustrated by an example, has been used successfully to test a multicomputer network program written in Concurrent Pascal.
A copy is held
pdf, 114.6 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-09 00:00 UTC |
| Approved by | a person 2026-08-16 15:38 UTC |
Filed under
Cite it as
@article{brinchhansen1978reproducible,
title = {Reproducible testing of monitors},
author = {Per Brinch Hansen},
year = {1978},
journal = {Software: Practice and Experience},
volume = {8},
number = {6},
pages = {721--729},
publisher = {Wiley},
doi = {10.1002/spe.4380080607},
}
This record lives at https://refs.drheap.org/brinchhansen1978reproducible/ and will keep doing so.