A Test Case Generation Method for Black Box Testing of Concurrent Programs

Noriyasu ARAKAWA; Terunao SONEOKA

A Test Case Generation Method for Black Box Testing of Concurrent Programs

Noriyasu ARAKAWA, Terunao SONEOKA

Full Text Views

0

Share
Cite this

Summary :

This paper proposes a test case generation method for testing concurrent programs as a black box. Typical applications are system testing for switching systems and inter-operability testing for OSI products. We adopt a two-step approach: first generate the control flow graph which represents global behaviors of a given concurrent program, and then apply conventional test case generation methods for the control flow graph. To generate a control flow graph without state space explosion, the black-box equivalence between system behaviors is introduced. The proposed algorithm generates a minimal control flow graph which consists of representatives of equivalence classes. Two practical techniques for the second step are discussed for a case study using a commercial digital PBX. The results show the feasibility of the proposed method.

Publication: IEICE TRANSACTIONS on Communications Vol.E75-B No.10 pp.1081-1089

Publication Date: 1992/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Communication Software

Cite this

Copy

Noriyasu ARAKAWA, Terunao SONEOKA, "A Test Case Generation Method for Black Box Testing of Concurrent Programs" in IEICE TRANSACTIONS on Communications, vol. E75-B, no. 10, pp. 1081-1089, October 1992, doi: .
Abstract: This paper proposes a test case generation method for testing concurrent programs as a black box. Typical applications are system testing for switching systems and inter-operability testing for OSI products. We adopt a two-step approach: first generate the control flow graph which represents global behaviors of a given concurrent program, and then apply conventional test case generation methods for the control flow graph. To generate a control flow graph without state space explosion, the black-box equivalence between system behaviors is introduced. The proposed algorithm generates a minimal control flow graph which consists of representatives of equivalence classes. Two practical techniques for the second step are discussed for a case study using a commercial digital PBX. The results show the feasibility of the proposed method.
URL: https://globals.ieice.org/en_transactions/communications/10.1587/e75-b_10_1081/_p

Copy

@ARTICLE{e75-b_10_1081,
author={Noriyasu ARAKAWA, Terunao SONEOKA, },
journal={IEICE TRANSACTIONS on Communications},
title={A Test Case Generation Method for Black Box Testing of Concurrent Programs},
year={1992},
volume={E75-B},
number={10},
pages={1081-1089},
abstract={This paper proposes a test case generation method for testing concurrent programs as a black box. Typical applications are system testing for switching systems and inter-operability testing for OSI products. We adopt a two-step approach: first generate the control flow graph which represents global behaviors of a given concurrent program, and then apply conventional test case generation methods for the control flow graph. To generate a control flow graph without state space explosion, the black-box equivalence between system behaviors is introduced. The proposed algorithm generates a minimal control flow graph which consists of representatives of equivalence classes. Two practical techniques for the second step are discussed for a case study using a commercial digital PBX. The results show the feasibility of the proposed method.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - A Test Case Generation Method for Black Box Testing of Concurrent Programs
T2 - IEICE TRANSACTIONS on Communications
SP - 1081
EP - 1089
AU - Noriyasu ARAKAWA
AU - Terunao SONEOKA
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Communications
SN -
VL - E75-B
IS - 10
JA - IEICE TRANSACTIONS on Communications
Y1 - October 1992
AB - This paper proposes a test case generation method for testing concurrent programs as a black box. Typical applications are system testing for switching systems and inter-operability testing for OSI products. We adopt a two-step approach: first generate the control flow graph which represents global behaviors of a given concurrent program, and then apply conventional test case generation methods for the control flow graph. To generate a control flow graph without state space explosion, the black-box equivalence between system behaviors is introduced. The proposed algorithm generates a minimal control flow graph which consists of representatives of equivalence classes. Two practical techniques for the second step are discussed for a case study using a commercial digital PBX. The results show the feasibility of the proposed method.
ER -