Keyword : concurrent program


Generating Test Sequences from Statecharts for Concurrent Program Testing
Heui-Seok SEO In Sang CHUNG Yong Rae KWON 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4 ; pp. 1459-1469
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
statechartsconcurrent programspecification-based testingtest sequenceequivalent class
 Summary | Full Text:PDF

A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems
Naoshi UCHIHIRA Mikako ARAMI Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1335-1347
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
high level petri netcooperating discrete event systemconcurrent programdesign methodologyprogram synthesisprogram verificationtemporal logicprogramming environment
 Summary | Full Text:PDF

A Test Case Generation Method for Black Box Testing of Concurrent Programs
Noriyasu ARAKAWA Terunao SONEOKA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1081-1089
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
test case generationconcurrent programblack-box testingreachability analysis
 Summary | Full Text:PDF