Presentation | 1995/5/19 Test Suites Generation for Concurrent Systems based on Coloured Petri Nets Harumi Watanabe, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The CPT (Coloured Petri net Tree) method can generate test suites from Coloured Petri nets. Since the Coloured Petri net has an enough description ability to specify concurrent systems, the CPT method is suitable for conformance test of concurrent systems. In this report, a test suite generator (TSG) based on the CPT method is introduced. The TSG provides easy-to-use GUI and enables simple specification of Coloured Petri nets. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | |
Paper # | |
Date of Issue |
Conference Information | |
Committee | CST |
---|---|
Conference Date | 1995/5/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Concurrent System Technology (CST) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Test Suites Generation for Concurrent Systems based on Coloured Petri Nets |
Sub Title (in English) | |
Keyword(1) | |
1st Author's Name | Harumi Watanabe |
1st Author's Affiliation | Graduate School of Information Science and Engineering, Tokyo Institute of Technology() |
Date | 1995/5/19 |
Paper # | |
Volume (vol) | vol.95 |
Number (no) | 46 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |