A prototype of a concurrent behavior monitoring tool for testing of concurrent programs

E. Itoh, Z. Furukawa, K. Ushijima

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Abstract

Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC k ), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC k to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-Tuples of concurrency statements (OSC k ) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.

Original languageEnglish
Title of host publicationProceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996
PublisherIEEE Computer Society
Pages345-354
Number of pages10
ISBN (Electronic)0818676388
DOIs
Publication statusPublished - Jan 1 1996
Event3rd Asia-Pacific Software Engineering Conference, APSEC 1996 - Seoul, Korea, Republic of
Duration: Dec 4 1996Dec 7 1996

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362

Conference

Conference3rd Asia-Pacific Software Engineering Conference, APSEC 1996
CountryKorea, Republic of
CitySeoul
Period12/4/9612/7/96

Fingerprint

Monitoring
Testing
UNIX

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Itoh, E., Furukawa, Z., & Ushijima, K. (1996). A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. In Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996 (pp. 345-354). [566769] (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). IEEE Computer Society. https://doi.org/10.1109/APSEC.1996.566769

A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. / Itoh, E.; Furukawa, Z.; Ushijima, K.

Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society, 1996. p. 345-354 566769 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Itoh, E, Furukawa, Z & Ushijima, K 1996, A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. in Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996., 566769, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society, pp. 345-354, 3rd Asia-Pacific Software Engineering Conference, APSEC 1996, Seoul, Korea, Republic of, 12/4/96. https://doi.org/10.1109/APSEC.1996.566769
Itoh E, Furukawa Z, Ushijima K. A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. In Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society. 1996. p. 345-354. 566769. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). https://doi.org/10.1109/APSEC.1996.566769
Itoh, E. ; Furukawa, Z. ; Ushijima, K. / A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society, 1996. pp. 345-354 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).
@inproceedings{b12b8b30e2084b699b37d6f0f50c5e89,
title = "A prototype of a concurrent behavior monitoring tool for testing of concurrent programs",
abstract = "Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC k ), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC k to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-Tuples of concurrency statements (OSC k ) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.",
author = "E. Itoh and Z. Furukawa and K. Ushijima",
year = "1996",
month = "1",
day = "1",
doi = "10.1109/APSEC.1996.566769",
language = "English",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "345--354",
booktitle = "Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996",
address = "United States",

}

TY - GEN

T1 - A prototype of a concurrent behavior monitoring tool for testing of concurrent programs

AU - Itoh, E.

AU - Furukawa, Z.

AU - Ushijima, K.

PY - 1996/1/1

Y1 - 1996/1/1

N2 - Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC k ), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC k to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-Tuples of concurrency statements (OSC k ) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.

AB - Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC k ), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC k to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-Tuples of concurrency statements (OSC k ) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.

UR - http://www.scopus.com/inward/record.url?scp=84960438140&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84960438140&partnerID=8YFLogxK

U2 - 10.1109/APSEC.1996.566769

DO - 10.1109/APSEC.1996.566769

M3 - Conference contribution

AN - SCOPUS:84960438140

T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC

SP - 345

EP - 354

BT - Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996

PB - IEEE Computer Society

ER -