| 講演名 | 2018-01-18 A Proposal of Generating Paths of Program Net and Its Application to Software Testing 呉 彪(山口大), 包 曉安(浙江理工大), 張 娜(浙江理工大), 中田 充(山口大), 葛 崎偉(山口大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | 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. |
| キーワード(和) | |
| キーワード(英) | Program NetSoftware TestingCover PathNet ContractionPath Generation |
| 資料番号 | MSS2017-58,SS2017-45 |
| 発行日 | 2018-01-11 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2018/1/18(から2日開催) |
| 開催地（和） | 広島市立大学サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 名嘉村 盛和(琉球大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | A Proposal of Generating Paths of Program Net and Its Application to Software Testing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Program NetSoftware TestingCover PathNet ContractionPath Generation |
| 第 1 著者 氏名（和/英） | 呉 彪 / Biao Wu |
| 第 1 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 第 2 著者 氏名（和/英） | 包 曉安 / Xiaoan Bao |
| 第 2 著者 所属（和/英） | 浙江理工大学(略称：浙江理工大) Zhejiang Sci-Tech University(略称：ZSTU) |
| 第 3 著者 氏名（和/英） | 張 娜 / Na Zhang |
| 第 3 著者 所属（和/英） | 浙江理工大学(略称：浙江理工大) Zhejiang Sci-Tech University(略称：ZSTU) |
| 第 4 著者 氏名（和/英） | 中田 充 / Mitsuru Nakata |
| 第 4 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 第 5 著者 氏名（和/英） | 葛 崎偉 / Qi-Wei Ge |
| 第 5 著者 所属（和/英） | 山口大学(略称：山口大) Yamaguchi University(略称：Yamaguchi Univ.) |
| 発表年月日 | 2018-01-18 |
| 資料番号 | MSS2017-58,SS2017-45 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | MSS-380,SS-381 |
| ページ範囲 | pp.65-70(MSS), pp.65-70(SS), |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (MSS, SS) |