| 講演名 | 2020-10-19 実行ログの比較によるシェルスクリプト振る舞い検証 桐生 仁司(信州大), 須田 聡(三菱電機), 小形 真平(信州大), 岡野 浩三(信州大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | SS2020-5,DC2020-22 |
| 発行日 | 2020-10-12 (SS, DC) |
| 研究会情報 | |
| 研究会 | DC / SS |
|---|---|
| 開催期間 | 2020/10/19(から1日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | ソフトウェアシステムとディペンダブルコンピューティングおよび一般 |
| テーマ（英） | |
| 委員長氏名（和） | 高橋 寛(愛媛大) / 小林 隆志(東工大) |
| 委員長氏名（英） | Hiroshi Takahashi(Ehime Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| 副委員長氏名（和） | 土屋 達弘(阪大) / 岡野 浩三(信州大) |
| 副委員長氏名（英） | Tatsuhiro Tsuchiya(Osaka Univ.) / Kozo Okano(Shinshu Univ.) |
| 幹事氏名（和） | 新井 雅之(日大) / 難波 一輝(千葉大) / 島 和之(広島市大) / 林 晋平(東工大) |
| 幹事氏名（英） | Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| 幹事補佐氏名（和） | / 小形 真平(信州大) |
| 幹事補佐氏名（英） | / Shinpei Ogata(Shinshu Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Dependable Computing / Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 実行ログの比較によるシェルスクリプト振る舞い検証 |
| サブタイトル（和） | |
| タイトル（英） | verification of shell script behavior by comparing logs. |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 桐生 仁司 / Hitoshi Kiryu |
| 第 1 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 2 著者 氏名（和/英） | 須田 聡 / Satoshi Suda |
| 第 2 著者 所属（和/英） | 三菱電機株式会社先端技術総合研究所(略称：三菱電機) Advanced Technology R&D Center, MITSUBISHI Electric Corp(略称：Advanced Technology R&D Center, MITSUBISHI Electric) |
| 第 3 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 3 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 4 著者 氏名（和/英） | 岡野 浩三 / Kozo Okano |
| 第 4 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 発表年月日 | 2020-10-19 |
| 資料番号 | SS2020-5,DC2020-22 |
| 巻番号（vol） | vol.120 |
| 号番号（no） | SS-193,DC-194 |
| ページ範囲 | pp.1-6(SS), pp.1-6(DC), |
| ページ数 | 6 |
| 発行日 | 2020-10-12 (SS, DC) |