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

Noriyasu ARAKAWA  Terunao SONEOKA  

IEICE TRANSACTIONS on Communications   Vol.E75-B   No.10   pp.1081-1089
Publication Date: 1992/10/25
Online ISSN: 
Print ISSN: 0916-8516
Type of Manuscript: PAPER
Category: Communication Software
test case generation,  concurrent program,  black-box testing,  reachability analysis,  

Full Text: PDF>>
Buy this Article

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.