| Presentation | 2018-01-18 A Proposal of Generating Paths of Program Net and Its Application to Software Testing Biao Wu, Xiaoan Bao, Na Zhang, Mitsuru Nakata, Qi-Wei Ge, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we discuss an application of Program Net for Software Testing. Firstly, we redefined and described properties of Program Net according to the previous work and then combining them to Software Testing. After that, replacement and partition concepts of Program Net were developed. Secondly, we studied the generation of so-called cover paths in Program Net. This work develops rules and defines Contracted Net. Later on, we developed two methods to search as few as possible cover paths which cover all nodes and edges. Finally, all processing using a specific example were explained. The results show that Program Net can be effectively used for Software Testing. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Program NetSoftware TestingCover PathNet ContractionPath Generation |
| Paper # | MSS2017-58,SS2017-45 |
| Date of Issue | 2018-01-11 (MSS, SS) |
| Conference Information | |
| Committee | SS / MSS |
|---|---|
| Conference Date | 2018/1/18(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| Vice Chair | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| Secretary | Akio Nakata(Tokyo Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
| Assistant | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Proposal of Generating Paths of Program Net and Its Application to Software Testing |
| Sub Title (in English) | |
| Keyword(1) | Program NetSoftware TestingCover PathNet ContractionPath Generation |
| 1st Author's Name | Biao Wu |
| 1st Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
| 2nd Author's Name | Xiaoan Bao |
| 2nd Author's Affiliation | Zhejiang Sci-Tech University(ZSTU) |
| 3rd Author's Name | Na Zhang |
| 3rd Author's Affiliation | Zhejiang Sci-Tech University(ZSTU) |
| 4th Author's Name | Mitsuru Nakata |
| 4th Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
| 5th Author's Name | Qi-Wei Ge |
| 5th Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
| Date | 2018-01-18 |
| Paper # | MSS2017-58,SS2017-45 |
| Volume (vol) | vol.117 |
| Number (no) | MSS-380,SS-381 |
| Page | pp.pp.65-70(MSS), pp.65-70(SS), |
| #Pages | 6 |
| Date of Issue | 2018-01-11 (MSS, SS) |