Ordered sequence testing criteria for concurrent programs and the support tool

E. Itoh, Y. Kawaguchi, Z. Furukawa, I. Ushijima

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

Abstract

Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate for concurrent programs. New testing criteria must be introduced for concurrent programs. The paper proposes new testing criteria, ordered sequence criteria (OSC) for concurrent programs. OSC are concerned with interprocess communication and synchronization. An OSCk selects k-length sequences of statements related to communication or synchronization. The sequences should be executed at least once in testing. OSCk presents various levels of testing according to values of k. The OSC2 is reliable for a program which is correct or which includes communication errors. A prototype is implemented for coverage measuring based on OSC2.

Original languageEnglish
Title of host publicationProceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
PublisherIEEE Computer Society
Pages236-245
Number of pages10
ISBN (Electronic)0818669608
DOIs
Publication statusPublished - Jan 1 1994
Event1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, Japan
Duration: Dec 7 1994Dec 9 1994

Publication series

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

Conference

Conference1st Asia-Pacific Software Engineering Conference, APSEC 1994
CountryJapan
CityTokyo
Period12/7/9412/9/94

Fingerprint

Industrial engineering
Testing
Communication
Synchronization

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Itoh, E., Kawaguchi, Y., Furukawa, Z., & Ushijima, I. (1994). Ordered sequence testing criteria for concurrent programs and the support tool. In Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994 (pp. 236-245). [465256] (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). IEEE Computer Society. https://doi.org/10.1109/APSEC.1994.465256

Ordered sequence testing criteria for concurrent programs and the support tool. / Itoh, E.; Kawaguchi, Y.; Furukawa, Z.; Ushijima, I.

Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994. IEEE Computer Society, 1994. p. 236-245 465256 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

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

Itoh, E, Kawaguchi, Y, Furukawa, Z & Ushijima, I 1994, Ordered sequence testing criteria for concurrent programs and the support tool. in Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994., 465256, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society, pp. 236-245, 1st Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, 12/7/94. https://doi.org/10.1109/APSEC.1994.465256
Itoh E, Kawaguchi Y, Furukawa Z, Ushijima I. Ordered sequence testing criteria for concurrent programs and the support tool. In Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994. IEEE Computer Society. 1994. p. 236-245. 465256. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). https://doi.org/10.1109/APSEC.1994.465256
Itoh, E. ; Kawaguchi, Y. ; Furukawa, Z. ; Ushijima, I. / Ordered sequence testing criteria for concurrent programs and the support tool. Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994. IEEE Computer Society, 1994. pp. 236-245 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).
@inproceedings{ab21983257054638ab64c99fef9232db,
title = "Ordered sequence testing criteria for concurrent programs and the support tool",
abstract = "Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate for concurrent programs. New testing criteria must be introduced for concurrent programs. The paper proposes new testing criteria, ordered sequence criteria (OSC) for concurrent programs. OSC are concerned with interprocess communication and synchronization. An OSCk selects k-length sequences of statements related to communication or synchronization. The sequences should be executed at least once in testing. OSCk presents various levels of testing according to values of k. The OSC2 is reliable for a program which is correct or which includes communication errors. A prototype is implemented for coverage measuring based on OSC2.",
author = "E. Itoh and Y. Kawaguchi and Z. Furukawa and I. Ushijima",
year = "1994",
month = "1",
day = "1",
doi = "10.1109/APSEC.1994.465256",
language = "English",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "236--245",
booktitle = "Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994",
address = "United States",

}

TY - GEN

T1 - Ordered sequence testing criteria for concurrent programs and the support tool

AU - Itoh, E.

AU - Kawaguchi, Y.

AU - Furukawa, Z.

AU - Ushijima, I.

PY - 1994/1/1

Y1 - 1994/1/1

N2 - Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate for concurrent programs. New testing criteria must be introduced for concurrent programs. The paper proposes new testing criteria, ordered sequence criteria (OSC) for concurrent programs. OSC are concerned with interprocess communication and synchronization. An OSCk selects k-length sequences of statements related to communication or synchronization. The sequences should be executed at least once in testing. OSCk presents various levels of testing according to values of k. The OSC2 is reliable for a program which is correct or which includes communication errors. A prototype is implemented for coverage measuring based on OSC2.

AB - Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate for concurrent programs. New testing criteria must be introduced for concurrent programs. The paper proposes new testing criteria, ordered sequence criteria (OSC) for concurrent programs. OSC are concerned with interprocess communication and synchronization. An OSCk selects k-length sequences of statements related to communication or synchronization. The sequences should be executed at least once in testing. OSCk presents various levels of testing according to values of k. The OSC2 is reliable for a program which is correct or which includes communication errors. A prototype is implemented for coverage measuring based on OSC2.

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

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

U2 - 10.1109/APSEC.1994.465256

DO - 10.1109/APSEC.1994.465256

M3 - Conference contribution

AN - SCOPUS:0041052122

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

SP - 236

EP - 245

BT - Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994

PB - IEEE Computer Society

ER -