| 講演名 | 2018-01-19 開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法 宮村 純真(奈良先端大), 川口 真司(JAXA), 石濱 直樹(JAXA), 柿本 和希(JAXA), 飯田 元(奈良先端大), 片平 真史(JAXA), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 宇宙機（人工衛星やロケット）の開発および運用において，ソフトウェアの不具合はミッションの成功に対して大きな妨げとなっている．本研究ではソフトウェア不具合の大きな原因となる，要求漏れに着目した．実際に宇宙機で発生したソフトウェアの不具合を元に，欠陥の分類と開発標準プロセスの２つの観点から不具合の分類を行った．この分類を行うことで，欠陥の傾向や，プロセス間の影響度合いが明確になることが期待される． |
| 抄録(英) | Software faults in spacecraft software leads to mission failures. To identify software faults, we focus on the incomplete software requirement, on reprehensive reason for the software faults. Based on two perspectives of software fault and development software process, we present a classification method for software faults which are extracted from actual spacecraft project (e.g., artificial satellite and rockets). We expect that this approach can help to identify the tendency of faults and reveal which certain kind of process leads to more faults. |
| キーワード(和) | ソフトウェアプロセス / 不具合 / 要求漏れ / 欠陥の分類 |
| キーワード(英) | Software process / Bug / Incomplete software requirement / Classification of faults |
| 資料番号 | MSS2017-66,SS2017-53 |
| 発行日 | 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 |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法 |
| サブタイトル（和） | |
| タイトル（英） | Classification of problem detection for incomplete software requirements using the development standard process |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェアプロセス / Software process |
| キーワード(2)（和/英） | 不具合 / Bug |
| キーワード(3)（和/英） | 要求漏れ / Incomplete software requirement |
| キーワード(4)（和/英） | 欠陥の分類 / Classification of faults |
| 第 1 著者 氏名（和/英） | 宮村 純真 / Toma Miyamura |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学(略称：奈良先端大) Nara Institute of Science and Technology(略称：NAIST) |
| 第 2 著者 氏名（和/英） | 川口 真司 / Shinji Kawaguchi |
| 第 2 著者 所属（和/英） | 宇宙航空研究開発機構(略称：JAXA) Japan Aerospace eXploration Agency(略称：JAXA) |
| 第 3 著者 氏名（和/英） | 石濱 直樹 / Naoki Ishihama |
| 第 3 著者 所属（和/英） | 宇宙航空研究開発機構(略称：JAXA) Japan Aerospace eXploration Agency(略称：JAXA) |
| 第 4 著者 氏名（和/英） | 柿本 和希 / Kazuki Kakimoto |
| 第 4 著者 所属（和/英） | 宇宙航空研究開発機構(略称：JAXA) Japan Aerospace eXploration Agency(略称：JAXA) |
| 第 5 著者 氏名（和/英） | 飯田 元 / Hajimu Iida |
| 第 5 著者 所属（和/英） | 奈良先端科学技術大学院大学(略称：奈良先端大) Nara Institute of Science and Technology(略称：NAIST) |
| 第 6 著者 氏名（和/英） | 片平 真史 / Masafumi Katahira |
| 第 6 著者 所属（和/英） | 宇宙航空研究開発機構(略称：JAXA) Japan Aerospace eXploration Agency(略称：JAXA) |
| 発表年月日 | 2018-01-19 |
| 資料番号 | MSS2017-66,SS2017-53 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | MSS-380,SS-381 |
| ページ範囲 | pp.107-112(MSS), pp.107-112(SS), |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (MSS, SS) |