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
T2 - 1st Asia-Pacific Software Engineering Conference, APSEC 1994
Y2 - 7 December 1994 through 9 December 1994
ER -